Accions

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|100px]]</center>
+
<center>[[Image:405.png|150px]]</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»

405.png

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».

Exemple ↓
Si p = ets feliç» i q = «estimes», l'enunciat «ets feliç si i només si m'estimes», o «ets feliç sempre que estimis» és veritat quan «ets feliç i m'estimes» i quan «ni ets feliç ni m'estimes», però és fals si és veritat una d'ambdues coses i no l'altra.