P. 1
Reglas de Inferencia y Reemplazo

Reglas de Inferencia y Reemplazo

|Views: 1.343|Likes:
Breve descripción (formulario) de las Reglas de Inferencia y de Reemplazo, básicas, a la hora de validar argumentos mediante Lógica Proposicional.
Breve descripción (formulario) de las Reglas de Inferencia y de Reemplazo, básicas, a la hora de validar argumentos mediante Lógica Proposicional.

More info:

Categories:Types, School Work
Published by: Ing. Gerson Perez Martinez on Jul 25, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/09/2014

pdf

text

original

Reglas de Inferencia

Ing. Gerson Pérez Martínez
1.- Adjunción – ADJ
° P
° Q
P ∧ Q
° P
° Q
P ∨ Q
2.- Simplificación – S
° P ∧ Q
P
Q
° P Q ∨
P
Q
3.- Modus Ponendo Ponens – MPP
° P Q →
° P
Q
° P Q →
° Q
P
4.- Modus Tollendo Tollens – MTT
° P Q →
° ¬P
¬Q
° P Q →
° ¬Q
¬P
5.- Modus Ponendo Tollens – MPT
° P Q ∨
° P
¬Q
° P Q ∨
° Q
¬P
6.- Modus Tollendo Ponens – MTP
° P Q ∨
° ¬P
Q
° P Q ∨
° ¬Q
P
7.- Silogismo Hipotético – SH
° P Q →
° Q → R
P → R
° Q P →
° R → Q
R → P
Reglas de Reemplazo
Ing. Gerson Pérez Martínez
1.- Doble Negación – DN
° ¬¬P
P
2.- Ley de Morgan – LM
° ( P ∧ Q ) '
¬P ∨ ¬Q
° ( P Q ) ' ∨
¬P ∧ ¬Q
3.- EQUIVALENCIAS – E1, E2
° P Q ↔
E1 P Q →
E2 Q P →

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->