TABLAS DE VERDAD: Una tabla de verdad es un arreglo que nos permite tener los posibles valores

de verdad de una proposición compuesta, a partir de los valores de verdad de las proposiciones simples.

Las tablas de verdad para los conectivos lógicos vistos anteriormente son las siguientes:

Símbolo natural Símbolo lógico Nombre en Lógica

Y ⋀ Conjunción
O ⋁ Disyunción
No ¬ Negación
Si… Entonces → Condicional
Sí y solo Sí ↔ Bicondicional

NEGACIÓN CONJUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICINAL

EJEMPLOS SOBRE TABLAS DE VERDAD

1. Construya la tabla de verdad para cada uno de los ejemplos anteriores.

EJERCICIOS:
2. Construir la tabla de verdad para las siguientes proposiciones.

¬ p→q

NOTA: Para construir las tablas de verdad tenga en cuenta los siguientes pasos:
a) El número de combinaciones para una tabla es 2 P donde “p” es el número de proposiciones.
b) En lo posible trate de nombrar cada paréntesis, corchete o llaves con letras auxiliares.
c) Primero determine los valores de verdad para los paréntesis, después los corchetes y por último
las llaves si las hay.
 d) Utilice las tablas de los conectivos vistas en clase para hallar los valores de verdad en estos
paréntesis, llaves o corchetes.
CLASE # 4
TAUTOLOGÍA: En una tabla de verdad se habla de tautología cuando los valores obtenidos en ella son
todos verdaderos.
CONTRADICCIÓN: Se presenta cuando los valores de verdad que se obtienen son todos falsos.
CONTINGENCIA: Es cuando los valores de verdad obtenidos son una combinación entre verdaderos y
falsos.

REGLAS DE INFERENCIA: Las reglas de inferencia son esquemas básicos de inferencia deductiva
que se suelen escribir poniendo cada premisa en una línea y la conclusión en otra línea al final. Toda
regla, como toda inferencia deductiva, tiene que estar basada en la implicación de la conclusión a partir
de las premisas. Veamos algunas de las más conocidas:
1. MODUS PONENDO PONENS: dice que si una premisa tiene la forma de condicional y la otra
afirma el antecedente entonces es válida la inferencia que consiste en afirmar el consecuente:

EJEMPLLO # 1
1. Si estudio trabajo social, entonces tengo clases los sábados Premisa 1
2. Estudio trabajo social Premisa 2
3. Tengo clases los sábados Conclusión
EJEMPLO # 2
1. Si llueve, entonces salgo Premisa 1
2. Llovió Premisa 2
3. Salí Conclusión

2. MODUS TLLENDO TOLLENS: Esta regla nos permite, a partir de un enunciado

condicional (P→Q), inferir la falsedad de su antecedente (P) si su consecuente (Q) también
es falso. Ejemplo:
EJEMPLO # 1

1. Si el pastel está hecho con azúcar, entonces el pastel está dulce. Premisa 1
2. El pastel no está dulce. Premisa 2
3. Por lo tanto, el pastel no está hecho con azúcar. Conclusión

EJEMPLO # 2
1. Si llueve entonces salgo
2. No llovió
3. No salí

4. MODUS TOLLENDO PONENS: Ya sea que P es cierta o Q es cierta; P no es cierta; por

lo tanto, Q es cierta. De la misma manera, si P es cierta o Q es cierta; Q no es cierta; por lo
tanto, P es cierta.

EJEMPLO # 1.
1. El perro es negro o es blanco Premisa 1
2. El perro no es negro Premisa 2
3. El perro es blanco Conclusión
EJEMPLO # 2.
1. Eres estudiante de trabajo social o de psicología
2. No eres estudiante de psicología
3. Eres estudiante de trabajo social

4. LEY DE LA CONJUNCIÓN: Si P es cierta y Q es cierta, entonces la conjunción “P y Q”

también es cierta.
 5. LEY DE LA SIMPLIFICACIÓN: Si la conjunción de P y Q es cierta, entonces P es cierta
y Q es cierta.

EJERCICIOS RESUELTOS: Usando las reglas vistas anterior mente demostrar lo que se solicita.
1. Demostrar q de las siguientes premisas