LGICA

La LOGICA es el estudio de las reglas, leyes,

modos y formas de razonamiento, que permiten al
espritu alcanzar la verdad.
Tambin puede entenderse como la ciencia formal
que estudia la validez de la inferencia.
EXPRESIN FORMAL
Una expresin es FORMAL cuando su validez
depende de modo exclusivo de su forma y no del
contenido. Una conclusin es lgico formal, cuando
su validez depende exclusivamente de su forma y
no del contenido de la ley a que hace referencia.
ESQUEMA DE EXPRESIN
Si la expresin Hoy llueve en Lima, que puede
ser VERDADERA o FALSA, CORECTA o
INCORRECTA, dependiendo de que realmente
llueva o no en Lima; la escribimos Hoy llueve
en, o mejor an, Hoy llueve en x; estaremos
ante una expresin denominada esqueleto de
expresin o bien esquema de expresin.
Las variables, x, y, z significan lugares vacos en
los esquemas de expresiones que se refieren a una
determinada clase de objetos.

LGICA FORMAL
La Lgica puramente formal deja de lado la
materia, contenido de los juicios y de los
razonamientos, para no considerar ms que su
forma, es decir, la manera cmo una idea o
informacin est unida a otra, los juicios a otros
juicios, cualesquiera sean los objetos representados.

LGICA PROPOSICIONAL
PROPOSICIONES VF
Es decir, una PROPOSICIN (VF) es una
expresin, enunciado o informacin, acerca del cual
se puede afirmar que es verdadero o falso, pero no
ambas a la vez.
CONECTIVOS LGICOS U OPERADORES
Son trminos como y, o, cuando, entonces,
nini, no, es decir, por tanto, por ello,
por consiguiente, segn ello, porque, pues,
ya que, luego, etc., que sirven de enlace para
las proposiciones VF.

EJEMPLOS
-25 es mayor que 11
-Hay varios tipos de Democracia
-Todo cuadrado es un rectngulo y todo rectngulo
es un cuadrado
PROPOSICIONES (VF), ATMICAS Y
MOLECULARES
1)Las proposiciones ATMICAS, llevan un slo
sujeto y un slo predicado, y no llevan operador
lgico. Se llaman tambin proposiciones mondicas
o monarias.

EJEMPLOS
- 11<18.
- Belaunde fue presidente del Per.
- Todos los peces viven en el agua.
- Lima es la capital del Per.
- 18 es menor que 10.
2)Las
proposiciones
MOLECULARES
se
constituyen a partir de las atmicas o simples, estn
unidos por trminos de enlace o conectivos
lgicos..

EJEMPLOS
- Llueve y hace fro.
- 5 es mayor que 8 y menor que 3.
- Ests enfermo, porque no te cuidas.
- Si tienes dinero, eres feliz.
- Juan juega o estudia, ya que est de vacaciones.
- Todas las personas son inteligentes pero no todas
son responsables.
- La ciencia busca la verdad, la religin cree en su
verdad; por lo tanto la ciencia es una religin.
- 5>6 y 8<10
REPRESENTACIN SIMBLICA DE
PROPOSICIONES (VF) Y CONECTIVOS
LGICOS
Las proposiciones simples o atmicas se
representan por p, q, r, s, t, etc.
Las proposiciones compuestas o moleculares
representan por letras maysculas, as: A, B, C,
E, etc.
Los conectivos u operadores lgicos tienen
siguiente representacin simblica, que
exponemos en el cuadro siguiente:
HECHO POR MIGUEL AGIP MEGO
HECHO POR MIGUEL AGIP MEGO

se
D,
la
la

-2-

TIPO

SCHOLZ

PEANO
RUSSELL

SE LEE

no

Neg

Conj

Disy
dbil

Disy

fuerte

EJEMPLO

Juan no es
abogado
p
Los peces y
los reptiles
son rboles
p q
Estudias o juegas
p q

oo

O vas lunes o
vas martes
pq

si
Cond

entonce

Si entrenas, ganas
p q

s
si y

Bicon

slo
si

Es rectngulo
si y slo si
es un cuadrado
p q

JERARQUA DE LOS OPERADORES Y

SIGNOS DE COLECCIN (1)

JERARQUA POR USO DE PUNTOS

AUXILIARES (2)
Forma de agrupacin y jerarqua establecida en
Principia Matemtica.
Regla 1: Un punto es mayor en jerarqua ante
cualquier constante u operador lgico sin
P p
puntos, lo que resultar en un esquema
V F molecular conjuntivo.

EJEMPLOS
Jerarqua por signos de coleccin
1) p q s
(p q) s
2) r s t p
(r s) ( t
p)
Regla 2: La constante u operador lgico que tiene
mayor nmero de puntos ser el de mayor jerarqua
ante cualquier otro conectivo u operador.

EJEMPLOS
Con signos de coleccin
1) q r p s p
q r p s p
2) r p q s :

Sin usar signos de coleccin, establecemos el

siguiente orden jerrquico convencional: (1)doble
implicacin (2)implicacin (3)disyuncin
(4)conjuncin (5)negacin.
El uso de cualquier signo de coleccin permitir
precisar la naturaleza de una proposicin.

EJEMPLOS
Expresiones bien formuladas
p (q r)
p p r

: Es una conjuncin.
: Es una implicacin.

( r p q) : Es una negacin.
p s t q : Es una negacin
Expresiones mal formuladas
1) p

q r

r p q s q r
FUNCIN VERITATIVA O VALOR DE
VERDAD, DE LAS PROPOSICIONES VF Y
DE LOS CONECTIVOS LGICOS
Si la proposicin p es verdadera, su valor de verdad
es V. Si es falsa, es F.
Lo que se puede disponer en una tabla as:
Para dos proposiciones p y q, se dan cuatro
posibilidades:
p y q, verdaderas; p verdadera y q falsa
p falsa y q verdadera p y q falsas
p

V
V
F
F

V
F
V
F

2) p q s r
3) p (q r) (p q) (r s)
(p r) (r q)

: Es una doble
implicacin.

NEGACIN ()
La NEGACIN de una proposicin p, es la
proposicin que se escribe p, que es verdadera
si p es falsa y es falsa si p es verdadera.
p

V
F

F
V

-3-

CONJUNCIN ( )
La CONJUNCIN de dos proposiciones p y q es la
proposicin que se escribe p q, y es verdadera
slo si ambas lo son.
p

pq

V
V
F
F

V
F
V
F

V
F
F
F

RECPROCA, INVERSA CONTRAPOSITIVA

La condicional q p se llama RECPROCA de p

q. Por lo que p q y q p
se llaman PROPOSICIONES RECPROCAS.
La condicional p q se llama INVERSA de
p q. Por lo que p q y p q son
PROPOSICIONES INVERSAS.
La condicional
q p se llama
CONTRAPOSITIVA de p q. Por lo que

DISYUNCIN INCLUSIVA O DBIL ( )

La DISYUNCIN INCLUSIVA de dos
proposiciones p y q es la proposicin que se escribe
p q, y es falsa slo si ambas lo son.
p

pq

V
V
F
F

V
F
V
F

V
V
V
F

DISYUNCIN EXCLUSIVA O FUERTE ()

La DISYUNCIN EXCLUSIVA de dos
proposiciones p y q es la proposicin p q, que
es falsa si los valores de ambas son iguales, en otro
caso es verdadera.
p

p q

V V
V F
F V
F F

F
V
V
F

P q y q p son CONTRAPOSITIVAS.
CUADROS DE VERDAD O CUADROS
VERITATIVOS, DE PROPOSICIONES
MOLECULARES
Los CUADROS DE VERDAD o TABLAS DE
VERDAD, como los anteriores, nos permiten
establecer el valor de verdad o funcin veritativa de
cualquier esquema proposicional lgico formal
molecular. Para esto utilizamos lo descrito en las
tablas anteriores de los conectivos u operadores
lgicos. Teniendo en cuenta, adems, todo lo
estipulado para las jerarquas y los signos de
coleccin.
Es bueno seguir las siguientes sugerencias:
1) En la parte izquierda de la tabla, y debajo de
cada proposicin atmica se escriben sus valores de
verdad, de acuerdo a las posibilidades que se
obtienen con la frmula 2n, donde n es el nmero de
proposiciones atmicas.

EJEMPLO
CONDICIONAL ( )
La CONDICIONAL de dos proposiciones p y q es
la proposicin p q, y es falsa solamente si la
primera (antecedente) es verdadera, y la segunda
(consecuente), es falsa.
p
V
V
F
F

q
V
F
V
F

q V
F
V
V

BICONDICIONAL ( )
La BICONDICIONAL de dos proposiciones p y q
es la proposicin p q, y es verdadera slo si
sus valores correspondientes son iguales.
p

V V
V F
F V
F F

q
V
F
F
V

Para una proposicin atmica, n = 1; 21 = 2.

Para dos proposiciones atmicas, n = 2; 22 = 4.
Para tres proposiciones atmicas, n = 3: 23 = 8.
Tablas de verdad
p
V
F
p
V
V
V
V
F
F
F
F

V
V
F
F

V
F
V
F

V V
V F
F V
F F
V V
V F
F V
F F

HECHO POR MIGUEL AGIP MEGO

HECHO POR MIGUEL AGIP MEGO

-4-

2) Se copia debajo de cada proposicin atmica, en

la derecha de la tabla, sus valores que le
corresponden. Lo enumeramos con (1).
3) En base a las tablas de la negacin, conjuncin,
disyuncin, implicacin, doble implicacin y las
jerarquas de los signos de coleccin u otras, se
obtienen los valores de verdad, empezando por el
de menor jerarqua, hasta llegar al mayor, que ser
el valor de verdad de todo el esquema molecular.
Siempre enumerando los pasos a partir de (1).

EJEMPLO
r

( r s ) ( r

V
V

V
F

F
F

V
V

V
F

V
F

V
V

F
F

V
F

V
F

F F V F V V V
(4) (1) (2) (1) (3) (1) (2)

F
(1)

s)

2) CONTRADICCIN
p

(p

p)(r p) (q

F F F

F VF

VV

F F F

V FF

V V

F F F

F VF

F V

F F F

V FF

F F

F
F
F
F

V
V
F
F

V
F
V
F

F
F
F
F
1

F
F
F
F
2

F
V
F
V
1

VV
VV
VV
VV
2 1

V
V
V
F
3

V V
V V
F V
F F
1 2

V
F
V
F
1

V
V
V
V
1

F
F
F
F
4

3) CONTINGENCIA

La tabla anterior es una negacin.

OTRO EJEMPLO
p q

(p q)

r p ( q r)

V V

V V

V F

V F

F V
F V

V
F

F
F

V
V

F
F

V
V

F
V

V
V

V
V

V
V

V
V

V
V

V
F

F F

F F

V V V F V V V F V V
F V V F V V V F F F F
2) 3) 2) 5) 2) 3) 2) 4) 2) 3) 2)

(r

s)

F
(1)

F
(2)

F
(1)

V
(3)

V
(1)

EQUIVALENCIA LGICA
Una EQUIVALENCIA es una proposicin
tautolgica bicondicional.
En una equivalencia, el miembro del lado izquierdo
(MLI) del bicondicional, y el miembro del lado
derecho (MLD), son intercambiables, es decir, cada
uno de ellos, puede ser, con toda razn, sustituido
por el otro.

La tabla anterior, es una conjuncin (5).

LEYES TAUTOLGICAS
CLASES DE FUNCIONES VERITATIVAS
TAUTOLOGAS
Todos los valores de su matriz principal son
verdaderos.
CONTRADICCIONES
Todos los valores de su matriz principal son falsos.
CONTINGENCIAS
Su matriz principal contiene tanto valores
verdaderos como falsos.

Las tautologas que son proposiciones

CONDICIONALES o BICONDICIONALES, son
proposiciones notables, llamadas
IMPLICACIONES O EQUIVALENCIAS
NOTABLES. Entre las ms usuales tenemos:

IMPLICACIONES
(1) Modus Ponens (M. P.)

EJEMPLOS

(pq)pq

1) TAUTOLOGA

(2) Modus Tollens (M. T.)

p
V

q (p q) q q
V V V V V V V V

(pq)qp

V
F
F

F
V
F

(3) Silogismo Disyuntivo (S. D.):

V
F
F
(1)

F
V
V
(2)

F
V
F
(1)

F
V
F
(3)

F
V
F
(1)

V F
V V
V F
(4) (1)

( pq)pq (p q) qp

r)

-5-

(4) Silogismo Hipottico (S. H.):

(3)Contraposicin o Transposicin (Trans.):

(pq)(qr)(pr)

a) ( p q ) ( q p)

(5) Transitividad Simtrica (T. S.):

b) ( p q ) ( q p)

(pq)(qr)(pr)

(4) De Morgan (D. M.):

(6) Dilema Constructivo (D. C.):

a) ( p q ) ( p q ) ;

(pq)(rs) (pr)(qs)

(pq)(p q)

(7) Dilema Destructivo (D. D.):

b) ( p q ) ( p q ) ;

(p q) (r s) ( q s) ( p r)

(p q)( pq)

(8) Conjuncin (Conj.):

(5) Equivalencia Condicional (E. C.):

pq (pq)
a) ( p q ) ( p q )
(9) Adicin (AD.):
p ( p q ) q ( q p) r ( r s );
y as sucesivamente.

b) ( p q ) ( p q )
(6) Disyuntivo Exclusivo (D. excl..):
( p q ) ( p q ) ( p q )

(10) Simplificacin (Simp.):

(7) Bicondicional (B. C.):
(pq)p (pq)q
O tambin
: ( p q r ) p ( p q r ) r;
y as sucesivamente.
(11) Leyes del Absurdo (L.A.):
a) p ( q q ) p
b) p (q q ) p
c) ( p q ) ( p q ) p

EQUIVALENCIAS
(1) Doble Negacin o Involucin (Inv.):

(pq)(pq) (qp)
(8) Asociativa (Asoc.):
a) p ( q r ) ( p q ) r
b) p ( q r ) ( p q ) r
c) p ( q r ) ( p r ) r
(9) Equivalencia Distributiva (E. D.):
a) p ( q r ) ( p q ) ( p r )
b) p ( q r ) ( p q ) ( p r )
(10) Idempotencia (I. P.):
a) ( p p p ) p
b) ( p p p ) p

pp
(2) Conmutativa (Conm.):
a) ( p q ) ( q p)
b) ( p q) ( q p )
c) ( p q) ( q p )
HECHO POR MIGUEL AGIP MEGO

(11) Leyes de Absorcin (Ab.):

a) p ( p q ) p
b) p ( p q ) p
c) p ( p q ) ( p q )
d) p ( p q ) ( p q )

-6-

(12) Leyes de Identidad (I.):

a) (p V ) p

3) Simplificar: ( p q ) q p
Solucin

b) ( p V ) V

(pq)qp

c) ( p F ) F

( p q ) q p

D.M.

d) ( p F ) p

( pq) q p

E.C.

LEY DE IDENTIDAD O LEY REFLEXIVA (R)

( p q) q p

D.M.

Toda proposicin lgica es idntica a s misma:

( pq) qp

Inv.

pp pp
LEY DE NO CONTRADICCIN (N.C.)

( pq) qp

D. M.

Una proposicin no puede ser verdadera y falsa a

la vez:
(pp)

( p q ) q p

Inv.

( p q ) q p

D.M.

LEY DEL TERCIO EXCLUIDO (T.E.)

( p q) ( q q ) p

E.D.

Para toda proposicin lgica se cumple una y slo

una de las posibilidades, que sea verdadera o que
sea falsa; no hay otra posibilidad: p p

( p q ) F p

N.C.

pqp

Id.

SIMPLIFICACACIN DE EXPRESIONES
LGICAS FORMALES

ppq

Conm.

pq

Ab.

Simplificar una expresin lgica formal significa

conseguir una expresin ms simple que la original,
efectuando todas las sustituciones que autorizan las
leyes tautolgicas.

EJEMPLOS
1) Simplificar:

REPRESENTACIN SIMBLICA O
FORMALIZACIN DEL LENGUAJE
NATURAL
VARIABLES PROPOSICIONALES

(pq)

Solucin
(pq)

Letras minsculas que representan a las

proposiciones atmicas: p, q, r, s, etc.

EJEMPLOS

pq

D. M.

Lenguaje normal (LN)

pq

Inv.

Lima es la capital del Per

2) Simplificar:

(rq)

Leng. For. (LF)

p

Los rectngulos son paralelogramos

Solucin

58

(rq)

VARIABLES DE ESQUEMAS O
METAVARIABLES

(rq)

E.C.

(rq)

Inv.

rq

D.M.

rq

Inv.

Letras maysculas que representan a las

proposiciones moleculares: A, B, C, D, etc.

EJEMPLOS

-7-

Lima es la capital del Per y hoy es lunes

p

q
11 6, por tanto once tiene 45 letras
p

No apruebas el curso, porque no estudias

q

p
6 8 y, cuando no juego, no me siento bien
p
q

r
EL LENGUAJE NATURAL Y EL LENGUAJE
SIMBLICO, DE LOS CONECTIVOS
LGICOS
Cada
vez que se
necesite
representar
simblicamente, expresiones en lenguaje natural,
tendremos en cuenta el siguiente convenio de
traduccin:

Conjuncin.-

El smbolo , representar a
expresiones como: y, e, pero, sin embargo,
no obstante, empero, aun, adems, ms,
etc.

Disyuncin inclusiva o dbil.- El smbolo

representar a la conectiva o; cuando
significa o una o la otra, o ambas

Disyuntiva exclusiva o fuerte.- El smbolo

representar a la conectiva o; cuando
significa o una o la otra, pero no ambas a la vez

Condicional.- El smbolo representar a

expresiones como: entonces, pues, puesto
que, porque, ya que, dado que, a menos
que, etc.

Bicondicional.- El smbolo representar a

expresiones como: si y slo si, si y
solamente si, etc.

Negacin.- El smbolo representar a

expresiones como: no, no es cierto que, no se
da el caso que, no ocurre que, etc.
RAZONAMIENTOS Y DEMOSTRACIONES.
INFERENCIA
Un RAZONAMIENTO O INFERENCIA es una
serie de proposiciones llamadas PREMISAS, que
siempre se suponen verdaderas, seguida de una
proposicin final, llamada CONCLUSIN.
Una INFERENCIA es VLIDO si la conclusin
toma solamente un valor verdadero, como resultado
de la veracidad de las premisas. En otro caso, la
inferencia es INVLIDA.
PRUEBA FORMAL DE UNA INFERENCIA

Es el procedimiento que permite demostrar si un

esquema molecular es o no, lgicamente verdadero.
La prueba formal de una inferencia, demuestra si la
conclusin se desprende lgicamente, en base al
uso de las leyes tautolgicas, de sus
correspondientes premisas, o conjuncin de
premisas.
REGLAS PARA DEMOSTRAR LA VALIDEZ
O INVALIDEZ DE UNA INFERENCIA
I.-MTODO VF
(1) Se formaliza la inferencia, es decir, se traduce al
lenguaje simblico.
(2) Se determinan premisas y conclusin y se
ordena.
(3) Se construye un condicional que tenga como
antecedente a la conjuncin de las premisas, y
como consecuente con la conclusin.
(4) Se construye la respectiva tabla de verdad. Si el
esquema molecular es tautolgico, la inferencia es
vlida; si el esquema molecular es contradictorio o
contingente, la inferencia es invlida.
(5) Hay que tener en cuenta que, en el lenguaje
natural, la conclusin se reconoce porque va
inmediatamente despus de trminos como:
entonces, por lo tanto, en conclusin, en
consecuencia, etc.; o antes de los trminos como:
pues, ya que, porque, debido a que, etc.

EJEMPLOS
1) Si Ana despierta a Juan, Elena se enfadar. Ana
no despert a Juan, porque Elena no est enfadada.
Solucin
Premisas: Si Ana despierta a Juan, Elena se
enfadar.
p

q
Elena no est enfadada.
q
Conclusin: Ana no despert a Juan
p
Tabla de verdad:
p

(p

(1)

(2)

(1)

(3)

(1)

(4)

(1)

q)

-8-

Como la matriz final del esquema indica que es una

tautologa, la inferencia es vlida.
2) Verificar la validez de la siguiente inferencia:
( p q) (p r) q r

Como la inferencia ya est formalizada. Slo queda

utilizar su tabla de verdad, para verificar su validez
o invalidez.
Aqu se dan 8 posibilidades de valores de verdad,
ya que 23 = 8.
q

(p q ) ( p

r )

V V V F

V V F

V F

V F

V F

V V V

V F

V V

3) q r
_____________
r

Se lee: por consiguiente, por tanto,

entonces,etc.

Solucin

2) p q

(1) (2) (1) (3) (1) (2) (1) (4) (1) (5) (1)

Como la matriz principal indica que la proposicin

es una tautologa, la inferencia es vlida.

DEMOSTRACIN FORMAL
AFIRMACIONES
1) p

4) q r
5) r

EJEMPLOS

(s t) ( t p) ( p q) s q
Solucin
Disponemos las premisas y la conclusin con
numeracin, y luego realizamos la demostracin en
dos columnas, as:
1) s t
2) t p
3) p q
4) s
_________________
q

AFIRMACIONES
1) s t
2) s
3) t
4) t p
5) p

RAZONES

1) Premisa
2) Premisa
3) Silogismo disyuntivo en 1) y 2)
4) Premisa
5) Silogismo disyuntivo en 3) y 4)

6) p q 6) Premisa
7) Modus Ponens en 5) y 6)

3) Demostrar que la siguiente inferencia es vlida.

p ( p q) (q r) r

( p q) ( r s) ( p q) r

Solucin

1) p

DEMOSTRACIN FORMAL

7) q

1) Formalizar la siguiente inferencia:

Disponemos las premisas

enumerndolas as:

4) Premisa
5) Modus Ponens en 3) y 4)

2) Realizar una demostracin formal de la siguiente

inferencia:

DEMOSTRACIONES FORMALES
Utilizamos el siguiente procedimiento:

Todo esto se dispone en una tabla con dos

columnas, una para las afirmaciones y otra para las
razones.

1) Premisa

2) p q 2) Premisa
3) q
3) Modus Ponens en 1) y 2)

II.- UTILIZANDO LAS TAUTOLOGAS

a) Las afirmaciones las colocamos a la izquierda, y

las razones a la derecha, enumerndolas en forma
correlativa.
b) Utilizamos las premisas, u otras afirmaciones ya
demostradas, cuantas veces sea necesario, hasta
llegar a la conclusin.

RAZONES

Solucin
y

la

conclusin,

AFIRMACIONES
1) p q 1) Premisa

RAZONES

-9-

2) p q

2) Equivalencia condicional en 1)

3) ( p q) (r s)
4) r s
5) r

3) Premisa
4) M. P. en 2) y 3)
5) Simplificacin en 4)

III.- DEMOSTRACIN INDIRECTA

a) Empezamos suponiendo que la conclusin es
falsa. Es decir, utilizamos la negacin de la
conclusin como una premisa verdadera.
b) Realizamos la formalizacin de la demostracin.
c) Si en el transcurso de la demostracin, aparece
una contradiccin, es decir, el caso que una
proposicin y su negacin, aparezcan como
verdaderas; concluimos que la conclusin original
negada es verdadera, y que no podamos negarla,
sino aceptarla.
d) Aceptamos, finalmente, que la inferencia original
es vlida.

EJEMPLOS
1) Demostrar la siguiente inferencia:

( q r) q r

Solucin
Enumeramos las premisas, y procedemos a la
demostracin indirecta:
1) t
2) q t
3) q r
____________
sr
DEMOSTRACIN INDIRECTA
AFIRMACIONES

RAZONES

1) ( s r)

1) Hiptesis para demos. indirecta

2) ( s r)

2) Equivalencia condicional

3) s r 3) Equiv. de De Morgan, en 2)
4) s r

4) Involucin o doble negacin,en 3)

5) r
6) q r
7) q

5) Simplificacin en 4)
6) Premisa
7) Silogismo disyuntivo en 5) y 6)

8) q t 8) Premisa
9) t
9) Modus Ponens en 7) y 8)
10) t
10) Premisa
En los pasos 9) y 10) se presenta una contradiccin,
por lo que (s r) es verdadera, y la inferencia
original es vlida.

Solucin
Primero enumeramos, as:
1) q r
2) q
____________

IV.- MTODO ABREVIADO

a) Suponemos que la inferencia es falsa. Es decir,
consideramos el nico caso en el que el condicional
es falso: Que la premisa sea verdadera y la
conclusin sea falsa.

r
DEMOSTRACIN INDIRECTA
AFIRMACIONES

RAZONES

1) r

1) Hiptesis para demos. indirecta.

2) q r

2) Premisa.

3) q
4) q

3) Modus tollens en 1) y 2)
4) Premisa

Las afirmaciones 3) y 4) se contradicen.

Por tanto r no puede ser verdadera, y s lo es r.
Por lo que la inferencia original es vlida.

b) Con esta consideracin, suponemos valores para

la mayora de las expresiones lgicas atmicas.
c) Procesando esta informacin, completamos los
valores de las expresiones que an no lo tienen.
d) Si en algn paso aparece alguna contradiccin, la
inferencia original es vlida. Si por el contrario, no
aparece ninguna contradiccin, y se completa la
suposicin a), sin ningn problema, la inferencia
original es invlida.

EJEMPLOS
1) Verificar la validez de la siguiente inferencia:

2) Comprobar la validez de la siguiente inferencia:

t (q t) (q r ) (s r)

Juan aprueba el curso si estudia. No es el caso que

Juan aprueba el curso y sea promovido. Por lo tanto,
Juan no estudia o no es promovido.

- 10 -

Solucin
Traducimos la inferencia en lenguaje normal, al
lenguaje simblico o formalizado:

(p q) (q r) p r
a) Al suponer que la inferencia es falsa,
asumiramos que la matriz principal del antecedente,
encerrado en el corchete (conjuncin) es verdadera.
Y la matriz del consecuente, que es una disyuncin
dbil, es falsa:
( p q ) ( q r ) p r
(V)
(F)

EJERCICIOS DESARROLLADOS
I.- Traducir al lenguaje simblico o formalizado,
las siguientes proposiciones VF:
1) Coln descubri Amrica.
Solucin
Es una proposicin atmica.
Coln descubri Amrica: p
2) Es primavera y las plantas florecen

b) ( p q ) ( q
V
(V) V

r) p r
F (F) F

c) ( p q ) ( q r ) p r
V V V(V)V F F V F (F) F
d) Como al completar, en c), todos los valores, se
produce una contradiccin en la expresin
atmica q, que aparece como verdadera y falsa a
la vez; concluimos que la inferencia original, es
vlida, porque al negarla se produce el conflicto
descrito.
2) Verificar la validez de la siguiente inferencia:
El avin no despegar si el cielo est nublado. El
avin despegar y los jugadores de ftbol viajarn,
si el cielo no est nublado. Por tanto, los jugadores
de ftbol no han viajado ya que el avin no despeg.
Solucin
Traducimos el lenguaje natural al lenguaje
simblico, para precisar mejor el procedimiento:
El avin no despegar si el cielo est nublado. El
avin despegar y los jugadores de
( q p) ( q
r)
ftbol viajarn, si el cielo no est nublado. Por lo
tanto, los jugadores de ftbol no han

p ( r
viajado ya que el avin no despeg.
q)
a) (p q) p (q r) ( q r )
(V)
(F)
b) (p q) p (q r) ( q r )
V (V)
V
V ( F) F

Solucin
Es una proposicin molecular, por lo que
simbolizamos, tambin el conectivo.
Es primavera y las plantas florecen
p

q
3) o la Luna est hecha de queso o 2 + 3 = 5.
Solucin
Disyuncin dbil:
o la Luna est hecha de queso verde o 2+3 = 5
p

q
4) Mara est despierta o sigue durmiendo
Solucin
Disyuncin fuerte:
Mara est despierta o sigue durmiendo
p

q
5) Si son las seis entonces tengo hambre
Solucin
Es una proposicin molecular:
Si son las seis entonces tengo hambre
p

6) Juan viaja a Lima, si llega a tiempo al paradero

Solucin

c) (p q) p q r) ( q r )
V V V (V) F V FFV F V (F) F

Es una proposicin que est escrita en FORMA

ORDINARIA (F.O.), ya que primero est escrito el
consecuente y luego el antecedente. Por lo que la
escribimos en FORMA LGICA (F.L.), o el
smbolo del condicional lo escribimos invertido.

d) No aparece ninguna contradiccin, y se puede

construir la nica posibilidad donde el condicional
es falso; por lo que concluimos que la inferencia
original es invlida.

Si llega a tiempo, Juan viaja a Lima

Juan viaja a Lima, si llega a tiempo al paradero.

- 11 -

(p q ) (q p)

III.- Escribir a la derecha de cada expresin:

7) Como si y slo si tengo hambre

1) Su recproca:

Solucin

a) m n Solucin: n m

Es una proposicin molecular

b) p r

Solucin: r p

c) u q

Solucin: q u

Como si y slo si tengo hambre

p

II.- Indicar el conectivo de mayor jerarqua, que

es el que determina el tipo de proposicin, para
cada una de las siguientes:

2) Su inversa:
a) g h Solucin: g h

1) p q r

b) p q

Solucin: p q

Solucin

c) m z

Solucin: m z

La mayor jerarqua la tiene el condicional, por lo

que la proposicin podemos aclararla mejor as:

3) Su contrapositiva:
a) u p

Solucin: p u

2) r s . p q

b) q r

Solucin: r q

Solucin

c) p q

Solucin: q p

El punto se considera de mayor jerarqua que

cualquier otro conectivo, por lo que la proposicin
es una conjuncin, as;

IV.- Utilizando las equivalencias indicadas a la

derecha, escribe la expresin pedida:

p (q r)

(r s) ( p q)

a) (p q)
Equivalencia de De Morgan

3) p q. r . . r :: s p

Solucin
( p q) ( p q)

Solucin

b) d e
Equivalencia condicional

El conectivo que tiene 4 puntos es el de mayor

jerarqua, le sigue el que tiene 2 puntos. Por lo que
podemos escribir as:

(p q) r r (s p)
4) (p q) (r t) p
Solucin
Segn los signos de coleccin, el conectivo de
mayor jerarqua es la conjuncin.
5) ( m n): : p q ( r s) m
Solucin
Segn los signos de coleccin, la proposicin es un
bicondicional.

Solucin
de de
c) (p)
Doble negacin
Solucin
(p) p
d) (pq) (pq) (pq)
Simplificacin
Solucin
(pq) (pq) (pq) (pq)
e) p (q r)
Equivalencia distributiva

- 12 -

Solucin
p (q r) (p q) ( p r)

su expediente acadmico mejorar. Por tanto,

f) m (m n)
Ley de absorcin

(e m)

Solucin
m (m n) m

O tambin:

m
)

si estudia, su expediente acadmico mejorar

e ( e n) ( n m) ( e m)

1) e
2) e n

g) s V
Ley de identidad

3) n m
_________

Solucin
sVs

em
c) O Felipe arregla la avera, o Mara se enfadar.
Mara no est enfadada.
Por tanto, Felipe arregl la avera.

h) a F
Ley de identidad
Solucin
aFa
V.- Traducir al lenguaje simblico las siguientes
inferencias:
a) Si Ana despierta a Juan, Elena se enfadar.
Elena no est enfadada. Por tanto, podemos deducir
que Ana no despert a Juan.

Solucin
1) p q
2) q
________
p
O tambin:

(p q) q p

Si Ana despierta a Juan, Elena se enfadar. Elena

d) O Carlos va al colegio, o trabaja con su padre.

Si va al colegio, tendr acceso a un sueldo ms alto.
No tiene un sueldo ms alto.
Por tanto, Carlos trabaj con su padre

e
no est enfadada. Por tanto, podemos deducir que

Solucin

Solucin

e
Ana no despert a Juan
a
(a e ) e a

1) c t
2) c t
3) s
________
t

O tambin:

e) Si mi equipo gana el campeonato, ganar

10,000 soles y me ir de fiesta toda la noche. Si me
voy de fiesta toda la noche, tendr resaca por la
maana. O mi equipo gana el campeonato, o no me
llamo zorro rojo. Me llamo zorro rojo. Por tanto,
tendr resaca por la maana.

1) a e
2) e
_______
a
b) Pablo estudiar este trimestre. Si estudia, sus
notas sern mejores. Si sus notas son mejores, su
expediente acadmico mejorar. Por tanto, si
estudia, su expediente acadmico mejorar.
Solucin
Pablo estudiar este trimestre. Si estudia, sus notan
e
(e
sern mejores. Si sus notas son mejores,
n )

(n

Solucin
1) e (g f )
2) f r
3) e z
4) z
_______
r
O tambin: e ( g f) ( f r) (e z) r

- 13 -

t
VI.-Obtener una conclusin
conjuntos de premisas:

de

siguientes

a)
1) p q
2) r p
Solucin
Diseamos nuestro camino, ms o menos en la
siguiente forma:
i) En la premisa 1) podemos utilizar la Ley de
simplificacin, quedndonos con p
ii) En la premisa 2) podemos utilizar la implicacin
Modus tollens.

(Simplificacin)

tc
(Premisa)
Por consiguiente, por Modus ponens:
d) Si el mayordomo estaba trabajando la noche del
crimen, es sospechoso.
Si no estaba trabajando la noche del crimen,
entonces la vctima no fue envenenada.
Juan Prez, el detective del caso, encontr a su
tercer hijo encerrado en un armario y elimin al
mayordomo como sospechoso.
Solucin
Traducimos al lenguaje lgico formal.
1) t s

pq
p

(Premisa o dato)
(Simplificacin)

rp

(Premisa)

Por consiguiente, por Modus tollens: r

b)
1) ( p q) r
2) r
3) p s
Solucin
Los pasos a seguir sern, aproximadamente los
siguientes:
i) En 1) y en el parntesis utilizamos la
simplificacin, para quedarnos con p.
ii) Con el resultado de la premisa 1), y la 2),
utilizamos el silogismo disyuntivo.
iii) Finalmente con la premisa 3), utilizamos Modus
ponens.

2) t e
3) c s
Simplificamos 3), luego con 1) utilizamos Modus
tollens; y, finalmente, con 2), utilizamos Modus
ponens, as:
cs
(Premisa)
s
(Simplificacin)
ts
(Premisa)
t
(Modus tollens)
te
(Premisa)
Por consiguiente, por Modus ponens: e

EJERCICIO 01
1.- Escribir la recproca, inversa y contrapositiva de:

a) p r

b) m q

c) (p q) r

d) p (q r) ( r s)

( p q) r
pr
r
p

(Premisa)
(Simplificacin)
(Premisa)
(Silogismo disyuntivo)

2.- Determina la funcin veritativa de cada

proposicin, suponiendo que p y q son verdaderas, r
y s son falsas.
a) p r

b) (r s) q

ps
Por consiguiente: s

(Premisa)
(Modus tollens)

d) ( q s) r

e) (s r) (p q)

c) Si la temperatura baja de 0C, el agua se

congelar. La temperatura es ms baja de 0C, y el
agua no est suficientemente fra.
Solucin

c) q (p s)

f) (r p) ( s q)
3.-Indica cules de las siguientes expresiones son
tautologas.
a) p p
b) ( p p)
c) (q p ) ( p q)

d) ( p) p

e) ( p q) ( q r) ( p r)
En primer lugar, traducimos el lenguaje natural al
lenguaje lgico formal, as:
1) t c
2) t f
HECHO POR MIGUEL AGIP MEGO
Ahora, simplificamos 2) y luego utilizamos
Modus ponens con 1).
tf
(Premisa)

f) p ( q r) ( p q) r
4.- Escribe una expresin equivalente a cada una de
las siguientes, utilizando la equivalencia o ley
indicada a la derecha.
a) ( p q)
b) p ( q r)

Equivalencia de De Morgan.
Equivalencia distributiva.

- 14 -

c) ( p q) ( r s)
Equiv. conmutativa.
d) a (b c)
Ley asociativa.
e) V p (q r)Ley de identidad.
5.- Determina el conectivo de mayor jerarqua, y
nombra, segn ello, cada proposicin.
a) ( p q) r b) p q s : : m n
c) p q r s m t
d) m n p r : : q m
e) p ( q r) a (b c)

satisfecho, o no hay defectos en la obra. Estoy

satisfecho y no hay defectos.
10.- Propn la premisa para demostracin indirecta,
en los siguientes razonamientos vlidos:
a) 1) a b b) 1) b c
2) a b
2) c d
_______
3) d
b

c) 1) a b
2) b
3) c d
4) a (d e)

__________
ab

_______________
ec

6.- Escribe las proposiciones siguientes, de modo

que no aparezcan smbolos condicionales. Siempre
que sea posible utiliza las equivalencias de De
Morgan.
a) p q b) p (q r) c) a ( p t)
d) ( m n) ( q m)

e) ( b t) q

CIRCUITOS LGICOS
Circuito en serie.- Los interruptores estn
dispuestos uno a continuacin del otro.

f) ( a b) ( c d)
A

7.- Simplificar
moleculares:

las

siguientes

a) ( p q) p
b) ( p q) p
c) p ( q p) d) ( p q) ( p q)
e) ( a b) b a b
8.- Obtiene una conclusin de los siguientes grupos
de premisas:
a) 1) p q b) 1) l (m p) c) 1) s t
2) p
2) ( m p)
2) t a
3) r q
3) l w
3) a b
4) s
d) 1) ( a b) ( c d)
2) (a b)
3) ( c d) (f g)

e) 1) r ( p q)
2) r
3) p

+
p

proposiciones

Lgicamente, se lo representa como la conjuncin,

as: p q
Circuito en paralelo.- Los interruptores estn
dispuestos uno al lado del otro.
p
A

Lgicamente, se lo representa con la disyuncin

dbil, as: p q
Circuito mixto.- Los interruptores estn, algunos
en serie y otros en paralelo.
p

9.- Conseguir una conclusin vlida en los

siguientes razonamientos:

a) Si ingreso en un colegio mayor, tendr tiempo

libre. Si tengo tiempo libre, intentar jugar en el
equipo de ftbol. No he intentado jugar en el equipo
de ftbol.
b) Si ahorro har un crucero. Si no ahorro, estar
sin dinero. O invierto mi dinero, o no hago un
crucero. No invert mi dinero.
c) Si X es un nmero mayor que P, o Y es un
nmero mayor que P, entonces Z es un nmero
mayor que T. X es mayor que P.
d) O la casa est acabada a tiempo, o no pagar al
constructor. Si no le pago, entonces, o no estoy

+ B

s
n

Lgicamente se representa as:

(p q) { s ( r n) m }

HECHO POR MIGUEL AGIP MEGO

- 15 -

TABLAS VERITATIVAS PARA CIRCUITOS

LGICOS
CONJUNCIN
1)

2)

3)

4)

Pasa elect.
de A a B?
cerrado cerrado si
cerrado abierto no
abierto cerrado no
abierto abierto no
Construyamos una tabla para
anteriores:

+ B
+ B

q
V
F
V
F

+ B

los

pq
V
F
F
F

pq

PARA MS DE DOS INTERRUPTORES

En serie:
1)

2)

3)

4)

5)

6)

7)

circuitos

8)

DISJUNCIN INCLUSIVA O DBIL

p

+ B

p
V
V
F
F

Construimos una tabla para los circuitos anteriores:

B
q
p

Completa la tabla para todas las posibilidades

mostradas en los circuitos anteriores:
p

cerrado
cerrado
cerrado
cerrado
abierto
abierto
abierto
abierto

cerrado
cerrado
abierto
abierto
cerrado
cerrado
abierto
abierto

cerrado
abierto
cerrado
abierto
cerrado
abierto
cerrado
abierto

B
q

Pasa corriente
de A a B?

RESPUESTA: Slo la primera posibilidad es s,

cuando los tres interruptores estn cerrados, en
todos los otros casos la respuesta es no.

B
q

HECHO POR MIGUEL AGIP MEGO

p

cerrado
cerrado
abierto
abierto

cerrado
abierto
cerrado
abierto

Pasa corriente
de A a B?
si
si
si
no

- 16 -

II.- En paralelo:

1)

Solucin

5)

r
2)

Como p y q estn en serie, y estos, a su vez, estn

en paralelo con r, tenemos:
( p q) r

6)

b)

Solucin
3)

7)

r
4)

p
q

8)

Completa la siguiente tabla, para tres interruptores

conectados en paralelo:

p y q estn en serie, y a su vez, estn en

paralelo con q y r; y todos ellos estn en serie con p.
Por lo que el esquema molecular es:
p p r ( p q)
2) Grafica los circuitos elctricos para los
siguientes esquemas moleculares:
a) ( p q) r ( p r)
Solucin

cerrado
cerrado

cerrado
cerrado

cerrado
abierto

Pasar elct.
de A a B?

cerrado

abierto

cerrado

cerrado

abierto

abierto

abierto

cerrado

cerrado

abierto

cerrado

abierto

abierto

abierto

cerrado

abierto

abierto

abierto

r
p
p

q
q

b) (m n) ( p q) ( q r)
Solucin

m
p

RESPUESTA: Slo es no cuando los tres

interruptores estn abiertos, en todos los otros casos
la respuesta es s.

q
r

ESQUEMAS MOLECULARES DE CIRCUITOS

LGICOS
Siempre hay que tener en cuenta que, los circuitos
en serie se representan con la conjuncin, y los
circuitos en paralelo, con la disyuncin inclusiva o
dbil.

3) Usa el siguiente circuito para contestar las

cuestiones 1 a 8.
q
A
p

EJERCICIOS DESARROLLADOS
1) Cul es el esquema molecular de los siguientes
circuitos?
a)

B
q

Pasar la electricidad de A a B, bajo las

condiciones dadas?
1.- p cerrado q cerrado r cerrado
2.- p cerrado q cerrado r abierto
3.- p cerrado q abierto r cerrado
4.- p cerrado q abierto r abierto
5.- p abierto q cerrado r cerrado
6.- p abierto q cerrado r abierto
7.- p abierto q abierto r cerrado
8.- p abierto q abierto r abierto

- 17 -

Solucin
1) no
3) si
5) no
7) si

Tabla lgica

2) s
4) no
6) s
8) s

OPERACIONES CON CONJUNTOS Y

LGICA
CONJUNTOS IGUALES
A = B (x A x B) (x B x A)
x Ax B
SUBCONJUNTOS
AB x Ax B
INTERSECCIN DE CONJUNTOS

pq

COMPLEMENTO DE UN CONJUNTO
x A ( x A ) ( x U )
A = x / ( x A) ( x U )

Tabla pertenencia
A

x ( A B) ( x A) ( x B)

Tabla lgica
p

A B = x / ( x A) ( x B)

DIFERENCIA DE CONJUNTOS
x ( A B ) ( x A) ( x B)

Tabla de pertenencia

AB

A B = x / ( x A) ( x B)

( B A ) ( x B) ( x A)

B A = x / ( x B) ( x A)

Tabla de pertenencia

Tabla lgica
p
V
V

q
V
F

pq
V
F

AB

Tabla lgica

UNIN DE CONJUNTOS
x (A B) ( x A) ( x B)
A B = x / ( x A) ( x B)

pq

Tabla de pertenencia
A B

A B

Tabla de pertenencia
A

BA

- 18 -

Tabla lgica

qp

LEYES DEL
LEYES DEL
ALGEBRA
ALGEBRADE
DE CONJUNTOS
PROPOSICIONES
LEYES DE IDEMPOTENCIA

DIFERENCIA SIMTRICA DE CONJUNTOS

x

ALGEBRA DE CONJUNTOS Y
ALGEBRA DE PROPOSICIONES

( A B)

( x A) ( x B) ( x B) ( x A)

A A = A
A A =A

pp p
pp p

LEYES ASOCIATIVAS
( A B) C
= A ( B C)
( A B) C
= A ( B C)

( p q) r
p ( q r)
(p q) r
p ( q r)

LEYES CONMUTATIVAS
A B =
x / (x A) ( x B) ( x B) ( x A)

A B =B A
A B =B A

(p q) ( q p)
( p q) (q p)

LEYES DISTRIBUTIVAS
Tabla de pertenencia
A

A B

A ( B C)
= (A B) (A C)
A ( B C)
= (A B) (A C)

p(q r)
( p q ) ( p r )
p(q r)
( p q ) ( p r )

LEYES DE IDENTIDAD
pF p

Tabla lgica

A =A
A U= U
A =
A U=A

LEYES DEL COMPLEMENTO

pq
F

A A = U
A A =
(A) = A
U =
=U

pV V
pFF
pVp
p p V
p p F
( p) p
VF
FV

LEYES DE DE MORGAN
HECHO POR MIGUEL AGIP MEGO

( A B )
= A B
( A B )
= A B

(pq)
pq
(pq)
pq

- 19 -

EJERCICIO 02

LGICA PREDICATIVA

1.- Escribe la tabla de verdad para cada una de las

siguientes expresiones moleculares:

a) p ( q r) ( m n)

Es la lgica que estudia las relaciones formales y la

estructura interna de las proposiciones categricas.
Proposiciones que utilizan en su estructura trminos
como: todos, ninguno, algunos, etc.
Las proposiciones categricas afirman o niegan que
una clase o conjunto, est incluido total o
parcialmente en otra clase o conjunto.
Para manejar estas proposiciones se utiliza el
lenguaje booleano y los diagramas de Venn.

b) p m ( p q) r

CLASE.- Designamos as al conjunto cuyos

elementos tienen una propiedad comn.

c) ( p p) ( p q )

Ejemplos:
- hombres- peses - filsofos- rectngulos -etc.

a) p p

b) ( p p)

c) ( p p)

2.- Dibujar el circuito elctrico para las siguientes

expresiones moleculares:

d) ( a b ) ( p q ) ( a b )

NOTACIN DE LAS CLASES

3.- Escribir la expresin lgica molecular que

corresponde a cada circuito:
a)

q
B

Las clases, como son conjuntos, las denotamos con

letras maysculas, as:
- carnvoros: C - postulantes: P
- hombres: H
- filsofos: F
DIAGRAMAS DE CLASES Y LENGUAJE
BOOLEANO

b)

I.- PARA UN CONJUNTO (S)

u
q

s
p

Clase Universal.- Clase en la cual se encuentran

contenidos los dems conjuntos.
Su diagrama es un cuadriltero, y su smbolo es U.

q
p

U
r

4.- Escribe la tabla de pertenencia y la tabla lgica

para:

Clase Vaca.- Sinnimo de conjunto vaco. Su

diagrama es un crculo sombreado, y se denota con
S= .

a) A ( B C)

S=

S
b) A
c) A

d) A A
e) ( A)

Complemento de una Clase.- Conjunto de

elementos que pertenecen a la Clase Universal, pero
no a la Clase en mencin. Su diagrama es la zona
de U que no est en la clase mencionada,
sombreada. Se denota con una barra sobre la letra
que denota a la clase mencionada.

f)
g) A

S =

- 20 -

Clase no vaca.- Tiene por lo menos un elemento,

el que se marca con un aspa (x), en el interior de la
clase. Se denota: S .

Conjunto no vaco (P)

U
S

Complemento no vaco.- Significa que el

complemento de la clase indicada tiene por lo
menos un elemento. Se nota con un aspa (x), dentro
del cuadriltero, pero fuera del crculo.

xx

II.- PARA DOS CONJUNTOS (S, P)

Conjunto vaco (S):

III.- PARA TRES CONJUNTOS (S, P, R)

CONVENIO
El complemento de un conjunto S lo denotaremos
con S
La interseccin de dos conjuntos lo denotamos,
escribiendo seguidas, las letras que simbolizan a
dichos conjuntos.

S=
Conjunto vaco (P)
S

As: SP, significa S P; S P, significa S P

P

PARA DOS CONJUNTOS

SP

SP

P=
Conjunto no vaco (S)

SP

S P
PARA TRES CONJUNTOS

S PR

SPR

SPR

S PR

SPR

xx
SPR
S

SP R

SP R

- 21 -

DESCRIPCIN DE ZONAS SOMBREADAS

Usando la simbologa anterior podemos describir
figuras sombreadas, as:

ELEMENTOS FORMALES DE LAS

PROPOSICIONES CATEGRICAS
A.- CUANTIFICADOR(CANTIDAD).- Trmino
que seala la cantidad de elementos de la clase
SUJETO, que estn en relacin con la clase
PREDICADO.
Cuantificador universal.- El trmino se refiere a
todos y cada uno de los elementos de una clase o
conjunto. Lleva trminos como: todos los,
ningn, ninguno, etc.

S P = (Todo S es P)

S
S

Cuantificador particular.- Trmino que se refiere

slo a una parte de los elementos de una clase.
Utiliza palabras como: algn, algunos,
algunas. Etc.
B.- SUJETO.- Trmino independiente que cumple
la funcin de sujeto en la proposicin.
C.- CPULA O VERBO.- Relaciona El sujeto con
el predicado de la proposicin. Generalmente es el
verbo SER o ESTAR. Su notacin se hace con S.

P S = (Todo S es P)

D.- PREDICADO.- Trmino independiente que

cumple la funcin de predicado en la proposicin.
Su notacin se hace con P.
CALIDAD O CUALIDAD DE UNA
PROPOSICIN
Indica si la proposicin es afirmativa o negativa. Lo
que se realiza a travs del verbo.

SP = (Ningn S es P)

EJEMPLOS
1) Todos los vertebrados son animales
S
P
(Universal afirmativa): UA

2) Algunos pjaros son rojos

S
P
(Particular afirmativa): PA

SP (Algunos S son P)

3) Ningn nio es ladrn de nacimiento

S
P
(Universal negativa): UN
4) Los hombres con sabidura son los ms santos
S
P
(Universal afirmativa): UA

S P (Algunos S no son P)

5) Algn da de la semana no est escrito con r.

(Particular negativa):

PN

HECHO POR MIGUEL AGIP MEGO

S P (Algunos P no son S)

- 22 -

TIPOS DE PROPOSICIONES CATEGRICAS

NOT

FORMA

FORMA
TPICA
SaP

FRMULA
BOOLEANA

ESQUEMA DE LAS PROPOSICIONES

CATEGRICAS

CANTIDAD Y CALIDAD

OPERACIN
DE CONJUNTO

SP=

inclusin total

SeP

SP =

exclusin total

SiP

SP

inclusin parcial

SoP

SP

exclusin parcial

Todo S es

Universal afirmativa (UA)

Ningn S es P

Universal negativa (UN)

Algn S es P

Particular afirmativa (PA)

Algn S no es P Particular negativa (PN)

DISTRIBUCIN DE TRMINOS
Un trmino est distribuido en una proposicin
categrica cuando se refiere a la totalidad de los
trminos de la clase designada por dicho trmino.

CANT CAL FORMA

LG
U
A
Todo S
Es P
U
N
Ningn S
Es P
P
A
Algunos S
son P
P
N
Algunos S
no son P

MODO

A
E
I
O

APLICACIN DE FRMULAS BOOLEANAS

El manejo de las proposiciones categricas,
utilizando las frmulas booleanas, se realiza
teniendo en cuenta los siguientes casos:
Primer caso.- Si en una proposicin categrica, el
SUJETO o el PREDICADO estn negados, se
transforma en su forma tpica correspondiente y la
negacin pasa como complemento del trmino.

EJEMPLO

En el tipo a, el trmino distribuido es el sujeto.

Algunos no universitarios son incultos.

Forma tpica: (S i P)

En el tipo e, el sujeto y el predicado estn

distribuidos.

D iV

En el tipo i, no hay trmino distribuido.

En el tipo
predicado.

o, el trmino distribuido es el

Frmula booleana: S i P
SP ; es decir: D i V D V

CUADRO DE BOECIO
a

CONTRARIAS

SUBALTERNANTE

e
SUBALTERNANTE

CONTRADICTORIAS

SUBALTERNA

SUBALTERNA

SUBCONTRARIAS

Segundo caso.- Si en una proposicin categrica, el

CUANTIFICADOR se encuentra NEGADO; se
introduce la negacin a la frmula booleana.

EJEMPLO
El cuadro anterior, se llama tambin cuadro de
oposiciones, y es atribuido al filsofo de la edad
media Boecio

Es imposible que todo len sea cordero

Forma tpica: (S a P) : ( L a C)

HECHO POR MIGUEL AGIP MEGO

- 23 -

Frmula booleana: ( L a C) : ( L C = )

I.-ESTRUCTURA FORMAL

L C

Toda inferencia categrica o silogismo categrico,

consta de tres elementos formales:

PREMISA MAYOR (PM).- Proposicin

categrica que contiene al trmino mayor y al
trmino medio.

Tercer caso.- Si en una proposicin categrica, el

CUANTIFICADOR es UNIVERSAL y el verbo
copulativo est NEGADO, la negacin funciona
como si negara al cuantificador.

EJEMPLO
Todo hombre no es mujer.
Funciona as: No todo hombre es mujer.
Forma tpica: ( S a P) : ( H a M)
Frmula booleana: ( H a P) : ( H M = )
H M

PREMISA MENOR (Pm).- Proposicin

categrica que contiene al trmino medio y al
trmino menor.
CONCLUSIN (C).- Proposicin categrica que
se deriva de las premisas, mayor y menor.
Se diferencia de las premisas, mayor y menor,
porque contiene slo al trmino mayor y al trmino
menor.
Premisa mayor (PM)
Premisa menor (Pm)
________________
Conclusin (C)
II.-TRMINOS

Cuarto caso.- Cuando el cuantificador, TODO,

NINGUNO, ALGN, no se encuentran en forma
explicita, se debe interpretar y transformar a una de
las formas tpicas, segn el contenido de la
proposicin categrica.

EJEMPLOS
a) Los atletas son ordenados
Todo atleta es ordenado.

TRMINO MAYOR (P).- Clase o conjunto que

cumple la funcin de ser siempre PREDICADO EN
LA CONCLUSIN, estando tambin contenida en
la premisa mayor; como sujeto o predicado.
TRMINO MEDIO (M).- Es la clase o conjunto
contenido EXCLUSIVAMENTE en las premisas
mayor y menor. No est EN NINGN CASO en la
conclusin.
TRMINO MENOR (S).- Clase o conjunto
contenido en la PREMISA MENOR, como sujeto o
predicado.

EJEMPLO
b) Hay plantas que son carnvoras
Algunas plantas son carnvoras.
c) Un rbol no es eucalipto
Algn rbol no es eucalipto.

PM: Toda fruta es vegetal

(Toda F es V)
P: Vegetal (V)

d) Un gobernante es honesto
Algn gobernante es honesto.

Pm: Toda naranja es fruta

(Toda N es F)
M: Fruta (F)
_________________________

SILOGISMO CATEGRICO

C: Toda naranja es vegetal

INFERENCIA CATEGRICA

(Toda N es V)
S: Naranja(N)

Definicin.- El silogismo categrico es una

inferencia mediata constituida por slo dos
premisas, de las que se obtiene una tercera
proposicin categrica llamada conclusin.

FORMA DE UN SILOGISMO CATEGRICO

La forma del silogismo o inferencia categrica, lo
determinan su modo y su figura.
FORMA = MODO + FIGURA

- 24 -

FIGURAS DEL SILOGISMO

De acuerdo a la posicin del trmino medio (M), en
las premisas del silogismo, se conocen cuatro
figuras.

EJEMPLOS
1) PM

Todo parlamentario es funcionario

M P
Alguna mujer es parlamentaria
S M
___________________________
Alguna mujer es funcionaria
S P

Pm

Primera.- El trmino medio es sujeto de la premisa

mayor y predicado de la premisa menor.
C

P a F
M i P
_______
M i F

Segunda.- El trmino medio es predicado de la

premisa mayor y predicado de la premisa menor.

Modo: aii

Tercera.- El trmino medio es sujeto de la premisa

mayor y sujeto de la premisa menor.

2) El modo del silogismo de la primera figura

anterior es aaa

Cuarta.- El trmino medio es predicado de la

premisa mayor y sujeto de la premisa menor.

El modo del silogismo de la segunda figura anterior

es aee

RESUMEN:

El modo del silogismo de la tercera figura anterior

es aii

(PM)
(Pm)

1 FIG 2 FIG 3 FIG 4 FIG

M P
P M M P P M
S M S M M S M S

El modo del silogismo de la cuarta figura anterior

es iai
* Cada figura del silogismo tiene 64 modos, de los
cuales slo 24 son vlidas. De las cuales 19 llevan
nombres latinos.

EJEMPLOS
Primera figura:
PM
Pm
___
C

Toda fruta es vegetal

Toda naranja es fruta
________________
Toda naranja es vegetal

FaV
NaF
_____
NaV

M P
S M
_____
S P

Segunda figura:
PM
Pm
___
C

Toda ameba es protozoario

AaP P M
Ningn metazoario es protozoario M e P S M
__________________________ _____ _____
Ningn metazoario es ameba
MeA S P

Tercera figura:
PM
Pm
___
C

Todo trapecista es atleta

Algn trapecista es cubano
______________________
Algn cubano es atleta

TaA
Ti C
_____
CiA

M P
M S
______
S P

a
a
a
e
a
a
i
a
a
o
a
a

a
a
e
e
a
e
i
a
e
o
a
e

a
a
i
e
a
i
i
a
i
o
a
i

a
a
o
e
a
o
i
a
o
o
a
o

a
e
a
e
e
a
i
e
a
o
e
a

a
e
e
e
e
e
i
e
e
o
e
e

a
e
i
e
e
i
i
e
i
o
e
i

a
e
o
e
e
o
i
e
o
o
e
o

a
i
a
e
i
a
i
i
a
o
i
a

a
i
e
e
i
e
i
i
e
o
i
e

1 FIGURA

3 FIGURA

Brbara
Celerent
Darii
Ferio
Aai
Eao

Darapii
Felapton
Datisi
Disamis
Bocardo
Ferison

2 FIGURA

4 FIGURA

Cesare
Camestres
Festino
Baroco
Aeo
Eao

Bamalip
Camenes
Dimatis
Fesapo
Fresison
Aeo

Cuarta figura:
PM
Pm
___
C

Algn hombre es nio

Todo nio es alegre
___________________
Algn alegre es hombre

H iN
P M
NaA M S
_____ ______
AiH S P

MODOS DEL SILOGISMO

Provienen de la combinacin de las letras, a, e,
i, o, que representan los tipos de proposiciones
categricas, en las tres posiciones, dos premisas y
en la conclusin.

* Modo Vocales

a a
i i
i o
e e
i i
i o
i i
i i
i o
o o
i i
i o

a a a a
o o o o
a e i o
e e e e
oo o o
a e i o
i i i i
o o o o
a e i o
o o o o
o o o o
a e i o

- 25 -

** Como hay 64 modos para cada figura; son, en

total, 256 modos. De los cuales slo los mostrados
a la derecha de la tabla son vlidos.

REGLAS DEL SILOGISMO

Los trminos y las proposiciones deben cumplir
ciertas funciones, para que el silogismo sea
VLIDO. Basta que se incumpla una de ellas, para
que el silogismo sea INVLIDO.

REGLAS DE LOS TRMINOS DEL

SILOGISMO
1.- Todo silogismo ha de constar de tres trminos:
Medio, mayor y menor.
El siguiente silogismo incumple esta ley:
Todas las patas son animales
Las patas son partes de la mesa
Algunas partes de la mesa son animales.
2.- El trmino medio nunca debe aparecer en la
conclusin. Solamente en las premisas.
3.- El trmino medio debe estar distribuido por lo
menos en una de las premisas.
4.- Los trminos no pueden tener mayor extensin
en la conclusin que en las premisas. Es decir no
puede haber en la conclusin un trmino distribuido,
si no est tambin distribuido en la correspondiente
premisa.
El siguiente silogismo incumple esta ley:
Algunos limeos son corteses
Ningn iqueo es limeo
Ningn iqueo es corts.
CANTIDAD DE LOS TRMINOS
La cantidad del trmino sujeto lo da el cuantificador.
El individual puede ser tomado, como ya vimos,
como particular.
La cantidad del trmino predicado es universal, si la
proposicin es negativa; ser particular, si la
proposicin es afirmativa.
REGLAS DE LAS PROPOSICIONES DEL
SILOGISMO

particular con respecto a lo universal y a lo

negativo con respecto a lo afirmativo.
As si una de las premisas es particular, la
conclusin ser particular; si una es negativa, lo
ser tambin la conclusin.
A.- PRUEBA DE VALIDEZ O INVALIDEZ DE
LOS SILOGISMOS POR LOS MODOS Y LAS
REGLAS
Un silogismo categrico de la forma tpica es vlido
si y slo si est en la lista de los modos vlidos.
Caso contrario, infringe por lo menos una de las
reglas del silogismo, lo que determina
una
FALACIA.

EJEMPLOS
(1) P. N. Algunos animales no son carnvoros
M
P
U. A. Todos los mamferos son animales
S
M
P. N. Algunos mamferos no son carnvoros
S
P

oao 1
SILOGISMO INVLIDO. INFRINGE LA REGLA N 3
(FALACIA DEL MEDIO ILCITO)

(2)U. N. Ningn hombre es ladrn

M
P
U. A. Todos los hombres son vertebrados
M
S
U. N. Ningn vertebrado es ladrn
S
P

eae 3
SILOGISMO INVLIDO. INFRINGE LA REGLA N 4
(FALACIA DEL MENOR ILCITO)

(3)P. N. Algunos polticos no son deshonestos

P
M
U. A. Todos los alcaldes son deshonestos
S
M
P. N. Algunos alcaldes no son polticos
S
P

oao 2
SILOGISMO INVLIDO. INFRINGE LA REGLA N 4
(FALACIA DEL MAYOR ILCITO)

(4) Todos los cuadrados son cuadrilteros

Todos los cuadrilteros son polgonos
Algunos polgonos son cuadrados

aai 1

I.- De dos premisas afirmativas, la conclusin es

afirmativa. No puede seguirse una conclusin
negativa.

SILOGISMO VLIDO (BAMALIP)

II.- De dos premisas negativas nada se concluye.

5) Ningn plomero es ocioso

Todos los obreros son plomeros
Ningn obrero es ocioso

III.- De dos premisas particulares nada se concluye.

IV.- La conclusin siempre sigue a la premisa ms
dbil. Se entiende como la parte dbil, a lo

eae 1
SILOGISMO VLIDO (CELARENT)

- 26 -

(6) U. N. Algunos Diplomticos no son cultos

U. N. No todo diplomtico es abogado
NO TIENE CONCLUSIN LGICA
(POR LA REGLA II)

SILOGISMO INVLIDO. INFRINGE LA

REGLA N 3

7) Ningn empresario es indulgente

No todo artista es empresario
NO TIENE CONCLUSIN LGICA
(POR LA REGLA II)

13) U. N. Todos los jubilados no son ancianos

P. N. Algunos trabajadores son jubilados

8) Algunos demcratas no son conservadores

Todos los conservadores son ilusos
Algunos ilusos no son demcratas

14) U. N. Ningn minusvlido es feliz

M
P
P. A. Algunos pobres son minusvlidos
S
M
P. N. Algunos pobres no son felices
S
P

oao 4
SILOGISMO INVLIDO. INFRINGE LA
REGLA N 4
FALACIA DEL MAYOR ILCITO)
9) Ningn pastel es animal
M
P
Algunos pasteles son dulces
M
S
Algunos dulces no son animales
S
P

eio 3

(FALACIA DEL MEDIO ILCITO)

NO TIENE CONCLUSIN LGICA

(POR LA REGLA II)

eio 1
SILOGISMO VLIDO (FERIO)
15) P. A. Algunos arquitectos son docentes
M
P
U. A. Todos los arquitectos son creativos
M
S
P. A. Algunos creativos son docentes
S
P

iai 3
SILOGISMO VLIDO (DISAMIS)

SILOGISMO VLIDO (FERISON)

16) U. N.
10) Todos los monos son mamferos
P
M
Todos los perros son mamferos
S
M
Algunos perros son monos
S
P

aai 2

P. A.
P. N

Ningn inversionista es inseguro

P
M
Algunos inseguros son jvenes
M
S
Algunos jvenes no son inversionistas
S

eio 4

SILOGISMO INVLIDO. INFRINGE LA

REGLA N 3
(FALACIA DEL MEDIO ILCITO)

SILOGISMO VLIDO (FRESISON)

11) Todos los deportistas son viajeros

Algunos ricos no son deportistas
Algunos ricos no son viajeros

Una inferencia inmediata, consiste en derivar la

conclusin slo a partir de una premisa. Es decir, de
una premisa se sigue inmediatamente la conclusin.
Cuando la premisa y la conclusin tienen el mismo
valor de verdad se les denominalcitas, cuando
tienen diferente valor de verdad, se les denomina
ilcitas, y cuando no es posible determinar el
valor de verdad o falsedad de la conclusin se le
denomina indeterminada.
Ejemplo: Si todos los rectngulos son
paralelogramos, entonces algunos rectngulos son
paralelogramos.

aoo 1
SILOGISMO INVLIDO. INFRINGE LA
REGLA N 4
(FALACIA DEL MAYOR ILCITO)
12) Algunos campesinos son bondadosos
P
M
Todos los sacerdotes son bondadosos
S
M
Algunos sacerdotes son campesinos
S
P

iai 2

INFERENCIAS INMEDIATAS

I.- INFERENCIAS POR CONVERSIN

El sujeto y el predicado de la premisa, se permutan
en la conclusin, manteniendo la calidad.

- 27 -

2) PREMISA:

CONVERSIN SIMPLE
La premisa y la conclusin mantienen igual calidad
e igual cantidad.

Todos los pollos son aves

S a P

CONCLUSIN Algunas aves son pollos

P i S

a NO TIENE
3) PREMISA:

e e S e P P e S;

V V; F F

i i S i P P i P:

V V; F F

CONCLUSIN: Algunos tringulos no son

rectngulos
P o S

o NO TIENE
EJEMPLOS

II.- INFERENCUAS POR OBSERVACIN

1) PREMISA: Algunos polticos son abogados.

S
i
P
CONCLUSIN: Algunos abogados son polticos.
P
i
S
2) PREMISA:

Todos los gatos son carnvoros

P
i
S

CONCLUSIN (NO
LCITA)
3) PREMISA:

TIENE

CONVERSA

Ningn varn es mujer

P e S

CONCLUSIN: Ninguna mujer es varn

S e P
4) PREMISA:
tringulos.

Algunos
P

polgonos

denota con P o P, el que se lee no P.

a e

S a PSe P

ea

S e PS a P

io

S i P S o P

oi

S o PS i P

EJEMPLOS
no

son

TIENE

CONVERSA

1) PREMISA:

Algunos peruanos son pobres

S i P

CONVERSIN ACCIDENTAL
Premisa y conclusin mantienen su calidad, pero
cambian su cantidad.
S a P P i S; V V; F ?

e o S e P P o S:

CONCLUSIN: Algunos peruanos no son no

pobres (no pobre rico)
S o P

Algunos Policas son taxista

P i S

CONCLUSIN: algunos taxistas son policas

S i P

ai

Se cambia la calidad, y se mantiene la cantidad. El

sujeto de la premisa se mantiene en la conclusin.
Se busca el complemento despredicado, que se

o S

CONCLUSIN (NO
LCITA)
5) PREMISA:

Ningn rectngulo es tringulo

S e P

V V; F ?

EJEMPLOS
1) PREMISA: Ningn atleta es ocioso
S e P
CONCLUSIN: Algunos ociosos no son atletas
P o S

2) PREMISA:
vertebrados

Todos los cuervos son

S

a P

CONCLUSIN: Ningn cuervo es invertebrado

S
3) PREMISA:

Ningn peruano es rico

S e P

CONCLUSIN: Todos los peruanos son pobres

(pobre no rico)
S
4) PREMISA:

Algunos inmorales son insensatos

S i

CONCLUSIN: Algunos inmorales no son

sensatos

o P

( P) P

- 28 -

5) PREMISA:
inhumanos

Todos los mortales son

S

3) a contraria de a
es e
4) La subalterna de a
es i

CONCLUSIN: Ningn mortal es humano ( no

inhumano humano)
S e P

5) La subcontraria de la contradictoria de a
es i

III.- INFERENCIAS POR OPOSICIN

(CUADRO DE BOECIO)

6) La subalternante de la contradictoria de e

A.- POR EQUIVALENCIA: Se establecen entre

las CONTRADICTORIAS.

a o

y viceversa

e i

y viceversa

i e

y viceversa

o a

y viceversa

* Ambas contradictorias no suelen tener el mismo

valor de verdad.
B.- POR IMPLICACIN:
1) ENTRE LAS CONTRARIAS:

a e

e a

2) ENTRE LAS SUBCONTRARIAS:

i o

o i

3) ENTRE LAS SUBALTERNAS:

a i

e o

es a

7) La contradictoria de la subalterna de e
es a
8) La subcontraria de la subalterna de la
subalternante de o
es i
9) La subalterna de la contraria de la contradictoria
de i
es i
10) La contradictoria de la contradictoria de la
contraria de la contraria de a
es a
11) La subalterna de la contraria de la
contradictoria de la subcontraria de i
es o
12) Conversa de la subalterna de:
Todos los escritores son soadores
S a P
Algunos escritores son soadores
S i P
Algunos soadores son escritores
P i S
13) Contradictoria de la subcontraria de:

4) ENTRE LAS SUBALTERNANTES:

i a

o e

** Las dems relaciones posibles no son vlidas; lo

que significa que la conclusin queda en suspenso o
indeterminada.
EJEMPLOS
1) La contradictoria de e
es i
2) La subcontraria de o
es i

Algunos polticos son cajamarquinos

S i P
Algunos polticos no son cajamarquinos
S o P
Todos los alcaldes son cajamarquinos
S a P
14) Conversa de la contradictoria de:
Todos los leones son cazadores
S a P
Algunos leones no son cazadores
S o P
NO TIENE CONVERSA LCITA

- 29 -

15) Observa de la conversa de:

b) PM

Ningn guila es pacfica

S e P
Algunos pacficos son guilas
P i
S

Pm

S
P
Todo analfabeto es pobre
M
P
Todo analfabeto es campesino
M
S
________________________
Todo campesino es pobre
S
P

Todos los pacficos son no guilas

P

16) La subalternante de la contradictoria de la

subcontraria de:
Algunos abogados son fiscales
S i
P
Algunos abogados no son fiscales
S o P
Todos los abogados son fiscales
S a
P
NO TIENE CONCLUSIN
17) La observa de la conversa de la observa de:
Algunos polticos no son dignos
S o P
Algunos polticos son indignos
S i P
Algunos indignos son polticos

As:
a)

PM
Pm

HaM
P i H
_____
P i M

C
b) PM
Pm
C

A a P
A a C
______
C a P

3) Transformamos las formas tpicas a frmulas

booleanas
As:

Algunos indignos no son apolticos

2) Expresamos la premisa y conclusin en su

forma tpica

a)PM

HM =

Pm

PH
________

PM

B.-PRUEBA DE VALIDEZ O INVALIDEZ DE

UN SILOGISMO POR EL MTODO DE LOS
DIAGRAMAS DE VENN
Para usar correctamente los diagramas de VennEuler, en la prueba de validez o invalidez de un
silogismo, seguiremos los siguientes pasos:
1) Determinamos premisas y conclusin

b) PM
Pm
C

CP =

AP =

AC =
_________

4) Graficamos la premisas, hacindolo primero

la proposicin categrica universal, cuando una
es particular y la otra universal. Si la particular
se refiera a dos reas, el aspa se coloca en la
lnea comn a ambas.
Cada smbolo de la proposicin se refiere, por lo
general, a dos zonas, salvo el caso que una de
ellas ya est diagramada.

EJEMPLOS
a) Si todo hombre es mortal, sin embargo algn
poltico es hombre. En consecuencia, algn poltico
es mortal.
b) Todo campesino es pobre. Ya que, todo
analfabeto es pobre y todo analfabeto es campesino.
As:
a) PM
Pm

Todo hombre es mortal

M
P
Algn poltico es hombre
S
M
____________________
Algn poltico es mortal

HECHO POR MIGUEL AGIP MEGO

- 30 -

As:
P

a)

Premisa
Mayor
H
P

2)
M

PM:
Pm:

Premisa
menor

b)

S
M
________________________
C Todos los pinos son verdes
S
P
* P: Trmino mayor
M: Trmino medio
S: Trmino menor

C
P

Premisa
Mayor

A
C

Ma P
S a M
______
S a P

3)
PM:

MP =

Pm:

SM =
________

SP =

Premisa
menor

4)
S

5) Determinamos si el silogismo es vlido o

invlido, considerando: Si la conclusin est
graficada, con toda precisin, en el diagrama de
las premisas, es vlido. Si no est representada
en dicho diagrama, el silogismo es invlido.

As:

5) EL SILOGISMO ES VLIDO porque la

conclusin queda graficada al diagramarlas
premisas.

a) La conclusin: P i M (PM )

d) Evaluar el siguiente silogismo:

Est graficada en el diagrama de las premisas

Por lo tanto:

Todos los animales voladores son aves. Ningn

murcilago es ave.
Entonces, todos los murcilagos son animales
voladores.

El silogismo categrico aii 1 es vlido.

b) La conclusin: C a P (C P = )
No est graficada en el diagrama de las premisas.
Por tanto: El silogismo aaa 3 es invlido

MS EJEMPLOS
c) Evaluar el silogismo: Si todos los rboles son
verdes, y todos los pinos son rboles. Entonces,
todos los pinos son verdes.

Solucin
PM: Todos los animales voladores son aves
P
M
Pm: Ningn murcilago es ave
S
M
____________________________________
C Todos los murcilagos son animales voladores
S
P
S

PM =

SM =
________

Solucin

SP =

1)

PM:
Pm:

Todos los rboles son verdes

M
P
Todos los pinos son rboles

Segn el diagrama de Venn, el silogismo es

invlido; porque el rea que corresponde a la

- 31 -

conclusin resulta demasiado amplia, con respecto

a lo establecido por las premisas.

Solucin
PM:

e) Evaluar el siguiente silogismo:

Todos los chotanos son peruanos. Todos los
peruanos son americanos. Entonces todos los
americanos son chotanos.
Solucin
PM:

C:

Pm:

C:

Todos los chotanos son peruanos

P
M
Todos los peruanos son americanos
M
S
_____________________________
Todos los americanos son chotanos
S
P

Pm:

Todos los tigres son giles

P
M
Algunos limeos son giles
S
M
_____________________
Algunos limeos son tigres
S
P

P M =
SM
________
SP

x
M

MS =
PM =

________

SP =

De acuerdo al diagrama de Venn, el silogismo es

invlido, porque el rea que corresponde a la
conclusin no resulta diagramada.
f) Evaluar el siguiente silogismo:
Ningn arequipeo es puneo. Algunos camanejos
son arequipeos. Por lo tanto, algunos camanejos
no son puneos
Solucin
PM:

Ningn arequipeo es puneo

M
P
Algunos camanejos son arequipeo
S
M
_____________________________
Algunos camanejos no son puneos
S
P

Pm:
C:

MP =
SM
________

x
M

S P

Segn el diagrama de Venn, el silogismo es vlido,

porque la conclusin queda diagramada al graficar
la premisa menor.

De acuerdo al diagrama, el silogismo es invlido,

porque el rea que corresponde a la conclusin
resulta demasiado restringida con respecto a lo que
establecen las premisas.
(Las premisas establecen que hay elementos en
SP).

EJERCICIO 03
1) La Conversa de la subalterna de.
Ningn camalen es domstico
Es:
a) Algunos camaleones no son domsticos
b) Algunos camaleones son domstico
c) Todos los camaleones son domsticos
d) Algunos domsticos son camaleones
e) NA.
2) La contradictoria de la subcontraria de.
Algunos empresarios no son cantantesEs:
a) Algunos empresarios son cantantes
b) Ningn empresario es cantante
c) Todos los empresarios son cantantes
d) Algunos cantantes son empresarios
e) NA.
3) La conversa de la contradictoria de a es:
a) o b) e c) a d) e
e) No tiene conversa lcita
4) La observa de la conversa de a es:
a) i b) o c) e d) i
e) No tiene observa lcita
5) La contradictoria de la observa de la conversa de
i es:
a) i b) o c) a d) a e) NA.

g) Evaluar el siguiente silogismo:

Todos los tigres son giles. Algunos limeos son
giles. Por tanto, algunos limeos son tigres.
HECHO POR MIGUEL AGIP MEGO

- 32 -

6) La observa de la conversa de la observa de:

Algunos polticos no son dignosEs:
a) Algunos indignos no son polticos
b) Algunos indignos son polticos
c) Algunos polticos son indignos
d) Todos los polticos son dignos
e) NA.

11) Reconocer la forma tpica de la conclusin del

siguiente silogismo.

7) Determina la forma del silogismo:

Ningn calvo tiene cabello, algn beb tiene
cabello. Por tanto, algn beb no es calvo
a) eoi-2 b) eio-2 c) ioe-3 d) oie-2 e) ieo-2

8) Determina las formas booleanas del siguiente

silogismo:
Toda estrella es un astro. Pero es falso que todo
planeta sea astro. Por tanto, no todo planeta es
estrella
a) E A =

P A
________

A =
PA

b) E

c) EA =

________

P A =
________

PE =
d) E A =

PE

PE =

e) E A =

PA =
________

PA =
________

PE

PE =

a) no todo no S es P
b) no todo S es P
c) no es cierto que algn S sea P
d) todo S es no P
e) todo no S es no P
10) Determina la forma del siguiente silogismo.
U

xx
M

a) aie-2

b) aii-4

d) aei-3

e) aii-2

M
a) S a P

b) S e P

d) S I P

e) S o P

c) (S i P)

12) Seale loa trminos: mayor, menor y medio, de

los siguientes silogismos:
a) Todo lo til es digno de aprecio
Todas las ciencias son tiles
Todas las ciencias son dignas de aprecio
b) Todo obrero es hombre de accin
Ningn abogado es obrero
Ningn abogado es hombre de accin
c) Todos los chotanos son seres humanos
Algunos seres humanos son abogados
Algunos abogados son chotanos

9) Determinar la conclusin de las siguientes

premisas: Si ningn P es M y algn M es S. luego:

d) Todos los sabios son humildes

Todos los sabios son estudiosos
Todos los estudiosos son humildes
13) Coloque la conclusin vlida que siga de las
premisas, e indique a su vez la figura del silogismo:
a) Todos los peruanos son americanos
Todos los limeos son peruanos
b) Algunos grillos no son peces
Todos los grillos son animales
c) Ningn canario es felino
Algunos animales son felinos
d) Todos los seres laboriosos son dignos de ser
imitados
Algunos animales son laboriosos
e) Ninguna medicina es agradable
Algunas infusiones son medicinas
14) Mediante el lenguaje booleano y los diagramas
de Venn determine y evale la validez o invalidez
de los siguientes modos y figuras de silogismo:

c) aii-4
a) aaa-1

- 33 -

b) oao-4

c) aee-4

a)

b)

c)

PM =

PM =

PM =

SM
_______

SM
_______

SM
_______

SP =

SP

SP

d)

e)

PM

PM

SM =
_______

SM =
_______

SP

SP

d) eoi-3

17) Todos los arequipeos son efusivos, algunos

limeos son efusivos; entonces, algunos limeos
son arequipeos, tiene como frmula booleana:

18) Seale la afirmacin que no corresponda a las

leyes de las proposiciones del silogismo:
a) De dos premisas afirmativas no se deduce una
conclusin negativa.

M
b) De dos premisas negativas. Nada se concluye

e) eae-2

c) Cuando menos una de las proposiciones tiene

que ser negativa
d) La conclusin sigue a la premisa ms dbil
e) De dos premisas particulares nada se concluye

f) eio-3

M
15) El silogismo categrico se caracteriza
fundamentalmente por tener:
a) Slo una premisa y conclusin
b) dos premisas y conclusin
c) cualquier nmero de premisas
d) premisas y conclusin
e) varias proposiciones
16) En un silogismo categrico encontramos lo
siguiente:
a) trmino mayor y medio en la conclusin
b) trmino medio y menor en la conclusin
c) trmino mayor y menor slo en las premisas
d) trmino medio slo en las premisas
e) trmino medio tanto en premisas y conclusin

19) Un silogismo es lgicamente vlido si al ser

graficadas las premisas mediante los diagramas de
Venn queda automticamente graficada:
a) una parte de la conclusin
b) una parte de la premisa anterior
c) la premisa mayor
d) la conclusin
e) slo una de las premisas
20) El siguiente silogismo es vlido: Todos los
caballos son herbvoros y ningn herbvoro es
tiburn; por tanto, ningn tiburn es caballo.
Identifique el diagrama que lo simboliza.
a)

x
M

HECHO POR MIGUEL AGIP MEGO

- 34 -

b)

I.- FALACIAS DE LA LGICA

PROPOSICIONAL

a) Falacia del Modus Ponens.

Esquemticamente, tenemos:
Forma correcta: (p q) p q

(p q) q p

Falacia:
c)

b) Falacia del Modus Tollens.

Esquemticamente tenemos:

Forma correcta: (p q) q p
Falacia:
(p q) p q
c) Falacia del silogismo disyuntivo.

Su esquema es:
Forma correcta: (p q) p q

d)

Falacia: (p q) p) q

(p q) q p

(p q) p q

II.- FALACIAS DEL SILOGISMO

CATEGRICO
a) Falacia del mayor ilcito.

e)

El trmino mayor aparece distribuido en la

conclusin pero no en la premisa mayor.

FALACIAS
Una falacia es un razonamiento incorrecto, que,
aparentemente, es correcto. Dicha incorreccin slo
es posible determinar despus de un anlisis
cuidadoso.
A.- FALACIAS FORMALES
Son formas de razonamiento lgico, aparentemente
correctos; pero que no lo son, porque infringen
algunas de las reglas o leyes lgicas.

Todos los perros son vertebrados

M
P
Ningn loro es perro
S
M
__________________________
Ningn loro es vertebrado
S
P
b) Falacia del menor ilcito.
El trmino menor est distribuido en la conclusin
pero no en la premisa menor.
Todos los polticos son demcratas
M
P
Todos los polticos son malos
M
S
_____________________________
Todos los malos son demcratas
S
P

- 35 -

c) Falacia del medio ilcito.

El trmino medio no est distribuido en ninguna de
las dos premisas.
Algunos deportistas son jvenes
P
M
Todos los bomberos son jvenes
S
M
_____________________________
Algunos bomberos son deportistas
B.- FALACIAS NO FORMALES
Falacias del lenguaje comn; que se cometen
cuando hay alguna ambigedad en el lenguaje
empleado.
a) FALACIAS DE ATINGENCIA.
Entre las premisas y la conclusin no existe una
relacin lgica. Aunque s una relacin psicolgica,
que convence generalmente de la veracidad del
razonamiento.
1) Ignoratio elenchi. (Conclusin in atingente o
ignorancia del asunto).
Se razona a favor o en contra de algo, pasando por
alto el punto esencial que se quiere defender o
refutar.
Se discute la conveniencia o no del control de la
natalidad, pero el ministro de Salud interviene para
afirmar que las vitaminas son esenciales para la
salud.
2) Argumentum ad hominem. (Argumento
dirigido contra el hombre).
Esta falacia consiste en atacar a la persona que
afirma algo, en lugar de refutar la verdad o falsedad
de lo que se afirma.
No estoy de acuerdo con el Teorema de Manuel,
porque este matemtico no reconoci a su hijo
mayor y adems era mujeriego.
3) Argumentum ad ignorantiam. (Argumento por
ignorancia).

No me encarcelen por el homicidio que he

cometido, soy un pobre hurfano de padre y madre
5) Argumentum ad verecundiam. (Apelacin a la
autoridad).
Una discusin se da por terminada y resuelta, al
mostrarse que una persona respetable y de prestigio,
pero no especialista en el tema, sostiene dicha
solucin.
Esta marca de autos es la mejor, porque as lo
sostiene la cantante NATALIA KON
6) Argumentum ad baculum. (Argumento por la
fuerza).
Se recurre a la amenaza de la fuerza para que se
acepte una determinada conclusin. Esto sucede
generalmente cuando los argumentos racionales han
fracasado.
Aceptas que mi equipo es el mejor, o te hago lo
con mis amigos
7) Non causa pro causa. (Falsa causa).
Se toma como causa de algo, algo que no lo es
realmente. Comn en las creencias populares.
Saba que iba a ganar porque anoche so con
Madona

b) FALACIAS DE AMBIGUEDAD
Llamadas tambin de claridad. Se cometen cuando
en un razonamiento existen palabras o frases
ambiguas cuyos significados oscilan de manera ms
o menos til en el curso de la discusin.
1) La anfibologa
Se comete cuando, por una mala construccin
gramatical o el significado confuso que se tiene al
combinar palabras o frases.
Un hombre se cay del segundo piso, despus de
despedirse de su esposa por descuido

Se sostiene que una proposicin es verdadera,

simplemente porque no se ha demostrado su
falsedad o viceversa.

2) El equvoco.

Como no se ha podido demostrar lo contrario,

entonces el diablo existe

Se comete esta falacia cuando una palabra o frase

se utiliza con el mismo sentido, sin darnos cuenta
que es una palabra que tiene varios significados
(palabra polismica).

4) Argumentum ad misericordiam. (Apelacin a

la piedad).
Se trata de despertar en el oponente, sentimientos
de piedad o compasin, para que se acepte una
determinada conclusin.

Las patas ponen huevos. Todas las mesas tienen

cuatro patas. Por tanto, las mesas tienen huevos

- 36 -

EJERCICIO 04
Determina el tipo de falacia que se comete en los
siguientes razonamientos:
1) Juan ser un gran cantante si practica mucho el
canto. Pero Juan no practic canto. Por tanto, no
ser un gran cantante.
a) Falacia del medio ilcito
b) Falacia del mayor ilcito
c) Falacia del Modus Tollens
d) Falacia del Modus Ponens
e) Falacia del silogismo disyuntivo
2) O juegas o estudias. Pero es el caso que estudias.
Entonces, no juegas
a) Falacia del menor ilcito
b) Falacia del equvoco
c) Falacia ad hominem
d) Falacia del silogismo disyuntivo
e) Falacia de la anfibologa
3) Todo lo que hagan los polticos es malo, porque
siempre han demostrado que son interesados y
nadie les cree.

a) Falacia ad hominem
b) Falacia argumentum ad ignorantiam
c) Falacia del equvoco
d) Falacia de ignoratio elenchi
e) NA.
4) Todos los profesores son puntuales. Algunos
jvenes son puntuales. Entonces, algunos
profesores son jvenes.
a) Falacia del medio ilcito
b) Falacia del mayor ilcito
c) Falacia ad hominem
d) Falacia del medio ilcito
e) Falacia non causa pro causa
5) El fin de la vida es la muerte, pero tambin, el fin
de la vida es la realizacin personal. Por lo tanto, la
realizacin personal se logra con la muerte.
a) Falacia del silogismo disyuntivo
b) Falacia del medio ilcito
c) Falacia del equvoco
d) Falacia del argumentum ad baculum
e) NA.

HECHO POR MIGUEL AGIP MEGO

- 37 -

b) ; Condicional

SOLUCIONARIO

c) ; Bicondicional

EJERCICIO 01
d) ; Condicional
1.a) r p

p r

r p

e) ;Disyuncin dbil

b) q m

m q

q m

6.a) ( p q ) (p q)

E. C.

c) r (p q); (p q) r; r (p q)
b) [ p ( q r )] [p (q r )]

E. C.

d) (r s) [p (q r)]
[p (q r)] (r s)

c) { a ( p t )} { a ( p t)}

(r s) [p (q r)

E.C.

{ a (p t )} {a (p t )} D.M.
{a (p t )} {a ( p t )} D.M.
d) { ( m n ) (q m) }

2,.
a) p r
V (V) V F
1 3 2 1

{ ( m n ) (q m ) }

b) (r s) q
F F F (V) V
1 2 1 3 1

{ ( m n ) (q m ) }

{ ( m n ) (q m ) }

{ ( b t ) q } { ( b t ) q } D.M.
f) { ( a b ) ( c d ) }

d) ( q s) r
V F F (V) F
1 2 1 3 1

{ ( a b ) ( c d ) } E.C.
{ ( a b ) ( c d ) }

e) ( S r) ( p q)
F V F (V) V V V
1 2 1 3
1 2 1
f) [ ( r p ) ( s q )]
(F) F V V V F V V
4
1 2 1 3 1 2 1

{(ab)(cd)}

Inv.

7.a) ( p q ) p
(p q ) p D.M.
(p p ) q Asoc.
p q

I.P.

b) { ( p q ) p }

3.- Son tautologas:

b); d); e); f)

{ ( p q ) p } E.C.
{ ( p q ) p } D.M.

4.a) (p q) ( p q ) E. C.
D. M.

b) p ( q r ) ( p q ) ( p r ) E. D.
c) ( p q ) ( r s ) ( r s ) ( p q ) Conm.
d) a ( b c ) ( a b ) c

Asoc.

e) V { p ( q r )} V

5.a) ; Bicondicional

D.M.

e) { ( b t ) q } { ( b t ) q } E.C.

c) q ( p s)
V (F) V F F
1 3 1 2 1

( p q) p q

E.C.

{ ( p p ) q } Asoc.
F q N.C.
F I.
c) p ( q p )
( p p ) q Asoc.
Vq
V

T.E.
I.

d) (p q ) ( p q )
( p q ) ( p q ) D.M.
V
T.E.

- 38 -

e) [{( a b ) b } a ] b
[{ ( a b ) b } a ] b E.C.

9.a)

[ { a ( b b ) } a ] b Asoc.

Simbolizacin
1) M L
2) L F

[ { a b} a ] b

I.P.

3) F

Asoc.

Deduccin de una conclusin

1) M L
Premisa
2) L F
Premisa

[ { ( a b ) b } a ] b D.M.

[ ( a a ) b ] b
[ a b ] b
a ( b b)
a F
F

I.P.
Asoc.
N.C.
I.

8.a)

3) M F

S.H. 1) y 2)

4) F

Premisa

5) M

M.T. 3) y 4)

M : No he ingresado a un colegio mayor

1) p q

Premisa

2) p

Premisa

3) q
4) r q

M.P. 1) y 2)
Premisa

Simbolizacin
1) A C

5) r

M.T. 3) y 4)

2) A D

b)

3) I C

b)
1) s ( m p)

Premisa

4) I

2) ( m p )

Premisa

Deduccin de una conclusin

3) s

M.T. 1) y 2)

1) I

Premisa

4) s w
5) w

Premisa
M.P. 3) y 4 )

2) I C

Premisa

c)
1) s t

3) C
4) A C

S.D. 1) y 2)
Premisa

Premisa

5) A

M.T. 3) y 4)

2) s
3) t

Premisa
S.D. 1) y 2)

6) A D
7) D

Premisa
M.P. 5) y 6)

4) t a
5) a
6) a b
7) b

Premisa
S.D. 3) y 4)
Premisa
M.P. 5) y 6)

D : Estar sin dinero

c)
Simbolizacin
1) ( x y ) z
2) x

d)
1) ( a b ) ( c d ) Premisa

Deduccin de una conclusin

2) ( a b )
3) c d

Premisa
M.P. 1) y 2)

1) ( x y ) z
2) x

Premisa
Premisa

4) ( c d ) ( f g )
5) f g
6) f

Premisa
S.D. 3) y 4)
Simp. 5)

3) x y
4) z

A.D. 2)
M.P. 1) y 3)

e)
1) r ( p q )
2) r
3) p q

Premisa
Premisa
M.P. 1) y 2)

4) p
5) q

Premisa
S.D. 3) y 4)

Z : Z es mayor que T
d)
Simbolizacin
1) T P
2) P ( S D )
3) S D

- 39 -

Obtencin de una conclusin

c)

1) S D

Premisa

2) ( S D )

Premisa

( S D ) S D

m
p

D.M.
q

3) P ( S D )

Premisa

4) P

M.T. 2) y 3)

5) T P

Premisa

6) T

S.D. 4) y 5)

d)
a

T : La casa se acab a tiempo

a

10.a) b

b) ( a b )

c) ( e c)
3.a) { ( p q ) ( r r ) } s

EJERCICIO 02

b) { ( p q ) r } [ { ( t n q ) ( t u ) }

1.a)

b)

c)

p
V
F
(1)

|{ r ( t w )}| |(p q ) ( p t r )|]

p
V
F V
V V F
(3) (2) (1)

( p
F
V V F
F
F V V
(4) (1) (3) (2)

4.a)
Tabla de pertenencia

p )
V
F
(1)

{ ( p
p)}
V
F
V
V F V
V
F
F
V V F
(5) (4) (1) (3) (2) (1)

2.-

(B

C)

a)
Tabla lgica

b)

(q

r)

- 40 -

b) Tabla de pertenencia

Tabla lgica

( p)

Tabla lgica

f)

Tabla de pertenencia

V
F

V
F

F
F

F
F

c)

Tabla lgica

Tabla de pertenencia

V F

Tabla lgica

d)
Tabla de pertenencia
A

g)
Tabla de pertenencia

Tabla lgica

2 1

EJERCICIO 03

Tabla lgica
p

V
F

V
F
1

F
F
2

F
V
1

1.Subalterna: Algunos camaleones no son domsticos

Conversa: Algunos domsticos no son camaleones
2.Subcontraria: Algunos empresarios son cantantes

e)

Contradictoria: Ningn empresario es cantante

Tabla de pertenencia
A

( A )

3.Contradictoria: o
Conversa: No tiene

4.Conversa: No tiene
Observa: No tiene

- 41 -

5.10.S

Conversa: i
Observa: o
Contradictoria: a

6.Observa: Algunos polticos son dignos

Conversa: Algunos dignos son polticos
Observa: Algunos polticos no son dignos

M
Todo M es S

7.Ningn calvo tiene cabello e

P
M

MPa
S
P

Algn beb tiene cabello i

S
M
___________________________
Algn beb no es calvo o
S
P
2da figura: P M
SM

M
Algn M es S i ; MS

RPTA: b) eio-2
Conclusin:
8.Algn S es P i; SP
Toda estrella es astro E A

RPTA: b) aii-3

Es falso que todo planeta es astro

11. ( P A ) P A
S
P

No todo planeta es estrella

( PE ) PE
RPTA: b)
M

9.1) Ningn P es M e

SaP

2) Algn M es S i
_______________

RPTA: a)

Algn S no es P No todo S es P o

12.-

Eio-4 (FRESICON)

a)

RPTA: b)

Todo lo tiles digno de aprecio

M
P
Todas las ciencias son tiles
S
M
_________________________________
Todas las ciencias son dignas de aprecio
S
P

HECHO POR MIGUEL AGIP MEGO

- 42 -

d)
b)
Todo obrero es hombre de accin
M
P
Ningn abogado es obrero
S
M
_______________________________
Ningn abogado es hombre de accin
S
P
c)

Todos los seres laboriosos son dignos

M
de ser imitados
P
Algunos animales son laboriosos
S
M
____________________________________
Algunos animales son dignos de ser imitados
S
P
aii -1

Todos los chotanos son seres humanos

P
M
Algunos seres humanos son abogados
M
S
________________________________
Algunos abogados son chotanos
S
P
d)
Todos los sabios son humildes
M
P
Todos los sabios son estudiosos
M
S
____________________________
Todos los estudiosos son humildes
S
P

e)
Ninguna medicina es agradable
M
P
Algunas infusiones son medicinas
S
M
_______________________________
Algunas infusiones no son agradables
S
P
eio 1
14.a) aaa 1

13.-

1ra figura
MaP
SaP
_____
SaP
VLIDO

a)
Todos los peruanos son americanos
M
P
Todos los limeos son peruanos
S
M
____________________________
Todos los limeos son americanos
aaa 1

M
b) oao - 4

b)

x
Algunos grillos no son peces
M
P
Todos los grillos son animales
M
S
_________________________
Algunos animales no son peces
S
P
oao 3

M
c) aee - 4

c)
Ningn canario es felino
P
M
Algunos animales son felinos
S
M
___________________________
Algunos animales no son canarios

4ta figura
PoM
MaS
______
SoP
INVLIDO

3ra figura
MaP
MeS
________
SeP
VLIDO

- 43 -

d) eoi - 3

18.RPTA: c )

3ra figura
MeP
MoS
______
SiP
INVLIDO

x
x
M

19.RPTA: d)

20.Todos los caballos son herbvoros P a M

P
M

e) eae 2

2da figura
PeM
SaM
_______
SeP
VLIDO

Ningn herbvoro es tiburn M e S

M
S
______________________________
Ningn tiburn es caballo S e P
S
P

P
P aM

f) eio - 3

M
P

S
x

x
M

3ra figura
MeP
MiS
_______
SoP
VLIDO

M eS

15.RPTA: b)

S e P
16.-

RPTA: d)

17.Todos los arequipeos son efusivos PM

P
M
Algunos limeos son efusivos SM
S
M
______________________________________
Algunos limeos son arequipeos SP
S
P
RPTA: c)

Unin de 3 zonas Sombreadas

P
RPTA: b)

- 44 -

EJERCICIO 04
1.1) Si practica mucho el canto, Juan ser
p
un gran cantante
c
2) Juan no practic canto
p
________________________
Juan no ser un gran cantante
c
1) p c
2) p
______
c
FALACIA MODUS TOLLENS

2.1) O juegas o estudias

J
e
2) Estudias
E
_________
No juegas
j
1) j e
2) e
_________
j
FALACIA DEL SILOGISMO DISYUNTIVO
RPTA: d)
3.RPTA: a)
4..RPTA: a)

RPTA: c)
5.RPTA: c)

PROFESOR MIGUEL AGIP

MEGO
HECHO POR MIGUEL AGIP MEGO