A validade de uma argumentação pode ser decidida por meio de...
Próximas questões
Com base no mesmo assunto
Ano: 2010
Banca:
CESPE / CEBRASPE
Órgão:
TRE-MT
Prova:
CESPE / CEBRASPE - 2010 - TRE-MT - Analista Judiciário - Analise de Sistemas |
Q2220040
Matemática
Texto associado
Texto para a questão.
Uma proposição é uma sentença que pode ser julgada como verdadeira (V) ou falsa (F), mas não como V e F simultaneamente. Uma proposição simbolizada por A→B, em que A e B são proposições quaisquer, é lida “se A, então B”, e será F quando A for V e B for F. Nos demais casos, será sempre V. Uma argumentação é uma proposição que tem a forma P1∧P2∧ ... ∧Pn→Q, em que as proposições Pi, 1 < i < n, são denominadas premissas e a proposição Q é a conclusão. Uma argumentação é denominada válida se, sempre que as premissas Pi, 1 <i< n, forem V, a conclusão Q for V como consequência das premissas.
A validade de uma argumentação pode ser decidida por meio de um diagrama formado por conjuntos correspondentes aos elementos que possuem determinada propriedade. Essa propriedade é expressa nas proposições que compõem a argumentação. Considere que, no diagrama acima, A seja o conjunto de todos os juízes; B, o conjunto de todos os funcionários públicos concursados; C, o conjunto de todos os engenheiros; D, o conjunto de todos os advogados. Com base nessas informações, assinale a opção correspondente à argumentação cuja validade é determinada pelo diagrama acima.
Conheça nossos planos