Reglas De Inferencia

Modus Ponendo Ponens (PP)

1 Si estudia, tendrá buenas calificaciones. 1 P -> Q P

2 Estudia 2 P P3 Tendrá buenas calificaciones. 3 Q PP (1,2)

Modus Tollendo Tollens (TT)

1 Si das buenos examenes, pasará de curso 1 P ->Q P

2 No pasa decurso 2 -Q P

3 No da buenos examenes 3 -P TT(1,2)

Adjunción (A)

1 Estudia1 P P

2 Pasará de curso. 2 Q P

3 Estudia y pasara de curso.3 P . Q A(1,2)

Simplificación (S)

1 Estudia y tiene buenas calificaciones 1 P . Q P 1 P . Q P

2 Estudia2 P S(1) 2 Q S(1)

3 Tiene buenas calificaciones

Tollendo Ponens (TP)

1 O estudia o reprobará el examen 1 P v Q P 1 P v Q P

2 No estudia.2 -P P 2 -Q P

3 Reprobará el examen. 3 Q TP(1,2) 3 P TP(1,2)

Adición (LA)

1 Estudia.1 P P

2 Estudia o trabaja. 2 P v Q LA(1)

Silogismo Hipotetico (SH)

1 Si estudia, aprueba los exámenes.1 P -> Q P

2 Si aprueba los exámenes, terminará la Media. 2 Q -> R P

3 Si estudia, terminará la Media. 3 P -> RSH(1,2)

Silogismo Disyuntivo (SD)

1 Estudia o reprueba los exámenes. 1 P v Q P

2 Si estudia, terminará la Media. 2 P -> R P

3 Si reprueba los...