MATERIAL COMPLEMENTAR DE APOIO DIDTICO

MTODO DEDUTIVO

Axiomas so sentenas ditas verdadeiras, sem ser estabelecida dentro do sistema a

validade da mesma.
J Teoremas so as sentenas estabelecidas a partir dos axiomas, portanto, neste
caso a validade da sentena deve ser verificada. Denomina-se de prova o processo de
elaborao dos teoremas.
A elaborao de uma sentena baseada em outra o processo de deduo e o
elemento deduzido o consequente. Isto leva a outro ponto, relacionado com o mtodo de
prova que trata as premissas de uma prova, onde as mesmas devem ser todas verdadeiras
e atravs de demonstraes passo a passo chega-se concluso (ou consequente)
verdadeira.
Quando construda uma certa teoria seguindo estritamente estas definies, tem-se o
mtodo dedutivo.
Logo, as teorias elaboradas desta maneira so denominadas teorias dedutivas.
A Teoria Dedutiva relaciona a definio de uma teoria atravs da definio de axiomas
e teoremas, sendo que a partir dos axiomas possvel comprovar que certas sentenas
pertencem a esta teoria. Quando se tm sentenas que no podem ser deduzidas a partir
dos axiomas, utiliza-se o mtodo de prova por interpretao, que consiste em demonstrar
que uma determinada sentena no provada baseada nos axiomas de uma dada teoria,
mas que apesar disso verdadeira na Teoria.
Todos os teoremas provados atravs de um determinado sistema axiomtico
permanecem vlidos para qualquer interpretao de um sistema.
Estas caractersticas do mtodo dedutivo demonstram a possibilidade de "economizar"
passos no raciocnio de um certo problema.
A aplicao do mtodo dedutivo proporciona os resultados esperados apenas se todas
definies e provas preenchem completamente suas tarefas, ou seja, se as definies
trazem um significado de todos os termos definidos e se as provas convencem da correo
(validade) de todos teoremas provados.
Observa-se a importncia das regras da lgica serem aplicadas durante as provas,
para assim, fornecer uma prova completa descrevendo todos os passos seguidos.

Texto extrado do artigo: Um Editor de Provas para a Lgica Proposicional. Escrito por
Gleifer V. Alves, Graaliz P. Dimuro e Antnio C. R. Costa da Escola de Informtica -
Universidade Catlica de Pelotas.
Disponvel em: http://www.gracalizdimuro.com/wp-content/uploads/2011/10/a171.pdf
 MATERIAL COMPLEMENTAR DE APOIO DIDTICO
MTODO DEDUTIVO

LGEBRA DAS PROPOSIES

A lgebra das proposies utilizada para reduzir/modificar expresses compostas, ou
seja, tambm so conhecidas como propriedades.
Como descobrir se a propriedade aplicada est correta?
Basta desenvolver a tabela verdade de todas as proposies empregadas na proposio
composta, ou seja, todas as proposies devem ser equivalncias lgicas. (smbolo )
Sejam as proposies p, q, ento, define-se:
p ^ (q v r) (p ^ q) v (p ^ r)
p v (q ^ r) (p v q) ^ (p v r)
~(p ^ q) ~p v ~q
~(p v q) ~p ^ ~q
Pq ~p v q
~(p q) ~(~p v q) p ^ ~q
p ^ (q ^ r) (p ^ q) ^ r
p v (q v r) (p v q) v r
pq (p q) ^ (q p)
~(p q) (p ^ ~q) v (~p ^ q)
pq (~p v q) ^ (~q v p)

MTODO DEDUTIVO
Problema:
O Nmero de linhas cresce muito rapidamente, medida que aumenta o nmero de
proposies simples envolvidas no argumento. Com 10 proposies a tabela ter 1024 linhas
e com 11 so 2048.
O Mtodo dedutivo tambm um mtodo para demonstrao de implicaes e
equivalncias, utilizando das propriedades, leis e regras.
No mtodo dedutivo, as equivalncias relativas desempenham um papel importante nas
equivalncias lgicas. As proposies (simples ou compostas) podem ser substitudas por
P,Q,R,T,C(Tautolgica, Contradio).
 MATERIAL COMPLEMENTAR DE APOIO DIDTICO
MTODO DEDUTIVO

Exemplo 1:
(p (~p q)
p (~~p v q)
~p v (p v q)
(~p v p) v (~p v q)
T v (~p v q)
T
A implicao acima representa uma tautologia, pois a propriedade distributiva gera
(~p v p), ou seja, ela obrigatoriamente forada a gerar um valor verdadeiro.
Se p:f, ento p:v. Se p:v, ento p:v.
Ao juntar-se com o operador v (OU), ela obriga a proposio formada a gerar um valor
verdadeiro na resoluo.
Caso a proposio fosse T ^ (~p v q), ento, o valor lgico igual a (~p v q), pois, o valor
mesmo que falso, juntado com (~p v q) ser (~p v q).

Exemplo 2: Mostrar equivalncias: (p q) ^ (p ~q)

(p q) ^ (p ~q)
(~p v q) ^ (~p v ~q)
(~p ^ ~p) v (q v ~q)
~p v C
~p

Exemplo 3: Regra da Simplificao

Simplifique a Implicao: P ^ Q P
P^QP CONDICIONAL
~(P ^ Q) v P De MORGAN
(~P v ~Q) v P ASSOCIATIVIDADE
(~P v P) v ~Q TAUTOLOGIA
V v ~Q
V
 MATERIAL COMPLEMENTAR DE APOIO DIDTICO
MTODO DEDUTIVO

Exemplo 4: Modus Tollens

(P Q) ^ ~Q ~P
(P Q) ^ ~Q CONDICIONAL
(~P v Q) ^ ~Q DISTRIBUTIVIDADE
(~P v ~Q) v (Q ^ ~Q) CONTRADIO
(~P v ~Q) SIMPLIFICAO
~P
~P ~P

Exemplo 5: Modus Tollens

(P Q) ^ ~Q ~P
(P Q) ^ ~Q CONDICIONAL
(~P v Q) ^ ~Q DISTRIBUTIVIDADE
(~P v ~Q) v (Q ^ ~Q) CONTRADIO
(~P v ~Q)
(~P v ~Q) ~P
~(~P v ~Q) v ~P
P v Q v ~P
P v ~P v Q
VvQ