Professional Documents
Culture Documents
2. Ejemplo:
p r
p
r
No e vlido, porque el razonamiento (( p r ) p )r no es una tautologa.
p
r
p r
( p r ) p
( p r ) p r
p
r
V
p
4. Simplificacion
pq
pq
y
q
p
5. Doble negacion
( p)
p
6. Ley de adjuncion
p
q
q
y p
pq
q p
7. Silogismo Hipotetico
p q
qr
r
p
8. Simplificacion disyuntiva
p p
p
9. Regla de Morgan
( pq )
( pq)
y
p q
p q
10. Ley conmutativa
pq
pq
y
q
q
p
p
Ejemplo
Pedro estudiara matematicas o ingenieria
Pedro no estudiara matematicas
Si Pedro estudia ingenieria, aorar las matematicas
- Pedro aorar las matematicas
Determinar primero las proposiciones
p: Pedro estudiara matematicas
q: Pedro estudiara ingenieria
r: Pedro aorara las matematicas
P1 : pq ; P 2 : p
. El razonamiento quedaria de la
P3 : q r ; C: r
siguiente manera: (( pq)( p)(q r)) r .
1. Modus Tollendo Ponens
P1 : pq
P 2 : p
C1 : q
2. Modus Ponendo Ponens
C1 : q
P3 : q r
C: r
Ejemplo
Si aplico las reglas de inferencia y tengo cuidado, entonces gano el examen o me siento
bien. Si me siento bien o no tengo cuidado, entonces no aplico las reglas de inferencia.
Aplico las reglas de inferencia. Por tanto gano el examen.
Determinar primero las proposiciones
p: Aplico las leyes de inferencia.
q: tengo cuidado
r: Gano el examen
s: Me siento bien
P1 :( pq)(rs) ; P2 :(sq ) p
Se plantea de manera simbolica:
Se ve de la siguiente
P3 : p ; C: r
manera el razonamiento (( pq) (rs))((sq) p) p r .
Se plantea entonces de manera simbolica:
P2 y C 3 .