|
R:
A lua nasce se e somente se o sol se põe.
|
p:
A lua nasce. |
q: O sol se põe. |
R:
A lua nasce se e somente se o sol se põe. |
| P |
q |
p
↔
q |
| V |
V |
? |
Para
a operação da bicondicional entre duas proposições,
a regra é a seguinte:
O valor lógico de p tem que ser igual ao valor de q,
já que é bilateral a condição de
ocorrência dos fatos declarados.
|
Voltando ao caso da proposição R, temos:
|
p:
A lua nasce. |
q:
O sol se põe. |
R:
A lua nasce se e somente se o sol se põe. |
| P |
q |
p
↔
q |
| V |
V |
V |
Por outro lado, a lua não nasce enquanto o sol
não se pôr, e vice-versa. Assim, está correto afirmar:
quando o valor lógico de p for falso, necessariamente o valor lógico
de q deverá ser falso, e vice-versa. Ou seja:
|
p:
A lua nasce. |
q:
O sol se põe. |
R:
A lua nasce se e somente se o sol se põe. |
| P |
q |
p
↔
q |
| F |
F |
V |
|