Mtodo dedutivo a modalidade de raciocnio lgico que faz uso da deduo para obter

uma concluso a respeito de determinada(s) premissa(s).

A induo normalmente se contrasta deduo.
Essencialmente, os raciocnios dedutivos se caracterizam por apresentar concluses que
devem, necessariamente, ser verdadeiras caso todas as premissas sejam verdadeiras se
o raciocnio respeitar uma forma lgica vlida.
Partindo de princpios reconhecidos como verdadeiros (premissa maior), o pesquisador
estabelece relaes com uma segunda proposio(premissa menor) para, a partir de
raciocnio lgico, chegar verdade daquilo que prope (concluso).
ndice
[esconder]

1 O que uma deduo?

2 Raciocnio dedutivo

3 Exemplo simples

4 Lei do desapego

5 Lei do silogismo

6 Lei da contrapositiva

7 Validade

8 Educao

O que uma deduo?[editar | editar cdigo-fonte]

Uma deduo uma espcie de argumento no qual a forma lgica vlida garante a
verdade da concluso se as premissas forem verdadeiras. Por exemplo: Temos duas
premissas verdadeiras:
"P1:Todos os homens so mortais"
"P2:Scrates homem"
Agora apresentemos uma forma lgica vlida:
"TODO x y.
z x.
Logo, z y"

Veja que as duas premissas obedecem a uma forma lgica vlida. Se a

concluso for "Logo, Scrates mortal (Logo, z y)", ento temos uma
deduo.

comum definir erroneamente que na deduo inferimos uma concluso

particular de premissas gerais (o famoso do geral para o particular). Isto
falso. Esse tipo de pensamento existe porque muitas pessoas s conhecem
UM tipo de deduo.1
"TODO x y.
z x.
Logo, z y"

O problema que existem dedues cujas premissas maiores so iniciadas

por condicionais e no partem necessariamente de premissas gerais, como os
modus tollens e ponens:
Modus ponens:
"Se P, ento Q.
P.
Portanto Q."
Modus tollens:
"Se P, ento Q.
Q falso.
Logo, P falso." 2

Exemplo de modus ponens que no parte de premissas gerais: "Premissa

1:Se Lula nasceu em Caets, nasceu em Pernambuco. Premissa 2:Lula
nasceu em Caets. Concluso:Logo, Lula nasceu em Pernambuco."

Raciocnio dedutivo[editar | editar cdigo-fonte]

O raciocnio dedutivo, tambm chamado de lgica dedutiva ou deduo lgica
ou at mesmo, informalmente, a lgica "top-down", o processo de raciocnio
a partir de uma ou mais afirmaes (premissas) para chegar a uma certa
concluso lgica.

O raciocnio dedutivo liga afirmaes (ou premissas) com concluses. Se

todas as premissas so verdadeiras, com termos claros (no ambguos), e as

regras da lgica dedutiva so seguidas corretamente, ento a concluso
necessariamente verdade.

O raciocnio dedutivo (lgica top-down) contrasta com o raciocnio indutivo

(lgica de baixo para cima ou bottom-up) da seguinte forma: No raciocnio
dedutivo, a concluso obtida pela aplicao das regras gerais que mantm
sobre a totalidade de um domnio fechado de discurso, estreitando a faixa em
considerao at que reste apenas a concluso. No raciocnio indutivo, a
concluso atingida por generalizao ou extrapolao a partir de
informaes iniciais. Como resultado, a induo pode ser usada at mesmo
em um domnio aberto, aquele em que h incerteza. Note, porm, que o
raciocnio indutivo mencionado aqui no o mesmo que a induo utilizada
em provas matemticas - Induo Matemtica na verdade uma forma de
raciocnio dedutivo.

Exemplo simples[editar | editar cdigo-fonte]

Um exemplo de um argumento dedutivo:
1. Todos os homens so mortais.
2. Scrates um homem.
3. Portanto, Scrates mortal.
A primeira premissa afirma que todos os objetos classificados como "homens"
tm o atributo "mortal". A segunda premissa afirma que "Scrates"
classificado como um "homem" - um membro do conjunto de "homens". A
concluso afirma ento que "Scrates" tem de ser "mortal" porque ele herda
esse atributo de sua classificao como um "homem".

Lei do desapego[editar | editar cdigo-fonte]

A lei do desapego (tambm conhecida como Modus Ponens) a primeira
forma de raciocnio dedutivo. Uma nica instruo condicional feita, e uma
hiptese (P) indicado. A concluso (Q) ento deduzida da premissa. A
forma mais bsica listada abaixo:
1. P Q (instruo condicional)
2. P (hiptese prevista)

3. Q (concluso deduzida)
No raciocnio dedutivo, podemos concluir Q a partir de P usando a lei do
desapego. No entanto, se a concluso (Q) dada em vez de a hiptese de
(P), ento no h nenhuma concluso definitiva.

O seguinte um exemplo de um argumento usando a lei do desapego na

forma de uma premissa se:
1. Se um ngulo satisfaz 90 <A <180 , ento A um ngulo obtuso.
2. A = 120 .
3. A um ngulo obtuso.
Uma vez que a medida do ngulo A maior do que 90 e menor que 180 ,
pode-se deduzir que A um ngulo obtuso.

Lei do silogismo[editar | editar cdigo-fonte]

A lei do silogismo leva duas premissas condicionais e forma uma concluso,
combinando a hiptese (premissas) com a concluso. Assim:
1. P Q
2. Q R
3. Por isso, P R.
Por exemplo:
1. Se Larry est doente, ento ele vai estar ausente.
2. Se Larry est ausente, ento ele vai perder a sua escola.
3. Portanto, se Larry est doente, ento ele vai perder a sua escola.
Deduzimos a concluso, combinando a hiptese da primeira premissa com a
segunda premissa. Este um exemplo da propriedade transitiva na
matemtica. A propriedade transitiva s vezes formulada da seguinte forma:
1. A = B.
2. B = C.

3. Portanto A = C.

Lei da contrapositiva[editar | editar cdigo-fonte]

A lei da contrapositiva que, em uma condicional, se a concluso falsa, ento
a hiptese deve ser falsa tambm. A forma geral a seguinte:
1. P Q.
2. ~ Q.
3. Portanto, podemos concluir ~ P (~Q~P).
Por exemplo:
1. Se estiver chovendo, ento h nuvens no cu.
2. No h nuvens no cu.
3. Assim, no est chovendo.

Validade[editar | editar cdigo-fonte]

Argumentos dedutivos so avaliados em termos de sua validade e solidez.
Um argumento vlido se for impossvel para as suas premissas serem
verdadeiras, enquanto a sua concluso falsa. Em outras palavras, a
concluso deve ser verdadeira se as premissas so verdadeiras.

Um argumento vlido se ele vlido e as premissas so verdadeiras.

possvel ter um argumento dedutivo que logicamente vlido, mesmo que no
parea ser ao ouvir. Argumentos falaciosos muitas vezes tomam esta forma.

O seguinte um exemplo de um argumento que vlido, mesmo que no

soe:
1. Todo mundo que come cenouras um zagueiro.
2. Joo come cenouras.
3. Portanto, Joo um zagueiro.
No exemplo acima a primeira premissa falsa - h pessoas que comem
cenouras e no so zagueiros - mas a concluso deve ser verdadeira, desde
que as premissas sejam verdadeiras (ou seja, impossvel que as premissas

sejam verdadeiras e a concluso falsa). Portanto, o argumento vlido, mas

no parece. Generalizaes so muitas vezes utilizados para fazer
argumentos invlidos, como "Todo mundo que come cenouras um zagueiro."
Nem todo mundo que come cenouras um zagueiro, provando assim a falha
de tais argumentos.

Neste exemplo, a primeira declarao usa o raciocnio categrico, dizendo

que todos os comedores de cenoura so definitivamente quarterbacks. Esta
teoria do raciocnio dedutivo - tambm conhecida como lgica de termos - foi
desenvolvida por Aristteles, mas foi substituda pela lgica proposicional
(sentencial) e lgica de predicados.

O raciocnio dedutivo pode ser contrastado com o raciocnio indutivo, no que

diz respeito validade. No raciocnio indutivo, embora as premissas sejam
verdadeiras e o argumento "vlido", possvel que a concluso seja falsa.

Educao[editar | editar cdigo-fonte]

O raciocnio dedutivo geralmente considerado como uma habilidade que se
desenvolve sem qualquer ensino formal ou de formao. Como resultado
dessa crena, habilidades de raciocnio dedutivo no so ensinados nas
escolas secundrias, onde se espera que os alunos usem o raciocnio com
mais frequncia e em um nvel superior. na escola, por exemplo, que os
alunos tem uma introduo abrupta de provas matemticas - que dependem
muito de raciocnio dedutivo. Alguns instituies de nvel superior oferecem
nas grades de seus cursos a matria.