Mtodo Dedutivo

Prof. Marcone Sotro

marcone.sotero@pplt.joaquimnabuco.edu.br

Mtodo Dedutivo
Demonstramos implicaes e equivalncias pelo mtodo das tabelas-verdade. Problema: O nvmero de linhas cresce muito rapidamente, medida que aumenta o nvmero de proposies simples envolvidas no argumento. Com 10 proposies a tabela necessita de 1024 linhas, e com 11, o nvmero de linhas vai a 2048!

Mtodo Dedutivo
O mtodo dedutivo tambm um mtodo para demonstrao de implicaes e equivalncias. Como utilizar Aplicando propriedades, leis e regras apresentadas at aqui.

Mtodo Dedutivo
Demonstrar a implicao: P ^ Q => P
Regra da Simplificao P^Q P Condicional ~(P ^ Q) v P De Morgan (~P v ~Q) v P Associatividade (~P v P) v ~Q 3 Excludo (Tautologia) V v ~Q V

Mtodo Dedutivo
Demonstrar a implicao: (P Q) ^ ~Q => ~P (Modus Tollens) (P Q) ^ ~Q Condicional (~P v Q) ^ ~Q Distributividade (~P ^ ~Q) v (Q ^ ~Q) (Contradio) (~P ^ ~Q) Simplificao ~P ~P => ~P

Mtodo Dedutivo
Demonstrar a implicao: (P Q) ^ ~Q => ~P (Modus Tollens) (P Q) ^ ~Q (~P v Q) ^ ~Q (~P ^ ~Q) v (Q ^ ~Q) (~P ^ ~Q) (~P ^ ~Q) ~P ~(~P ^ ~Q) v ~P P v Q v ~P P v ~P v Q VvQ Condicional Distributividade (Contradio)

Forma Normal das Proposies

Diz-se que uma proposio est na forma normal (FN) se e somente se, quando muito, contm os conectivos ~, v,^. Exemplos: ~P ^ ~Q ~(~P v ~Q) (P ^ Q) v (~Q v R)

Forma Normal das Proposies

H duas espcies de FN para uma proposio: Forma Normal Conjuntiva (FNC) Forma Normal Disjuntiva (FND) So vteis em aplicaes, principalmente em circuitos eltricos.

Forma Normal Conjuntiva (FNC)

Diz-se que uma proposio est na FNC se e somente se so verificadas as seguintes condies:

Est na FN; No existe dupla negao; A disjuno no tem alcance sobre a conjuno (no h componentes do tipo P v (Q ^ R) ).

Forma Normal Conjuntiva (FNC)

Exemplos: ~P ^ ~Q ~P ^ Q ^ R (~P v Q) ^ (~Q v ~R)

Forma Normal Conjuntiva (FNC)

Determinar a FNC da proposio P Q v ~R (P (Q v ~R)) ^ ((Q v ~R) P) Condicional (~P v (Q v ~R)) ^ (~(Q v ~R) v P) De Morgan (~P v (Q v ~R)) ^ ((~Q ^ R) v P) Distributividade (~P v (Q v ~R)) ^ ((P v ~Q) ^(P v R)) (~P v Q v ~R) ^(P v ~Q) ^(P v R)

Forma Normal Disjuntiva (FND)

Diz-se que uma proposio est na FND se e somente se so verificadas as seguintes condies:

Est na FN; No existe dupla negao; A conjuno no tem alcance sobre a disjuno (no h componentes do tipo P ^ (Q v R)).

Forma Normal Disjuntiva (FND)

Exemplos: ~P v Q P v (~Q ^ R) (~P ^ Q) v (P ^ Q ^ R)

Forma Normal Disjuntiva (FND)

Determinar a FND da proposio (P Q) ^ (Q P)
(~P v Q) ^ (~Q v P) ((~P v Q) ^ ~Q) v ((~P v Q) ^P) (((~P ^ ~Q) v (Q ^ ~Q)) v ((~P ^ P) v (Q ^ P))) (~P ^ ~Q) v (Q ^ ~Q) v (~P ^ P) v (Q ^ P)

Argumentos
Exemplificando, a condicional associada ao argumento: P ^ ~Q, P ~R, Q v ~S ~(R v S) : (P ^ ~Q) ^ (P ~R) ^ (Q v ~S) ~(R v S)
e o argumento correspondente condicional: (P Q v R) ^ ~S ^ (Q v R S) (S P ^ ~Q) : P Q v R, ~S, Q v R S (S P ^ ~Q)

Argumentos
Argumentos vlidos fundamentais ou bsicos: Adio (AD) Simplificao (SIMP) Conjuno (CONJ) Absoro (ABS) Modus Ponens (MP) Modus Tollens (MT) PPvQ P^QP P, Q P ^ Q P Q P (P ^ Q) P Q, P Q P Q, ~Q ~P

Argumentos
Argumentos vlidos fundamentais ou bsicos:
Silogismo Disjuntivo (SD) P v Q, ~P Q P Q, Q R P R P Q, R S, P v R Q v S P Q, R S, ~Q v ~S ~P v ~R

Silogismo hipottico (SH) Dilema Construtivo (DC) Dilema Destrutivo (DD)

Regras de Inferncia
Os argumentos bsicos so usados para fazer inferncias, e por isso chamam-se tambm regras de inferncia. Regras de Inferncia permitem gerar formas de argumentos numa srie de etapas simples e precisas de raciocnio chamada prova ou derivao. Cada etapa numa derivao uma instncia de uma das regras de inferncia.

Regras de Inferncia
Para escrever uma regra, utiliza-se a forma padro: premissas sobre um trao horizontal e, em seguida, a concluso sob o mesmo trao. Regra da Adio (AD): P ____ PvQ Regra Modus Ponens (MP): P PQ _____ Q

Regras de Inferncia
Exemplos de usos das regras de inferncia: Regra Modus Ponens: Permite deduzir Q (concluso) a partir de P Q e P (premissas): a) (1) ~P ~Q (2) ~P (3) ~Q b) (1) X 0 X + Y > 1 (2) X 0 (3) X + Y > 1

Regras de Inferncia
Regra do Silogismo disjuntivo: Permite deduzir da disjuno P v Q de duas proposies e da negao ~P (ou ~Q) de uma delas a outra proposio Q (ou P) : a) (1) (P ^ Q) v R (2) ~R (3) (P ^ Q) (1) X = 0 v X = 1 (2) X 0 (3) X = 1

b)