Si i només si: diferència entre les revisions

En filosofia i lògica, "sii" s'utilitza per enunciar [[definició|definicions]], com que se suposa que les definicions bicondicionals estan [[quantificació universal quantification|quantificades universalment]]. Malgrat això, en matemàtiques i altres àmbits, la paraula "si" s'utilitza normalment en definicions, més que "sii". Això és degut a l'observació que "si" en anglès té un significat definitori, separat del seu significat com a conjunció proposicional. Aquesta diferència de significat es pot explicar observant que una definició (per exemple: un [[grup (matemàtiques)|grup]] és "abelià si satisfà la propietat commutativa; o un raïm es converteix en "pansa" si se seca) no és una equivalència que s'ha de provar, sinó una regla per interpretar el terme definit. (Malgrat això, alguns autors han indicat explícitament que el "si" de d'una definició significa "sii"!)