Representado pelo símbolo: <–>
Lê-se: se, e somente se
Supondo que temos duas premissas P e Q com as seguintes proposições:
- P: entrar para a universidade
- Q: passar no ENEM
E que ambas têm valor verdadeiro. Assim:
P <–> Q
Entrarei para a universidade se, e somente se, passar no ENEM.
A sentença é verdadeira. Pois, ao passar no ENEM é possível entrar na universidade.
A seguir, vamos supor que Q tem valor falso:
- P: entrar para a universidade
- Q: não passar no ENEM
A sentença é falsa. Pois, se não passar no ENEM, não pode entrar na universidade.
Agora vamos supor que P tem valor falso:
- P: não entrar para a universidade
- Q: passar no ENEM
A sentença é falsa. Pois para não entrar na Universidade, deve-se reprovar no ENEM.
Supondo que ambas têm valor falso:
- P: não entrar para a universidade
- Q: não passar no ENEM
A sentença é verdadeira. Pois, se não passa no ENEM, também não é possível entrar na universidade.
O conectivo bicondicional só será falso se as proposições tiverem valor diferente entre si.
tags: lógica, álgebra booleana, operador lógico, tabela verdade, bicondicional