3.3

Apuntes

• Reglas de inferencia principales Modo Ponens (MP): a → b, a. Por tanto, b. Modo Tollens (MT): a → b, ¬b. Por tanto, ¬a. Conjunción: a ∧ b. Introducción y eliminación de conjunción (IC) y (EC): a, b. Por tanto, a ∧ b. De a ∧ b, se puede deducir a. Doble negación (DN): ¬¬a. Introducción y eliminación de disyunción (ID) y (ED): a, b. Por tanto, a ∨ b. a ∨ b, ¬a. Por tanto, b. • Conceptos básicos y símbolos Negación: "No algo" ¬ Condicional: "Sí, entonces algo" → Bicondicional: "Sí y solo si algo" ⇔ Doble negación: "No es cierto que no algo" ¬¬ Disyunción: "Una cosa o la otra" V Conjunción: "Una cosa y otra" ∧ • Explicación de la conjunción La regla de la conjunción afirma que, cuando están actuando dos valores de verdad, la conjunción será verdadera cuando el valor de ambas proposiciones atómicas sea V, y será falsa cuando una o las dos proposiciones atómicas sean F.