Beruflich Dokumente
Kultur Dokumente
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)
Est na FN; No existe dupla negao; A disjuno no tem alcance sobre a conjuno (no h componentes do tipo P v (Q ^ R) ).
Est na FN; No existe dupla negao; A conjuno no tem alcance sobre a disjuno (no h componentes do tipo P ^ (Q v R)).
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
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)