Considere as proposições: p= Dois é número par. q= Três é ...
Legenda para os símbolos lógicos:
∨ Representa a disjunção inclusiva.
∧ Representa a conjunção.
~ Representa a negação.
→ Representa o condicional.
↔ Representa o bicondicional.
Considere as proposições:
p= Dois é número par.
q= Três é número ímpar.
Então os valores-lógicos das sentenças representadas por:
• ~p
• ~p∨q
• p→~q
• ~p→~q
São, respectivamente: