Diferència entre revisions de la pàgina «Equivalència lògica»
De Wikisofia
| Línia 2: | Línia 2: | ||
En [[lògica|lògica d'enunciats]], el [[bicondicional|bicondicional]], el signe del qual és: <math>\leftrightarrow{}</math> i que es llegeix «si, i només si» | En [[lògica|lògica d'enunciats]], el [[bicondicional|bicondicional]], el signe del qual és: <math>\leftrightarrow{}</math> i que es llegeix «si, i només si» | ||
| − | <center>[[Image:405.png| | + | <center>[[Image:405.png|100px]]</center> |
Es llegeix, "P si, i només si, Q" | Es llegeix, "P si, i només si, Q" | ||
Revisió del 22:00, 16 març 2018
En lògica d'enunciats, el bicondicional, el signe del qual és: [math]\displaystyle{ \leftrightarrow{} }[/math] i que es llegeix «si, i només si»
Es llegeix, "P si, i només si, Q"
La seva taula de veritat és:
S'ha produït un error en crear la miniatura: Fitxer inexistent
«P si i només si Q és veritable quan P i Q són tots dos veritables o tots dos falsos; en els altres casos, és fals».
Amplia
Exemple ↓