(1,0) 1 -
A proposição “Se Jair é engenheiro, então ele sabe matemática” é logicamente equivalente à proposição:
A proposição:
“Se Jair é engenheiro, então ele sabe matemática” tem a forma lógica:
[ P \rightarrow Q ]
A equivalência lógica fundamental da implicação é:
[ P \rightarrow Q \equiv \neg P \lor Q ]
Ou seja:
“Jair não é engenheiro ou ele sabe matemática.”
Recuperar senha
