MÉTODO DEDUTIVO

Definição

• O método dedutivo é a modalidade de

raciocínio lógico que faz uso da dedução
para obter uma conclusão a respeito de
determinada(s) premissa(s).
Regras de Inferência
 Prova indireta

• Modus tollens: Negação do antecedente.

 Adição:

Dada uma proposição verdadeira, a partir dele pode-

se deduzir uma disjunção verdadeira com qualquer
outro enunciado que escolhermos. Isto tem ligação
com a regra Silogismo Disjuntivo, pois se o enunciado
que escolhermos, q, porventura for falso, em nada
afetará a verdade da proposição p e da disjunção por
elas formada.
 Modus ponens:
Se o antecedente de um condicional for verdadeiro,
o seu consequente necessariamente é verdadeiro.
Por esta razão, esta regra também é chamada de
afirmação do antecedente. A validade desta regra é
comprovada simplesmente observando a tabela
verdade das proposições condicionais. Violações
desta regra resultam nas falácias afirmação do
consequente e negação do antecedente, onde a
conclusão não segue necessariamente das
premissas.
 Modus tollens:

Ao contradizer o consequente, somos obrigados a

contradizermos também o antecedente. Novamente
isto pode ser verificado simplesmente olhando a
tabela verdade das proposições condicionais. Esta
regra é também chamada de contradição do
consequente.
A implicação possui a propriedade transitiva, isto é, se A implica B e B implica C, então A implica C através de B.
 Silogismo Hipotético:

A implicação possui a propriedade transitiva, isto é,

se A implica B e B implica C, então A implica C através
de B.
 Silogismo Disjuntivo:

Se uma disjunção é verdadeira e uma das

proposições componentes se revela falsa, então a
outra proposição é necessariamente verdadeira.
 Simplificação:

Em uma conjunção verdadeira, pode-se concluir que

cada um dos seus componentes é verdadeiro de
forma independente. Muito simples.
 Conjunção:

Praticamente o inverso da regra anterior, se dois

enunciados são verdadeiros independentemente,
isso é condição suficiente para que juntos formem
uma conjunção verdadeira.
 DILEMA CONSTRUTIVO:

(P → Q) ^ (R → S)
PvR
QvS
Dilemas são situações em que somos obrigados a
aceitar uma de duas consequências que não são
muito agradáveis. Deixando a agradabilidade de lado,
esta regra de inferência se baseia na regra Modus
Ponens. Tomando apenas a primeira parte da
conjunção da primeira premisa, (p –> q),
afirmamos p, e pela regra Modus ponens, somos
obrigados a concluir q. Fazendo o mesmo
procedimento com o outro lado da conjunção da
primeira premissa, concluímos que s. Então o dilema
consiste em que, ao afirmar p ou r, somos obrigados
a concluir q ou s.
 DILEMA DESTRUTIVO:

(P → Q) ^ (R → S)
~Q v ~S
~P v ~R

É exatamente o oposto do Dilema Construtivo. Se

baseia na regra Modus Tollens.
 Leis de DeMorgan:

 1ª lei - ~ (p ∧ q) = (~ p) ∨ (~ q): Negar duas

proposições ligadas com “e” – ou seja, uma
conjunção – é o mesmo que negar duas proposições
e ligá-las com “ou” (ou seja, transformá-las em uma
disjunção.

 2ª lei - ~ (p ∨ q) = (~ p) ∧ (~ q): Negar duas

proposições ligadas por “ou” é o mesmo que negar
as duas proposições e juntá-las com “e”.
 1º Exercício: Provar ~s
1. t P
2. t ͢ ~q P
3. ~q ͢ ~s P
4. t ͢ ~s SH 2,3
5. ~s MP 1,4
 2º Exercício: Provar r ˅ ~s
1. s˄q P
2. t ͢ ~q P
3. ~t ͢ r P
4. q S1
5. ~t MT 2,4
6. r MP 3,5
7. r˅~s A6
 3º Exercício: Provar a
1. ~a ͢ b P
2. b ͢ c P
3. ~c P
4. ~b MT 2,3
5. a MT 1,4
 4º Exercício: Provar a
1. ~a ͢ c P
2. c ͢ ~m P
3. m˅r P
4. ~r P
5. m SD 3,4
6. ~c MT 2,5
7. a MT 1,6
Condicional
 5º Exercício: Provar r ͢ ~p
1. p ͢ q P
2. r ͢ ~q P
3. r PP (Premissa Provisória)
4. ~q MP 2,3
5. ~p MT 1,4
6. r ͢ ~p PC 3,5
(Prova do condicional)
 6º Exercício: Provar c ͢ ~d
1. b ͢ ~c P
2. ~(d˄~b) P
3. c PP (Premissa Provisória)
4. ~d˅b DEMORGAN
5. ~b MT 1,3
6. ~d SD 4,5
7. c ͢ ~d PC 3,6
 7º Exercício: Provar a ͢ b
1. a˅j ͢ q P
2. j ͢ (~q˄~h) P
3. j˅b P
4. a PP
5. ~q S2
6. ~(a˅j) MT 1,5
7. ~a˄~j DM 6
8. ~j S7
9. b SD 3,6
10. a ͢ b PC 4,9
Bicondicional
 8º Exercício: Provar a ↔ v
1. t ͢ a P
2. v ͢ t P
3. a ͢ m P
4. v˅~m P
Condicional A:

5a. a PP
6a. m MP 3,5a
7a. v SD 4,6
8a. a ͢ v PC 5ª,7a
Condicional B:

5b. v PP
6b. t MP 2,5b
7b. a MP 1,6b
8b. v ͢ a PC 5b,7b
9. (a ͢ v).(v ͢ a ) U 8ª,8b
10. a ͢ b PC 4,9

Com a bicondicional, desdobram-se as

proposições e depois unem-se
novamente para a prova final.
Prova indireta ou Redução ao
absurdo
 9º Exercício: Provar r
1. ~p ͢ r P
2. ~r ͢ q P
3. (p˄q) P
4. ~r PP
5. ~p˅q DM 3
6. q MP 2,4
7. ~p MT 5,6
8. r MP 1,7
9. r˄~r U 4,8
10. r PI (prova indireta de 9)
 Exercício 1
p  q, ¬q├ ¬p

1. p  q P
2. ¬q P
3. ¬p 1, 2 MT
 Exercício 2
¬q  ¬p├ p  q

1.¬q  ¬p P
2. p H
3. p  q 1, 2 CT