Capítulo 3

Razonamiento Proposicional

La proposición
Cualquier enunciado que pueda decirse si es falso o verdadero se le llama proposición. Las
proposiciones son los elementos básicos de la lógica (Rosales, 1994). Cuando hablamos del
lenguaje usado en el discurso se le denomina también enunciado declarativo, descriptivo o
aseverativo. Las proposiciones pueden ser simples (atómicas) o compuestas (moleculares).
Las proposiciones simples son aquellas expresiones que están constituidas por un solo
sujeto, un solo verbo y un solo predicado. En otros términos, de una proposición simple no
podemos obtener otra proposición, ni siquiera el término "no", por ello se las llama
proposiciones atómicas, básicas o elementales. Las proposiciones compuestas son aquellas
expresiones que están constituidas por más de una proposición simple unidas por términos
llamados conectivas. Las conectivas son "y", "o", "si... entonces", "si y sólo si", "no", etc.

Conectivas lógicas
Las proposiciones pueden ser afectadas por ciertas partículas o expresiones que en el
lenguaje de la lógica se le llama conectivas, porque sirven para conectarlas y determinan la
verdad o falsedad de la proposición compuesta. También se les conoce como funciones
veritativas.

Ej.: Juan es honrado y Pedro es trabajador.

↓
Conectiva lógica

Negación Es la partícula o elemento lógico que se expresa en la palabra “no”. Esta

conectiva es una excepción debido a que no conecta proposiciones, pero cambia el valor de
verdad a la proposición a la que afecta. Se diría que es una “conectiva por cortesía”.

Ej.: La tarde esta nublada

La tarde no está nublada
Tabla de verdad
p ~p
V F
F V

Conjunción: Cuando dos proposiciones p y q están conectadas por la conjunción, para

que la proposición resultante (compuesta) sea verdadera deben ser verdaderos los dos
enunciados p y q. En lógica, la única conjunción es ‘y’ sustituyendo todas las otras
expresiones del lenguaje cotidiano.

Ej.: Dos más dos son cuatro y la tarde esta soleada.

Un triángulo es una figura plana con tres lados y tres ángulos internos.
 Tabla de verdad
p q p∩q
V V V
V F F
F V F
F F F

Disyunción inclusiva: Se lee: p o q o ambas. Si una de las proposiciones es verdadera el

resultado es verdadero.

Tabla de verdad
p q pvq
V V V
V F V
F V V
F F F

Una de las características que hacen esta regla compleja es su asimetría inferencial.
Asimetría inferencial: en una disyunción inclusiva, de la falsedad de una proposición se
concluye la verdad de la otra, pero de la verdad de una proposición no se puede concluir
nada sobre la otra.

Ejemplo A
Juan es inteligente o es estudioso
Juan no es estudioso
Por lo tanto, Juan es inteligente
Ejemplo B
Juan es inteligente o es estudioso
Juan es estudioso
Por lo tanto, no se puede concluir nada
sobre la inteligencia de Juan

Disyunción excluyente: Se expresa: o p o q, pero no ambos. Una proposición disyuntiva

excluyente es verdadera sólo cuando sus componentes tienen valores distintos. Es falsa
cuando sus componentes tienen valores iguales.

Tabla de verdad
p q pvq

V V F
V F V
F V V
F F F
Si una proposición es verdad la otra debe ser falsa y viceversa, los dos no pueden ser
iguales. O una cosa o la otra.
Ejemplo A Ejemplo B
O Juan es estudioso o es inteligente O Juan es estudioso o es inteligente
Juan es estudioso Juan no es inteligente
Por lo tanto, Juan no es inteligente Por lo tanto, Juan es estudioso

Ejercicios:
1.- Diga cuál de las siguientes proposiciones es Falsa o Verdadera a partir de siguiente cuadro:
A S

a) La letra no es A, o el número es 8.
b) La letra no es A, o el número es 9.

2.- Diga si éste razonamiento es válido o inválido.

La letra no es X o el número es 5
El número no es 5
Por lo tanto, la letra no es X.

3.- Diga si éste razonamiento es válido o inválido.

La letra no es X o el número es5
La letra es X.
Por lo tanto, el número es 5.

4.- Diga si éste razonamiento es válido o inválido.

La letra no es X o el número es 5.
La letra no es X.
Por lo tanto, el número es 5.

5.- Diga si éste razonamiento es válido o inválido.

La letra no es X o el número es 5.
El número es 5.
Por lo tanto, la letra es X.

6.- Diga si éste razonamiento es válido o inválido.

O Juan es inteligente, o es afortunado
Juan no es afortunado
Por lo tanto, Juan es inteligente.

7.- Diga si éste razonamiento es válido o inválido.

O Juan es inteligente, o es afortunado.
Juan es inteligente.
Por lo tanto, Juan no es afortunado.

8.- Diga si éste razonamiento es válido o inválido.

O Juan no es inteligente o es afortunado.
Juan es afortunado.
Por lo tanto, Juan es inteligente.

9.- Diga si éste razonamiento es válido o inválido.

O Juan es aplicado o no es cortes.
Juan es cortes.
Por lo tanto, Juan es aplicado.
Implicación material: p → q (si ocurre p, entonces ocurre q). Una proposición condicional
es la combinación de dos proposiciones con "si... entonces". La proposición que aparece
entre "si" y 'entonces" se llama antecedente, y la proposición que sigue a la palabra
"entonces" se llama consecuente.
Una proposición condicional es falsa sólo cuando el antecedente es verdadero y el
consecuente es falso. Es verdadera siempre que el antecedente sea falso o el consecuente
sea verdadero.

Tabla de verdad
p q p→q
V V V
V F F
F V V
F F V

Una proposición bicondicional se puede interpretar como la conjunción dé dos

condicionales. De ahí su nombre.

Ej.: Si la letra es A, entonces el número es 5

A-5 A-3 R-5 K-2

V F V V

Paradojas de la implicación material:

1. Un antecedente falso hace enunciado condicional verdadero, no importa lo
que sea el consecuente.
2. Un consecuente verdadero hace el condicional verdadero, no importa lo que
sea el antecedente.
3. Paradoja de la confirmación, según la cual un gato “gato negro; es una
confirmación del enunciado “si es un caballo, entonces es blanco”.

Ej.: gato-negro
Si es un caballo, entonces es blanco.
p=F q= F p→q=V
En el discurso ordinario no se maneja esas paradojas, pero en el discurso lógico sí debido a
que este último es veritativo-funcional.

Ej.: Si es un caballo, entonces es cuadrúpedo

Si los elefantes piensan, entonces 2 + 2 = 4

Si Juan es médico, entonces es profesional

Juan no es profesional
Por lo tanto, Juan no es médico
Equivalente material o doble implicación (Si y solo si). Una proposición bicondicional es
verdadera cuando, o sus dos componentes son verdaderos o sus dos componentes son
falsos. Es falsa cuando sus dos componentes tienen valores distintos.

p q p↔q
V V V
V F F
F V F
F F V

Ej.: Si y sólo si la letra es A, entonces el número es 5

Diga si los cuadros más abajo representan ejemplos que confirman la regla o no.

1) A 5 ¿V o F?
2) X 5 ¿V o F?

Ejercicios
Disyunción inclusiva
1- La letra es X o el número no es 8
El número no es 8
Por lo tanto,
2- La letra no es A o el número es 5
El número no es 5
Por lo tanto,

Perro Blanco Perro Negro Gato Blanco Gato Negro

3- Estoy pensando en uno de esos animales y en uno de esos colores.

Si una tarjeta tiene el animal en el que estoy pensando o el color en el que estoy
pensando, entonces la acepto, de lo contrario, la rechazo.
Acepto el gato blanco.
Diga cuales tarjetas estoy obligado a aceptar y a rechazar.

Disyunción excluyente
- O la letra no es K o el número es 5
El número no es 5
Por lo tanto,
 La letra es R o el número no es 7
El número es 7
 Por lo tanto,
 La letra no es X o el número es 9
El número es 9
Por lo tanto,

Gato Blanco Gato Negro Perro Blanco Perro Negro

Estoy pensando en uno de esos animales y en uno de estos colores.

Si una tarjeta tiene o el animal en el que estoy pensando o el color en el que estoy
pensando, entonces la acepto. Acepto el perro negro
Diga cual o cuales tarjetas estoy obligado a aceptar o a rechazar.

Razonamientos condicionales
El punto de partida de razonamientos condicionales es el enunciado o proposición
condicional (p →q) = Si ocurre P, entonces ocurre q.

Equivalentes lógicos del condicional:

Proposición contra positiva del condicional (-q → -p)
Si no ocurre q, entonces no ocurre p.

La inversa lógica: Solo si ocurre q entonces ocurre p.

Conversiones ilícitas del condicional

Conversa o inversa ilógica: (q → p = F)
Si ocurre q entonces ocurre P
Obversa: (-p →-q = F) Si no ocurre P, entonces no ocurre Q.

Ej.: Si Juan es psicólogo, entonces es profesional

- Contrapositiva: Si Juan no es profesional, entonces no es psicólogo
- Inversa lógica: Solo si Juan es profesional, entonces es psicólogo
- Conversa o inversa lógica: Si Juan es profesional entonces es psicólogo
- Obversa: Si Juan no es psicólogo, entonces no es profesional

Clases de razonamientos condicionales

1. Afirmación del antecedente (AA)
Si ocurre P, entonces ocurre Q
Ocurre P
Por lo tanto, Ocurre Q

Ej.: Si Juan es psicólogo, entonces es profesional

Juan es psicólogo
Por lo tanto, Juan es profesional

2. Negación del consecuente (NC)

Si ocurre P, entonces ocurre Q
No ocurre Q
Por lo tanto, No ocurre P

Ej.: Si Juan es psicólogo, entonces profesional

Juan no es profesional
Por lo tanto, Juan no es psicólogo

AA y NC son razonamientos condicionales válidos porque la conclusión se deduce

lógicamente de las premisas, no es un asunto probabilístico.

3. Afirmación del consecuente (AC):

Si ocurre P, entonces ocurre q
Ocurre Q
Por lo tanto, No podemos decir nada

Ej.: Si Juan es psicólogo entonces es profesional

Juan es profesional
Por lo tanto, No podemos concluir nada

4. Negación del antecedente (NA)

Si ocurre P, entonces ocurre Q
No ocurre P
Por lo tanto, No se puede decir nada

Ej.: Si Juan es psicólogo entonces es profesional

Juan no es psicólogo
Por lo tanto, No podemos concluir nada

Ejercicios:
1. Si la letra no es A, entonces el # es 8
La letra no es A
Por lo tanto, El # es 8 (afirmación del antecedente)

2. Si la letra no es A, entonces el # es 8
La letra es A (negación del antecedente)
Por lo tanto, No se puede sacar conclusión

3. Si ocurre X, entonces no ocurre y

Ocurre y (negación del consecuente)
Por lo tanto, No ocurre x

4. Si no ocurre p, entonces ocurre q

No ocurre q (negación del consecuente)
Por lo tanto, Ocurre p

Variedades de AA
1. Si ocurre p, entonces ocurre q
Ocurre p
Por lo tanto, Ocurre q

2. Si ocurre p, entonces no ocurre q

Ocurre p
Por lo tanto, No ocurre q.

3. Si no ocurre p, entonces ocurre q

No ocurre p
Por lo tanto, Ocurre q

4. Si no ocurre p, entonces no ocurre q

No ocurre p
Por lo tanto, No ocurre p

Variedades del NC:

1. Si ocurre p, entonces ocurre q
No ocurre q
Por lo tanto, No ocurre p

2. Si ocurre p, entonces no ocurre q

Ocurre q
Por lo tanto, No ocurre p

3. Si no ocurre p. entonces ocurre q

No ocurre q
Por lo tanto, Ocurre p

4. Si no ocurre p, entonces no ocurre q

Ocurre q
Por lo tanto, Ocurre p