O slideshow foi denunciado.
Seu SlideShare está sendo baixado. ×

Formas de Inferência Válida e Falácias Formais sl

Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Anúncio
Próximos SlideShares
Implicação Lógica
Implicação Lógica
Carregando em…3
×

Confira estes a seguir

1 de 9 Anúncio
Anúncio

Mais Conteúdo rRelacionado

Mais recentes (20)

Anúncio

Formas de Inferência Válida e Falácias Formais sl

  1. 1. Formas de inferência válida e as principais falácias proposicionais (formais) J.A.Duarte / 07
  2. 2. Algumas Formas de Inferência Válida 1. Modus Ponens Fim 2. Modus Tollens 3. Silogismo Disjuntivo 4. Silogismo hipotético 5. Contraposição 6. Leis de De Morgan Algumas Falácias proposicionais 1. Afirmação do Consequente 2. Negação do Antecedente J.A.Duarte / 07
  3. 3. 1. Fim Assim, o Modus Ponens (também chamado Afirmação do Antecedente) é uma forma válida e apresenta-se dos seguintes modos: p⇒q [ (p ⇒ q) ∧ p ] ⇒ q p ____ q Se está bom tempo, vou à praia Está bom tempo Logo, vou à praia Outras formulações: ~p⇒q (p ∧ q) ⇒ (r V s) ~p p∧q ____ ____ q (r V s) J.A.Duarte / 07
  4. 4. 2. Assim, o Modus Tollens (também chamado Negação do Consequente) é uma forma válida e apresenta-se dos seguintes modos: p⇒q [ (p ⇒ q) ∧ ~ q ] ⇒ ~p ~q ____ ~p Se está bom tempo, vou à praia Não vou à praia Logo, não está bom tempo Outras formulações: ~p⇒q (p ∧ q) ⇒ (r V s) ~q ~ (r V s) _______ _____________ ~~p ~ (p ∧ q) J.A.Duarte / 07
  5. 5. 3. O Silogismo Disjuntivo é uma forma válida e apresenta-se assim: pVq [ (p V q) ∧ ~ p ] ⇒ q ~p Penso ou sinto ____ Não penso q Logo, sinto ou: pVq [ (p V q) ∧ ~ q ] ⇒ p ~q Penso ou sinto ____ Não sinto p Logo, penso J.A.Duarte / 07
  6. 6. 4. O Silogismo hipotético é uma forma válida e apresenta-se assim: p⇒q [ (p ⇒ q) ∧ (q ⇒ r) ] ⇒ (p ⇒ r) q⇒r ______ p⇒r Se viajo, aprendo novas coisas Se aprendo novas coisas, torno-me melhor pessoa Logo, se viajo, torno-me melhor pessoa 5. A Contraposição é uma forma válida e apresenta-se assim: (p ⇒ q) ⇔ (~q ⇒ ~p) J.A.Duarte / 07
  7. 7. 6. Leis de De Morgan, formas válidas 1ª Lei: negação da conjunção ~(p ∧ q) ⇔ (~p V ~q) Não é verdade que canto e escrevo Logo, não canto ou não escrevo 2ª Lei: negação da disjunção ~(p V q) ⇔ (~p ∧ ~q) Não é verdade que há sol ou chuva Logo, não há sol e não há chuva J.A.Duarte / 07
  8. 8. Algumas Falácias proposicionais As falácias são argumentos inválidos que podem parecer válidos. De facto, certos argumentos têm formas aparentemente válidas mas são falácias. Podem parecer válidos porque se assemelham a formas válidas, o que os torna enganadores. As duas formas falaciosas mais conhecidas são: 1. Afirmação do Consequente p⇒q [ (p ⇒ q) ∧ q ] ⇒ p q Se está bom tempo, vou à praia _____ Vou à praia p Logo, está bom tempo (não válido) 2. Negação do Antecedente p⇒q [ (p ⇒ q) ∧ ~ p ] ⇒ ~ q ~p Se está bom tempo, vou à praia ______ Não está bom tempo ~q Logo, não vou à praia (não válido) J.A.Duarte / 07
  9. 9. Fim J.A.Duarte / 07

×