Reglas de Inferencia y Leyes de la Lógica Proposicional
Enviado por Programa Chuletas y clasificado en Ciencias sociales
Escrito el en
español con un tamaño de 4,63 KB
Reglas de Inferencia Lógica
Modus Ponendo Ponens (PP)
- 1. Si estudia, tendrá buenas calificaciones. (P → Q)
- 2. Estudia. (P)
- 3. Tendrá buenas calificaciones. (Q) — PP (1,2)
Modus Tollendo Tollens (TT)
- 1. Si das buenos exámenes, pasarás de curso. (P → Q)
- 2. No pasa de curso. (¬Q)
- 3. No da buenos exámenes. (¬P) — TT (1,2)
Adjunción (A)
- 1. Estudia. (P)
- 2. Pasará de curso. (Q)
- 3. Estudia y pasará de curso. (P ∧ Q) — A (1,2)
Simplificación (S)
- 1. Estudia y tiene buenas calificaciones. (P ∧ Q)
- 2. Estudia. (P) — S (1)
- 3. Tiene buenas calificaciones. (Q) — S (1)
Tollendo Ponens (TP)
- 1. O estudia o reprobará el examen. (P ∨ Q)
- 2. No estudia. (¬P)
- 3. Reprobará el examen. (Q) — TP (1,2)
Adición (LA)
- 1. Estudia. (P)
- 2. Estudia o trabaja. (
catalán con un tamaño de 3,75 KB