Formas de inferência válida

ESCOLA SECUNDÁRIA DE ALBERTO SAMPAIO
Filosofia 11.º Ano
Capítulo 1: Argumentação e lógica formal
FORMAS DE INFERÊNCIA VÁLIDA
1. MODUS PONENS
A → B, A ╞ B.
2. MODUS TOLLENS
A → B, ¬B ╞ ¬A.
3. CONTRAPOSIÇÃO
A → B ╞ ¬B → ¬A.
Se Mill é um defensor do Utilitarismo,
então afirma que temos a obrigação de
promover imparcialmente a felicidade ou
o bem-estar.
Ora, Mill é um defensor do utilitarismo.
Logo, afirma que temos a obrigação de
promover imparcialmente a felicidade ou
o bem-estar.
Se o prazer é o único verdadeiro bem,
então só as acções agradáveis são
moralmente boas; mas algumas acções
agradáveis não são moralmente boas;
logo, o prazer não é o único verdadeiro
bem.
Se Deus existe, o mal não existe. Logo,
se o mal existe, Deus não existe.
¬B → ¬A ╞ A → B.
4. SILOGISMO DISJUNTIVO
A ∨ B, ¬B ╞ A.
A ∨ B, ¬A ╞ B.
5. SILOGISMO HIPOTÉTICO
A → B, B → C ╞ A → C.
6. LEIS de DE MORGAN
6. 1 NEGAÇÃO DA CONJUNÇÃO
¬(A ∧ B) ╞ ¬A ∨ ¬B.
6.2 NEGAÇÃO DA DISJUNÇÃO
¬(A ∨ B) ╞ ¬A ∧ ¬B.
Ou vou ao cinema ou ao futebol; não vou
ao futebol; logo, vou ao cinema.
Ou vou ao cinema ou ao futebol; não vou
ao cinema; logo, vou ao futebol.
Se estudares, terás boas notas; se tiveres
boas notas, poderás entrar na Faculdade;
logo, se estudares, poderás entrar na
Faculdade.
Não é verdade que todos os israelitas são
judeus e todos os palestinianos são
árabes.
Logo, ou alguns israelitas não são judeus
ou alguns palestinianos não são árabes.
Não é verdade que vou ao cinema ou ao
teatro.
Logo, não vou ao cinema nem ao teatro.
José António Pereira – ESAS 2005/2006 – Filosofia 11.º Ano