Questões de Concurso

No cálculo proposicional, dada a fórmula (P → Q) → (¬ P Λ Q), exatamente em quantas valorações do par (P, Q) essa proposição assume o valor verdade?

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 esconder 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.