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. Considerando que cada uma das três proposições de cada modelo de silogismo pode ter um dos quatro tipos de proposições categóricas, há 43 silogismos distintos em cada modelo.

Considerando que cada uma das três proposições de cada...

Q220063

Raciocínio Lógico Simbologia dos quantificadores lógicos( Linguagem)

Ano: 2002

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

Prova: CESPE/CEBRASPE - SF - Consultor Legislativo - Área Meio Ambiente e Ciência e Tecnologia - 2002

Considerando que cada uma das três proposições de cada modelo de silogismo pode ter um dos quatro tipos de proposições categóricas, há 4³ silogismos distintos em cada modelo.

Certo

Errado

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