Relaciona dos proposiciones a través del conectivo lógico “….si y sólo si…”.
La doble implicación o bicondicional
sólo es verdadera si ambas
proposiciones tienen el mismo valor
de verdad, en caso contrario es falso.
Estas proposiciones las podemos encontrar de la siguiente manera: solamente sí, cuando y sólo cuando, entonces y sólo entonces, es idéntico, cada vez que y sólo si, p es condición necesaria y suficiente para q, entre muchas otras existentes.
Por esto cuando hablamos de p ↔ q estamos enunciando a p → q y a q → p.
Ejemplo:Andrés será graduado si solo si aprueba todas las materias
su tabla de verdad es:
P
|
Q
|
P ↔ Q
|
V
|
V
|
V
|
V
|
F
|
F
|
F
|
V
|
F
|
F
|
F
|
V
|
No hay comentarios:
Publicar un comentario