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.

Question

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.  Alternativa A:  III e IV, apenas. Ou Alternativa B: I, II e III, apenas. Ou Alternativa C: II e IV, apenas. Ou Alternativa D: I e II, apenas.  Ou Alternativa E: I, III e IV, apenas.

Instituto de Apoio à Gestão Educacional · Accepted Answer

Alternativa [B] I, II e III, apenas.

Um grupo de analistas desenvolveu um programa capaz de veri...

Questões de assuntos semelhantes

Provas relacionadas