Filtrar


Questões por página:
Dadas as proposições atômicas P, Q e R do cálculo proposicional, afirma-se que

Associe as sentenças da lógica de 1ª ordem às suas respectivas propriedades.



As associações corretas são:

No cálculo proposicional, os operadores lógicos { ¬ , Λ , V , → , ⇔ } podem ser deduzidos a partir dos operadores
mostrar texto associado

Considere que a tabela abaixo representa as primeiras colunas da tabela-verdade da proposição (P→Q)∧(¬R).



Logo, a coluna abaixo representa a última coluna dessa tabela-verdade.

mostrar texto associado

A expressão [(P→Q) V P]→Q é uma tautologia.