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.
Visualizar Questão Comentada
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.
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.
Visualizar Questão Comentada
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: