1. El documento describe los conceptos básicos de la lógica proposicional, incluyendo tablas de verdad, funciones de verdad como conjunción y disyunción, y principios lógicos como la identidad y la no contradicción.
2. Explica cómo clasificar esquemas lógicos como tautologías, contradicciones o proposiciones consistentes usando tablas de verdad.
3. Proporciona ejemplos de aplicar la ley de reducción al absurdo y determinar si una fórmula es una
1. FUNCIONES DE 3.4. Condicional 5. Principios Lógicos 7. Método Abreviado
p q p→q Tautologías enunciadas por [A → (B∧∼ B)] → ∼A
VERDAD V V V Aristóteles en Organon Ley de Reducción al Absurdo
1. ¿Qué es la verdad? V F F 5.1. Identidad 1. Suponemos un valor
* Correspondencia entre el F V V p ´p↔p p→p adecuado para la fórmula
pensamiento y la realidad. F F V V V V 2. Tratamos de hallar una
* Cuando “p” es verdad, ocurre 3.5. Bicondicional F V V contradicción
realmente que p p q 5.2. No Contradicción 3. Determinamos su
p↔q
2. Tabla de Verdad p ´∼p ∼(p∧∼p) característica tabular
V V V
* Gráfico que permite hallar el Ejemplos:
valor veritativo de los esquemas V F F V F V
F V F F V V 1. ( p → q) → ( ∼ p ∨ q )
* Si una fórmula tiene “n” V F FVFF
variables diferentes, entonces F F V 5.3. Tercio Excluido
3.6. Negación p ´∼p p∨∼p VF F
tiene 2n filas La fórmula es una tautología
* Propuesto por Wittgenstein p ´∼p V F V
3. Funciones de Verdad V F F V V
2. ( p ∧ q ) ∧ ∼ q
3.1. Conjunción F V 6. Leyes de tabla de verdad
VV V V VF
p q p∧q 4. Clasificación de esquemas (T ∧ Q) ↔Q Es una contradicción
V V V 4.1. Tautología (T) (⊥ ∧ Q) ↔⊥
V F F p q (p→q)↔(∼p∨q) (T ∨ Q) ↔T 3. ∼ ( p ∨ q ) ∨ ( p ∧ q )
F V F V V V (⊥ ∨ Q) ↔Q F ¿? V ¿? F ¿? F ¿?
F F F V F V (T↮ Q) ↔ ∼Q ¿? V ¿?
3.2. Disyunción Débil F V V (⊥↮ Q) ↔ Q Es consistente o contingente
p q p∨q F F V
(T → Q)↔Q
V V V 4.2. Contradicción (⊥) 4. [(p→q)∧p∧(r→s)∧r]→(q∧s)
(⊥ → Q) ↔T
V F V p ∼p p∧∼p (Q → T)↔T VVV V VVV V VVV
F V V V F F V F F
(Q→⊥) ↔~Q
F F F F V F Es tautología
3.3. Disyunción Fuerte 4.3. Consistencia (Q) (T↔ Q) ↔Q
p q p↮q p q (⊥↔ Q) ↔∼Q 5. [(p→q)∧(r→s)]↔[(p∧r)→(q∧s)]
(p→q)∧(q→p)
V V F * Considera: Es consistencia
V V V
V F V T=V
V F F
F V V ⊥=F 6. [(p→q)∧(∼p→q)]↔[(p∨∼p)→q]
F V F
F F F Q=p Es tautología
F F V