1. El documento define la verdad como la correspondencia entre el pensamiento y la realidad, y que una proposición "p" es verdadera si realmente ocurre "p". 2. Explica las tablas de verdad y las funciones de verdad como conjunción, disyunción, condicional y bicondicional. 3. Discute la clasificación de esquemas lógicos como tautologías, contradicciones y consistencias, y presenta algunos principios lógicos y leyes de tablas de verdad.

1. FUNCIONES DE
VERDAD
1. ¿Qué es la verdad?
* Correspondencia entre el
pensamiento y la realidad.
* Cuando “p” es verdad, ocurre
realmente que p
2. Tabla de Verdad
* Gráfico que permite hallar el
valor veritativo de los esquemas
* Si una fórmula tiene “n”
variables diferentes, entonces
tiene 2n filas
* Propuesto por Wittgenstein
3. Funciones de Verdad
3.1. Conjunción
p q p q
V V V
V F F
F V F
F F F
3.2. Disyunción Débil
p q p q
V V V
V F V
F V V
F F F
3.3. Disyunción Fuerte
p q p↮q
V V F
V F V
F V V
F F F
3.4. Condicional
p q p→q
V V V
V F F
F V V
F F V
3.5. Bicondicional
p q p q
V V V
V F F
F V F
F F V
3.6. Negación
p ´ p
V F
F V
4. Clasificación de esquemas
4.1. Tautología (T)
p q (p→q) ( p q)
V V V
V F V
F V V
F F V
4.2. Contradicción ( )
p p p p
V F F
F V F
4.3. Consistencia (Q)
p q (p→q) (q→p)
V V V
V F F
F V F
F F V
5. Principios Lógicos
Tautologías enunciadas por
Aristóteles en Organon
5.1. Identidad
p ´p p p→p
V V V
F V V
5.2. No Contradicción
p ´ p (p p)
V F V
F V V
5.3. Tercio Excluido
p ´ p p p
V F V
F V V
6. Leyes de tabla de verdad
(T Q) Q
( Q)
(T Q) T
( Q) Q
(T↮ Q) Q
( ↮ Q) Q
(T → Q) Q
( → Q) T
(Q → T) T
(Q→ ) ~Q
(T Q) Q
( Q) Q
* Considera:
T = V
= F
Q = p
7. Método Abreviado
[A → (B B)] → A
Ley de Reducción al Absurdo
1. Suponemos un valor
adecuado para la fórmula
2. Tratamos de hallar una
contradicción
3. Determinamos su
característica tabular
Ejemplos:
1. ( p → q) → ( p q )
V F F V F F
V F F
La fórmula es una tautología
2. ( p q ) q
V V V V V F
Es una contradicción
3. ( p q ) ( p q )
F ¿? V ¿? F ¿? F ¿?
¿? V ¿?
Es consistente o contingente
4. [(p→q) p (r→s) r]→(q s)
VVV V VVV V VVV
V F F
Es tautología
5. [(p→q) (r→s)] [(p r)→(q s)]
Es consistencia
6. [(p→q) ( p→q)] [(p p)→q]
Es tautología