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