m 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

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

Instituto de Apoio à Gestão Educacional · Accepted Answer

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

m grupo de analistas desenvolveu um programa capaz de verif...

Questões de assuntos semelhantes

Provas relacionadas