Filtrar


Questões por página:
Um grupo de analistas desenvolveu um programa capaz de verificar automaticamente propriedades de proposições lógicas utilizadas em rotinas de validação de dados. Entre os testes realizados, foi analisada a proposição P v ¬P, conhecida por apresentar comportamento específico em qualquer atribuição de valores lógicos. Analise as assertivas.
I. A proposição é verdadeira quando P é verdadeira.
II. A proposição é verdadeira quando P é falsa.
III. A proposição é uma tautologia.
IV. A proposição pode assumir valor falso.

Assinale a alternativa que apresenta apenas as proposições CORRETAS.
Considere a proposição composta:

G: (P→Q)∧(Q→R)∧¬(P→R)(P → Q) ∧ (Q → R) ∧ ¬(P → R)(P→Q)∧(Q→R)∧¬(P→R)

Em uma tabela-verdade completa (P, Q, R assumindo V/F), quantas atribuições de valores-verdade tornam G verdadeira?

Complete a tabela verdade abaixo:


Imagem associada para resolução da questão


Com base na tabela verdade completa, analise as assertivas a seguir.



I- A proposição composta principal, sexta coluna, equivale a (P→Q) ∧ (R ↔P);


II- A primeira proposição composta, intermediária na construção da tabela verdade, é tautológica;


III- P, Q e R são proposições simples;


IV- A proposição (R ↔P) é tautológica.



É CORRETO o que se afirma em:

Assinale a alternativa que apresenta uma tautologia.

Ao construir a tabela verdade de ( p ∧ q) ∧ ¬(p ∨ q), os valores lógicos encontrados ao final serão: