| Ejemplos de coimplicaciones verdaderas: | Motivos por los que p↔q es verdadera: | |
|---|---|---|
|
p↔q
|
||
| (a) "La Tierra es cúbica si y sólo si el Sol es un planeta" | p: "La Tierra es cúbica": F | q: "El Sol es un planeta": F |
| (b) "La Tierra es esférica si y sólo si el Sol es una estrella" | p: "La Tierra es esférica": V | q: "El Sol es una estrella": V |
| (c) "Los cocodrilos tienen ruedas si y sólo si los sapos bailan flamenco" | p: "Los cocodrilos tienen ruedas": F | q: "Los sapos bailan flamenco": F |
| (d) "Los cocodrilos no tienen ruedas si y sólo si los sapos no bailan flamenco". | p: "Los cocodrilos no tienen ruedas": V | q: "Los sapos no bailan flamenco": V |
| Ejemplos de coimplicaciones falsas: | Motivos por los que p↔q es falsa: | |
|---|---|---|
|
p↔q
|
||
| (a) "La Tierra es cúbica si y sólo si 2+2=4" | p: "La Tierra es cúbica": F | q: "2+2=4": V |
| (b) "El Sol es una estrella si y sólo si 1+2=4" | p: "El Sol es una estrella": V | q: "1+2=4": F |
| (c) "Los cocodrilos tienen ruedas si y sólo si los sapos no bailan flamenco" | p: "Los cocodrilos tienen ruedas": F | q: "Los sapos no bailan flamenco": V |
| (d) "El Bernesga pasa por León si y sólo si Napoleón escribió el Quijote" | p: "El Bernesga pasa por León": V | q: "Napoleón escribió el Quijote": F |