Si i només si: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregint errors lingüístics |
m Corregit: obvies -> òbvies |
||
Línia 40:
Un altre terme pel [[connector lògic]] és [[exclusive nor]].
===Proves===
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'[[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
===Origen de l'abreviació===
|