Responde a las siguientes preguntas teniendo en cuenta la definición del coimplicador:
-
"El rey de Francia es calvo si y solo si Marte es plano"
-
"Quien lee esto es un ser humano si y sólo si llueve hacia arriba"
-
"Las ranas tienen pelo si y sólo si 2+2=4"
-
"Sabes leer si y sólo si los círculos son cuadrados"
-
"Los burros vuelan si y sólo si las tortugas saben álgebra"
La notación del bicondicional
Hay un símbolo intercambiable con el del bicondicional "↔", que es el de la equivalencia lógica:" ≡" (concepto que explicaremos mejor un poco más adelante).
En Aprende Lógica, cuando haya actividades en las que haya que insertar en un formulario el símbolo "↔", utilizaremos en su lugar el signo "=" [igual]. Así, A↔B se introduciría en un formulario de la siguiente manera: lo que dará lugar a que automáticamente aparezca este resultado:
