se2 se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni [...] e in logica matematica si usano anche le locuz. se e solo se, se e soltanto se, che corrispondono al connettivo doppia implicazione (v. tavola, n. 4 b: tavola di verità). In informatica, compare talvolta nella descrizione di algoritmi per indicare in ... Leggi Tutto