As quatro proposições categóricas de Aristóteles (384 a 322 a.C.), componentes fundamentais de seus silogismos, podem ser simbolizadas pelas fórmulas da linguagem da lógica de 1.ª ordem, mostradas na tabela abaixo.proposição categóricarepresentação simbólica(1) Todo A é B.∀ x (A(x) → B(x))(2) Algum A é B.∃ x (A(x) ∧ B(x))(3) Nenhum A é B.¬∃ x (A(x) ∧ B(x))(4) Algum A não é B.∃ x (A(x) ∧ ¬B(x))Denotando por AB qualquer uma das quatro proposições categóricas, e denominando A e B os termos de AB, então um silogismo consiste (sintaticamente) de uma seqüência de três proposições categóricas construídas com três termos, de modo que cada duas delas tenham exatamente um termo comum. Para os termos A, B e C, a tabela abaixo apresenta os quatro possíveis modelos de silogismos.modelosproposições1.ª forma2.ª forma3.ª forma4.ª formapremissa maiorCBBCCBBCpremissa menorACACCACAconclusãoABABABABUtilizando essas informações, julgue os itens que se seguem. A seguinte cadeia de proposições pode ser traduzida como um dos quatro modelos de silogismo: Algumas mulheres não são religiosas. Todas as freiras são mulheres. Logo, algumas freiras não são religiosas.

A seguinte cadeia de proposições pode ser traduzida como um...

Q220067

Raciocínio Lógico Figuras e Modos do Silogismo Categórico

Ano: 2002

Banca: Centro de Seleção e de Promoção de Eventos UnB - CESPE CEBRASPE

Prova: CESPE/CEBRASPE - SF - Consultor Legislativo - Área Economia / Sistema Financeiro e Divida Pública - 2002

A seguinte cadeia de proposições pode ser traduzida como um dos quatro modelos de silogismo: Algumas mulheres não são religiosas. Todas as freiras são mulheres. Logo, algumas freiras não são religiosas.

Certo

Errado

Comentários Marcadores Anotações (0) Estatísticas Reportar erro