Parte 4: Inferencias y Silogismos

A partir de unas premisas verdaderas, se puede llegar a una(s) conclusin(es) verdadera(s)

usando un razonamiento deductivo, es decir haciendo inferencias que respectan la lgica
matemtica.

I Inferencias bsicas
Las inferencias siguientes son las ms sencillas y se entienden usando el sentido de los
conectores. Se pueden demostrar a partir de las tablas de verdad de las proposiciones: en
azul son las premisas, en verde es la conclusin y en amarillo la fila por la cual todas las
premisas son verdaderas, lo que permite inferir de manera deductiva que la conclusin es
verdadera. La barra de inferencia se puede leer: Si (premisas) entonces (conclusin).

1/ P P P P
V F V
P
F V F

Ejemplos: 1/ Si no es verdadero que Luis no tiene hijos entonces Luis tiene hijos.
2/ Si (x 4) entonces x = 4

2/ P P Q PQ
Q V V V
V F F
PQ F V F
F F F
Ejemplos: 1/ Si Mara baila y si Mara canta entonces Mara baila y canta.
2/ Si x es par y x es primo entonces x = 2 (porque 2 es el nico nmero par y primo)

P Q PQ
3/ PQ
V V V
P (y tambin Q) V F F
F V F
F F F

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc

Ejemplos: 1/ Si la cotorra vuela y pone huevos entonces la cotorra vuela.
2/ Si 3+2 = 5 y 1+1 = 2 entonces 3+2 = 5

4/ P Q P Q PQ
V V F
P
V F V
Q F V V
F F F
Ejemplos: 1/ Si Pedro viene hoy o maana pero no ambos y si Pedro viene hoy entonces
Pedro no vendr maana.
2/ Si x es par o x es impar y si x es par entonces x no es impar.

5/ PQ P Q PQ
P V V V
V F V
Q F V V
F F F
Ejemplos: 1/ Si Pedro viene hoy o maana y si Pedro no viene hoy entonces Pedro vendr
maana.

2/ Si x es divisible entre 2 o entre 3 y si x no es divisible entre 2 entonces x es divisible

entre 3.
P Q R PQ PR QR
6/ PQ
PR V V V V V V
QR
V V F V F F
R
V F V V V V
Ejemplo: x es par x es impar
V F F V F V
x es par x
F V V V V V
x es impar x
F V F V V F
x
F F V F V V

F F F F V V

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc

7/ PQ Para demostrar esta inferencia
PR hay que construir la tabla de verdad
QS que tiene 16 filas (porque hay 4 proposiciones).
RS

Ejemplo: La abuela o la ta de Marco cuidan a Marco esta tarde. Si la abuela de Marco lo

cuida entonces ella le comprar un regalito. Si la ta de Marco lo cuida entonces ella le
comprar un helado. Luego Marco va a recibir un regalito o un helado.

II Silogismos proposicionales

1/ Definicin:

Un silogismo es una forma de razonamiento deductivo que consta de 2 premisas y de una

conclusin que se infiere a partir de las dos premisas usando las reglas de la lgica
matemtica. As, si las dos premisas son verdaderas entonces la conclusin ser verdadera.

Ejemplos: 1/ Todos los peces nadan 2/ x = 9

El tiburn es un pez x<0

El tiburn nada x = -3

Los dos silogismos proposicionales siguientes son muy usados en las demostraciones y
argumentaciones, por eso tienen un nombre especial. El primero usa la implicacin y el
segundo la contrapuesta.

2/ Modus Ponens o MP
P Q PQ
PQ V V V
V F F
P F V V
Q F F V

Ejemplos:
1/ Si es lunes entonces yo trabajo 2/ ABCD cuadrado ABCD paralelogramo
hoy es lunes ABCD es un cuadrado
hoy yo trabajo. ABCD es un paralelogramo.

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc

3/ Modus Tollens o MT
P Q PQ
PQ
V V V
Q V F F
P F V V
F F V
Ejemplos:
1/ es adolescente no toma alcohol 2/ x divisible entre 4 x divisible entre 2
Toma alcohol x no es divisible entre 2
No es adolescente. x no es divisible entre 4.

III Silogismos Categricos

1/ Definiciones

Una proposicin es categrica cuando tiene una de las siguientes formas:

A: Universal Afirmativa: Todo S es P S P P

Ejemplo: Todos los insectos son animales

E: Universal Negativa: Ningn S es P o Todo S no es P S P=

Ejemplo: Ningn nio es mayor

S P

I: Particular Afirmativa: Algunos S son P S P

Ejemplo: Algunos mamferos son ovparos x

S P

O: Particular Negativa: Algunos S no son P S Pc

Ejemplo: Algunas aves son animales que no vuelan x

Pc

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc

2/ Cuadro lgico de Aristteles o Cuadro de oposicin de los juicios

Escribiendo las proposiciones categricas con los cuantificadores, obtenemos:

A: S, P(S) I: S, P(S)

E: S, P(S) O: S, P(S)

As, con las propiedades de los cuantificadores podemos decir que A O y E I. Por
eso se dice que A y O, y E y I son contradictorios.

Adems, A I y E O. Por eso se dice que A y I, y E y O son subalternos. Por la

contrapuesta esto es equivalente a decir que I A y O E.

Se puede resumir estas propiedades en el cuadro de oposicin de los juicios:

A E

subalterno contradictorios subalterno

I O

De estas propiedades matemticas, se puede deducir las inferencias bsicas siguientes:

A E I O
V F V F
F No se sabe No se sabe V
En cada fila, la premisa esta en
F V F V
azul y las conclusiones, cuando
No se sabe F V No se sabe
hay, estn en verde.
No se sabe F V No se sabe

F V F V
F No se sabe No se sabe V
V F V F

Por ejemplo, en la primera fila, si A es verdadero entonces, I es verdadero, porque A I y

O es falso porque A O. Luego E es falso porque E I. En la segunda fila, si A es falso
entonces, O es verdadero porque A O. No se puede decidir el valor de verdad de las dos
dems proposiciones que pueden ser verdaderas o falsas. Etc.

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc

3/ Figuras silogsticas

Un silogismo categrico es un silogismo por el cual las premisas y la conclusin son

proposiciones categricas.

Ejemplos: 1/ Algunos gatos son negros

Todos los gatos son animales

Algunos animales son negros

2/ Algunos mamferos son animales que vuelan

Algunos animales son mamferos

Algunos animales son animales que vuelan

3/ Ningn hroe es cobarde

Algunos soldados son cobardes

Algunos soldados no son hroes

En estos ejemplos podemos ver que hay tres trminos que aparecen: dos en la conclusin, y
uno comn a las dos premisas. El sujeto de la conclusin, S, se llama trmino menor, el
predicado de la conclusin, P, se llama trmino mayor, y el trmino comn a las dos
premisas, M, se llama trmino medio.

Los ejemplos arriba se pueden escribir de manera condensada de la manera siguiente:

Ejemplos: 1/ I : MP con S : animales

A: MS P : negros

I: SP M : gatos

2/ I: MP con S : animales
I: SM P : animales que vuelan

I: SP M : mamferos

3/ E : PM con S : soldados
I: SM P : hroe

O: SP M : cobarde

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc

El orden de los trminos de las premisas permite definir cuatro figuras silogsticas:
MP MP PM PM
SM MS SM MS
SP SP SP SP

El ejemplo 1 es de la segunda forma, el ejemplo 2 de la primera forma y el ejemplo 3 de la

tercera forma.

PUCMM MAT 113-T parte 2 Dra Julie-Christine Duboc