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

En la majoria de [[sistema lògic|sistemes lògics]], es [[demostració|demostra]] un enunciat de la forma "P sii Q" provant "si P, llavors Q" i "si Q, llavors P" (o l'la [[inversa]] de "si P, llavors Q", i.e. "si no P, llavors no Q"). Provant aquestes dues frases a vegades porta a una prova més natural, ja que no hi ha condicions òbvies en les que una pugui inferir una bicondicional directament. Una alternativa és provar que la [[disjunció]] "(P i Q) o (no-P i no-Q)" pot ser inferit directament de cadascun dels seus disjunts — això és, com que "sii" és una [[funció booleana]], de "P sii Q" es dedueix que P i Q han de ser tots dos certs o tots dos falsos.