LGICA EJEMPLOS
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, siguiente representacin simblica, que
nini, no, es decir, por tanto, por ello, exponemos en el cuadro siguiente:
por consiguiente, segn ello, porque, pues,
ya que, luego, etc., que sirven de enlace para
las proposiciones VF.
-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 se
representan por letras maysculas, as: A, B, C, D,
E, etc.
Los conectivos u operadores lgicos tienen la
la
HECHO POR MIGUEL AGIP MEGO
HECHO POR MIGUEL AGIP MEGO
-2-

JERARQUA POR USO DE PUNTOS

PEANO AUXILIARES (2)
TIPO SCHOLZ SE LEE EJEMPLO
RUSSELL

Juan no es Forma de agrupacin y jerarqua establecida en

Neg no abogado Principia Matemtica.

p
Los peces y Regla 1: Un punto es mayor en jerarqua ante
los reptiles cualquier constante u operador lgico sin
Conj y son rboles P p puntos, lo que resultar en un esquema
p q
V F molecular conjuntivo.
Disy Estudias o juegas
dbil
o p q
EJEMPLOS
O vas lunes o
Disy Jerarqua por signos de coleccin
fuerte
oo vas martes
1) p q s (p q) s
pq
2) r s t p (r s) ( t
si p)
Si entrenas, ganas
Cond p q Regla 2: La constante u operador lgico que tiene
entonce
s mayor nmero de puntos ser el de mayor jerarqua
ante cualquier otro conectivo u operador.
Es rectngulo
si y
si y slo si
Bicon slo es un cuadrado EJEMPLOS
si p q
Con signos de coleccin
1) q r p s p
JERARQUA DE LOS OPERADORES Y
SIGNOS DE COLECCIN (1)
q r p s p
2) r p q s : : q r
Sin usar signos de coleccin, establecemos el
siguiente orden jerrquico convencional: (1)doble
r p q s q r
implicacin (2)implicacin (3)disyuncin
(4)conjuncin (5)negacin. FUNCIN VERITATIVA O VALOR DE
El uso de cualquier signo de coleccin permitir VERDAD, DE LAS PROPOSICIONES VF Y
precisar la naturaleza de una proposicin. DE LOS CONECTIVOS LGICOS

Si la proposicin p es verdadera, su valor de verdad

EJEMPLOS es V. Si es falsa, es F.
Lo que se puede disponer en una tabla as:
Expresiones bien formuladas
Para dos proposiciones p y q, se dan cuatro
posibilidades:
p (q r) : Es una conjuncin. p y q, verdaderas; p verdadera y q falsa
p falsa y q verdadera p y q falsas
p p r : Es una implicacin.
( r p q) : Es una negacin. p q
p s t q : Es una negacin V V
V F
Expresiones mal formuladas F V
F F
1) p r
2) p q s r NEGACIN ()
La NEGACIN de una proposicin p, es la
3) p (q r) (p q) (r s) proposicin que se escribe p, que es verdadera
si p es falsa y es falsa si p es verdadera.
(p r) (r q) : Es una doble
p p
implicacin.
V F
F V
 -3-

CONJUNCIN ( ) RECPROCA, INVERSA CONTRAPOSITIVA

La CONJUNCIN de dos proposiciones p y q es la
proposicin que se escribe p q, y es verdadera La condicional q p se llama RECPROCA de p
slo si ambas lo son.
q. Por lo que p q y q p
p q pq se llaman PROPOSICIONES RECPROCAS.
V V V La condicional p q se llama INVERSA de
V F F p q. Por lo que p q y p q son
F V F PROPOSICIONES INVERSAS.
F F F
La condicional q p se llama
CONTRAPOSITIVA de p q. Por lo que
DISYUNCIN INCLUSIVA O DBIL ( ) P q y q p son CONTRAPOSITIVAS.
La DISYUNCIN INCLUSIVA de dos
proposiciones p y q es la proposicin que se escribe
CUADROS DE VERDAD O CUADROS
p q, y es falsa slo si ambas lo son.
VERITATIVOS, DE PROPOSICIONES
MOLECULARES
p q pq

V V V Los CUADROS DE VERDAD o TABLAS DE

V F V VERDAD, como los anteriores, nos permiten
F V V establecer el valor de verdad o funcin veritativa de
F F F 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
DISYUNCIN EXCLUSIVA O FUERTE () estipulado para las jerarquas y los signos de
La DISYUNCIN EXCLUSIVA de dos coleccin.
proposiciones p y q es la proposicin p q, que
es falsa si los valores de ambas son iguales, en otro Es bueno seguir las siguientes sugerencias:
caso es verdadera.
1) En la parte izquierda de la tabla, y debajo de
p q p q cada proposicin atmica se escriben sus valores de
V V F verdad, de acuerdo a las posibilidades que se
V F V obtienen con la frmula 2n, donde n es el nmero de
F V V proposiciones atmicas.
F F F
EJEMPLO
CONDICIONAL ( ) Para una proposicin atmica, n = 1; 21 = 2.
La CONDICIONAL de dos proposiciones p y q es Para dos proposiciones atmicas, n = 2; 22 = 4.
la proposicin p q, y es falsa solamente si la Para tres proposiciones atmicas, n = 3: 23 = 8.
primera (antecedente) es verdadera, y la segunda
(consecuente), es falsa. Tablas de verdad

p q p q p p q

V V q V V V V
F V F
V F F
F V
F V V F F
F F V p q r
V V V
V V F
BICONDICIONAL ( ) V F V
La BICONDICIONAL de dos proposiciones p y q V F F
es la proposicin p q, y es verdadera slo si F V V
F V F
sus valores correspondientes son iguales. F F V
F F F
p q p q
V V q V
V F F
F V F HECHO POR MIGUEL AGIP MEGO
F F V HECHO POR MIGUEL AGIP MEGO
-4-

2) Se copia debajo de cada proposicin atmica, en 2) CONTRADICCIN

la derecha de la tabla, sus valores que le
corresponden. Lo enumeramos con (1).
p q r (p p)(r p) (q r)
3) En base a las tablas de la negacin, conjuncin, V V V V F F F F VF V VV V
disyuncin, implicacin, doble implicacin y las
jerarquas de los signos de coleccin u otras, se V V F V F F F V FF F V V F
obtienen los valores de verdad, empezando por el V F V V F F F F VF V F V V
de menor jerarqua, hasta llegar al mayor, que ser V F F V F F F V FF V F F F
el valor de verdad de todo el esquema molecular.
Siempre enumerando los pasos a partir de (1). F V V F F V F F VV V V V V
F V F F F V F V VV V V V F
EJEMPLO F F V F F V F F VV V F V V
F F F F F V F V VV F F F F
r s ( r s ) ( r s)
1 2 1 4 1 2 1 3 1 2 1
V V F V V V V F V V
V F F V F F V F F F
F V F F V V V V V V 3) CONTINGENCIA
F F F F V F V V V F
(4) (1) (2) (1) (3) (1) (2) (1) r s (r s) s
La tabla anterior es una negacin. V V V V V F F
V F V F F V V
OTRO EJEMPLO
F V F F V V F
p q r (p q) r p ( q r) F F F F F V V
V V V V F F F F V F V V V V
(1) (2) (1) (3) (1)
V V F V F F F V F F F V V F
V F V V V V V F V F V F V V EQUIVALENCIA LGICA
V F F V V V V V F F V F F F
F V V F V F V F V V V V V V Una EQUIVALENCIA es una proposicin
F V F F V F V V V V V V V F tautolgica bicondicional.
En una equivalencia, el miembro del lado izquierdo
F F V F V V V F V V V F V V
(MLI) del bicondicional, y el miembro del lado
F F F F V V F V V V F F F F derecho (MLD), son intercambiables, es decir, cada
2) 3) 2) 5) 2) 3) 2) 4) 2) 3) 2) 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
Las tautologas que son proposiciones
TAUTOLOGAS CONDICIONALES o BICONDICIONALES, son
Todos los valores de su matriz principal son proposiciones notables, llamadas
verdaderos. IMPLICACIONES O EQUIVALENCIAS
CONTRADICCIONES NOTABLES. Entre las ms usuales tenemos:
Todos los valores de su matriz principal son falsos.
CONTINGENCIAS IMPLICACIONES
Su matriz principal contiene tanto valores
verdaderos como falsos. (1) Modus Ponens (M. P.) :

EJEMPLOS (pq)pq

1) TAUTOLOGA (2) Modus Tollens (M. T.) :

p q (p q) q q (pq)qp
V V V V V V V V V
V F V F F F F V F (3) Silogismo Disyuntivo (S. D.):
F V F V V V V V V ( pq)pq (p q) qp
F F F V F F F V F
(1) (2) (1) (3) (1) (4) (1)
 -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.):
b) ( p q ) ( p q )
p ( p q ) q ( q p) r ( r s );
(6) Disyuntivo Exclusivo (D. excl..):
y as sucesivamente.
( p q ) ( p q ) ( p q )
(10) Simplificacin (Simp.):
(7) Bicondicional (B. C.):
(pq)p (pq)q (pq)(pq) (qp)
O tambin
(8) Asociativa (Asoc.):
: ( p q r ) p ( p q r ) r;
a) p ( q r ) ( p q ) r
y as sucesivamente.
b) p ( q r ) ( p q ) r
(11) Leyes del Absurdo (L.A.):
c) p ( q r ) ( p r ) r
a) p ( q q ) p
(9) Equivalencia Distributiva (E. D.):
b) p (q q ) p
a) p ( q r ) ( p q ) ( p r )
c) ( p q ) ( p q ) p
b) p ( q r ) ( p q ) ( p r )

(10) Idempotencia (I. P.):

EQUIVALENCIAS
a) ( p p p ) p
(1) Doble Negacin o Involucin (Inv.): b) ( p p p ) p

pp
(11) Leyes de Absorcin (Ab.):
(2) Conmutativa (Conm.):
a) p ( p q ) p
a) ( p q ) ( q p)
b) p ( p q ) p
b) ( p q) ( q p )
c) p ( p q ) ( p q )
c) ( p q) ( q p )
d) p ( p q ) ( p q )
HECHO POR MIGUEL AGIP MEGO
-6-

(12) Leyes de Identidad (I.): 3) Simplificar: ( p q ) q p

a) (p V ) 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 ( p q ) q p Inv.

la vez:
(pp) ( 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 ( p q ) F p N.C.

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

SIMPLIFICACACIN DE EXPRESIONES ppq Conm.

LGICAS FORMALES
pq Ab.
Simplificar una expresin lgica formal significa
conseguir una expresin ms simple que la original, REPRESENTACIN SIMBLICA O
efectuando todas las sustituciones que autorizan las FORMALIZACIN DEL LENGUAJE
leyes tautolgicas.
NATURAL
EJEMPLOS VARIABLES PROPOSICIONALES
1) Simplificar: (pq) Letras minsculas que representan a las
proposiciones atmicas: p, q, r, s, etc.
Solucin
(pq)
EJEMPLOS
pq D. M. Lenguaje normal (LN) Leng. For. (LF)
pq Inv. Lima es la capital del Per p

2) Simplificar: (rq) Los rectngulos son paralelogramos q

Solucin 58 r

(rq) VARIABLES DE ESQUEMAS O

METAVARIABLES
(rq) E.C. Letras maysculas que representan a las
proposiciones moleculares: A, B, C, D, etc.
(rq) Inv.
EJEMPLOS
rq D.M.

rq Inv.
 -7-

Lima es la capital del Per y hoy es lunes
p q
11 6, por tanto once tiene 45 letras
p q
No apruebas el curso, porque no estudias
q p
6 8 y, cuando no juego, no me siento bien
p q r O INVALIDEZ 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

EL LENGUAJE NATURAL Y EL LENGUAJE I.-MTODO VF

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
(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

Un RAZONAMIENTO O INFERENCIA es una Tabla de verdad:

serie de proposiciones llamadas PREMISAS, que
siempre se suponen verdaderas, seguida de una p q (p q) q p
proposicin final, llamada CONCLUSIN.
Una INFERENCIA es VLIDO si la conclusin V V V V V F F V F
toma solamente un valor verdadero, como resultado V F V F F F V V F
de la veracidad de las premisas. En otro caso, la
inferencia es INVLIDA. F V F V V F F V V

PRUEBA FORMAL DE UNA INFERENCIA F F F V F V V V V

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

-8-

2) p q
Como la matriz final del esquema indica que es una
tautologa, la inferencia es vlida. 3) q r
_____________
2) Verificar la validez de la siguiente inferencia: r
( p q) (p r) q r
Se lee: por consiguiente, por tanto,
entonces,etc.
Solucin
DEMOSTRACIN FORMAL
Como la inferencia ya est formalizada. Slo queda
utilizar su tabla de verdad, para verificar su validez
AFIRMACIONES RAZONES
o invalidez.
Aqu se dan 8 posibilidades de valores de verdad,
1) p 1) Premisa
ya que 23 = 8.
2) p q 2) Premisa
P q r (p q ) ( p r ) q r 3) q 3) Modus Ponens en 1) y 2)

V V V F V F V V V V V V V V
4) q r 4) Premisa
5) r 5) Modus Ponens en 3) y 4)
V V F F V F F V F F F V V F

V F V F V V V V V V F F V V 2) Realizar una demostracin formal de la siguiente

inferencia:
V F F F V V F V F F F F V F
(s t) ( t p) ( p q) s q
F V V V F F F F V V F V V V

F V F V F F F F V F F V V F Solucin

F F V V V V V F V V F F V V Disponemos las premisas y la conclusin con

F F F V V V V F V F F F V F numeracin, y luego realizamos la demostracin en
dos columnas, as:
(1) (2) (1) (3) (1) (2) (1) (4) (1) (5) (1)
1) s t
Como la matriz principal indica que la proposicin 2) t p
es una tautologa, la inferencia es vlida. 3) p q

II.- UTILIZANDO LAS TAUTOLOGAS 4) s

_________________
DEMOSTRACIONES FORMALES q
Utilizamos el siguiente procedimiento:
DEMOSTRACIN FORMAL
a) Las afirmaciones las colocamos a la izquierda, y
las razones a la derecha, enumerndolas en forma AFIRMACIONES RAZONES
correlativa.
b) Utilizamos las premisas, u otras afirmaciones ya 1) s t 1) Premisa
demostradas, cuantas veces sea necesario, hasta
llegar a la conclusin. 2) s 2) Premisa
3) t 3) Silogismo disyuntivo en 1) y 2)
Todo esto se dispone en una tabla con dos 4) t p 4) Premisa
columnas, una para las afirmaciones y otra para las 5) p 5) Silogismo disyuntivo en 3) y 4)
razones.
6) p q 6) Premisa
EJEMPLOS
7) q 7) Modus Ponens en 5) y 6)
1) Formalizar la siguiente inferencia:
3) Demostrar que la siguiente inferencia es vlida.
p ( p q) (q r) r
( p q) ( r s) ( p q) r
Solucin
Solucin
Disponemos las premisas y la conclusin,
enumerndolas as: AFIRMACIONES RAZONES

1) p 1) p q 1) Premisa
 -9-

2) p q 2) Equivalencia condicional en 1) Solucin

3) ( p q) (r s) 3) Premisa Enumeramos las premisas, y procedemos a la

4) r s 4) M. P. en 2) y 3) demostracin indirecta:
5) r 5) Simplificacin en 4) 1) t
2) q t
3) q r
III.- DEMOSTRACIN INDIRECTA ____________
sr
a) Empezamos suponiendo que la conclusin es
falsa. Es decir, utilizamos la negacin de la
DEMOSTRACIN INDIRECTA
conclusin como una premisa verdadera.
AFIRMACIONES RAZONES
b) Realizamos la formalizacin de la demostracin.

c) Si en el transcurso de la demostracin, aparece 1) ( s r) 1) Hiptesis para demos. indirecta

una contradiccin, es decir, el caso que una 2) ( s r) 2) Equivalencia condicional
proposicin y su negacin, aparezcan como
verdaderas; concluimos que la conclusin original 3) s r 3) Equiv. de De Morgan, en 2)
negada es verdadera, y que no podamos negarla, 4) s r 4) Involucin o doble negacin,en 3)
sino aceptarla.
5) r 5) Simplificacin en 4)
d) Aceptamos, finalmente, que la inferencia original 6) q r 6) Premisa
es vlida. 7) q 7) Silogismo disyuntivo en 5) y 6)
8) q t 8) Premisa
EJEMPLOS 9) t 9) Modus Ponens en 7) y 8)
1) Demostrar la siguiente inferencia: 10) t 10) Premisa
( q r) q r
En los pasos 9) y 10) se presenta una contradiccin,
Solucin por lo que (s r) es verdadera, y la inferencia
original es vlida.
Primero enumeramos, as:
1) q r
IV.- MTODO ABREVIADO
2) q
____________ a) Suponemos que la inferencia es falsa. Es decir,
r consideramos el nico caso en el que el condicional
es falso: Que la premisa sea verdadera y la
DEMOSTRACIN INDIRECTA conclusin sea falsa.

AFIRMACIONES RAZONES b) Con esta consideracin, suponemos valores para

la mayora de las expresiones lgicas atmicas.
1) r 1) Hiptesis para demos. indirecta.
c) Procesando esta informacin, completamos los
2) q r 2) Premisa. valores de las expresiones que an no lo tienen.
3) q 3) Modus tollens en 1) y 2)
d) Si en algn paso aparece alguna contradiccin, la
4) q 4) Premisa
inferencia original es vlida. Si por el contrario, no
aparece ninguna contradiccin, y se completa la
Las afirmaciones 3) y 4) se contradicen.
suposicin a), sin ningn problema, la inferencia
original es invlida.
Por tanto r no puede ser verdadera, y s lo es r.
EJEMPLOS
Por lo que la inferencia original es vlida.
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 EJERCICIOS DESARROLLADOS

Traducimos la inferencia en lenguaje normal, al
lenguaje simblico o formalizado: I.- Traducir al lenguaje simblico o formalizado,
(p q) (q r) p r las siguientes proposiciones VF:

a) Al suponer que la inferencia es falsa, 1) Coln descubri Amrica.

asumiramos que la matriz principal del antecedente,
encerrado en el corchete (conjuncin) es verdadera. Solucin
Y la matriz del consecuente, que es una disyuncin
dbil, es falsa: Es una proposicin atmica.
( p q ) ( q r ) p r Coln descubri Amrica: p
(V) (F)
2) Es primavera y las plantas florecen
b) ( p q ) ( q r) p r
V (V) V F (F) F Solucin

Es una proposicin molecular, por lo que

c) ( p q ) ( q r ) p r simbolizamos, tambin el conectivo.
V V V(V)V F F V F (F) F
Es primavera y las plantas florecen
d) Como al completar, en c), todos los valores, se p q
produce una contradiccin en la expresin 3) o la Luna est hecha de queso o 2 + 3 = 5.
atmica q, que aparece como verdadera y falsa a
la vez; concluimos que la inferencia original, es Solucin
vlida, porque al negarla se produce el conflicto
descrito. Disyuncin dbil:
2) Verificar la validez de la siguiente inferencia: o la Luna est hecha de queso verde o 2+3 = 5
El avin no despegar si el cielo est nublado. El p q
avin despegar y los jugadores de ftbol viajarn,
si el cielo no est nublado. Por tanto, los jugadores 4) Mara est despierta o sigue durmiendo
de ftbol no han viajado ya que el avin no despeg.
Solucin
Solucin
Disyuncin fuerte:
Traducimos el lenguaje natural al lenguaje
simblico, para precisar mejor el procedimiento: Mara est despierta o sigue durmiendo
El avin no despegar si el cielo est nublado. El
p q
avin despegar y los jugadores de
5) Si son las seis entonces tengo hambre
( q p) ( q r)
ftbol viajarn, si el cielo no est nublado. Por lo Solucin
tanto, los jugadores de ftbol no han
p ( r Es una proposicin molecular:
viajado ya que el avin no despeg.
Si son las seis entonces tengo hambre
q)
p q
a) (p q) p (q r) ( q r )
(V) (F) 6) Juan viaja a Lima, si llega a tiempo al paradero

b) (p q) p (q r) ( q r ) Solucin
V (V) V V ( F) F
Es una proposicin que est escrita en FORMA
ORDINARIA (F.O.), ya que primero est escrito el
c) (p q) p q r) ( q r ) consecuente y luego el antecedente. Por lo que la
V V V (V) F V FFV F V (F) F 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 Si llega a tiempo, Juan viaja a Lima
es falso; por lo que concluimos que la inferencia
original es invlida. 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
Como si y slo si tengo hambre
c) u q Solucin: q u
p q
2) Su inversa:
II.- Indicar el conectivo de mayor jerarqua, que
es el que determina el tipo de proposicin, para
cada una de las siguientes: 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
p (q r)

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;
(r s) ( p q)
IV.- Utilizando las equivalencias indicadas a la
derecha, escribe la expresin pedida:
a) (p q)
Equivalencia de De Morgan

3) p q. r . . r :: s p Solucin
( p q) ( p q)
Solucin b) d e
El conectivo que tiene 4 puntos es el de mayor Equivalencia condicional
jerarqua, le sigue el que tiene 2 puntos. Por lo que
podemos escribir as: Solucin
de de
(p q) r r (s p) c) (p)
Doble negacin
4) (p q) (r t) p
Solucin
Solucin (p) p
d) (pq) (pq) (pq)
Segn los signos de coleccin, el conectivo de
Simplificacin
mayor jerarqua es la conjuncin.
Solucin
5) ( m n): : p q ( r s) m
(pq) (pq) (pq) (pq)
Solucin
e) p (q r)
Segn los signos de coleccin, la proposicin es un Equivalencia distributiva
bicondicional.
- 12 -

Solucin su expediente acadmico mejorar. Por tanto,

p (q r) (p q) ( p r) m )
si estudia, su expediente acadmico mejorar
f) m (m n) (e m)
Ley de absorcin e ( e n) ( n m) ( e m)
Solucin
O tambin:
m (m n) m
1) e
g) s V 2) e n
Ley de identidad
3) n m
Solucin _________
sVs em

c) O Felipe arregla la avera, o Mara se enfadar.

h) a F Mara no est enfadada.
Ley de identidad Por tanto, Felipe arregl la avera.

Solucin
aFa Solucin
1) p q
V.- Traducir al lenguaje simblico las siguientes 2) q
inferencias: ________
p
a) Si Ana despierta a Juan, Elena se enfadar.
Elena no est enfadada. Por tanto, podemos deducir O tambin: (p q) q p
que Ana no despert a Juan.
d) O Carlos va al colegio, o trabaja con su padre.
Solucin Si va al colegio, tendr acceso a un sueldo ms alto.
No tiene un sueldo ms alto.
Si Ana despierta a Juan, Elena se enfadar. Elena Por tanto, Carlos trabaj con su padre
a e
no est enfadada. Por tanto, podemos deducir que Solucin
e
1) c t
Ana no despert a Juan
a 2) c t
(a e ) e a 3) s
________
t
O tambin:
e) Si mi equipo gana el campeonato, ganar
1) a e 10,000 soles y me ir de fiesta toda la noche. Si me
2) e voy de fiesta toda la noche, tendr resaca por la
_______ maana. O mi equipo gana el campeonato, o no me
a llamo zorro rojo. Me llamo zorro rojo. Por tanto,
tendr resaca por la maana.
b) Pablo estudiar este trimestre. Si estudia, sus
notas sern mejores. Si sus notas son mejores, su Solucin
expediente acadmico mejorar. Por tanto, si
estudia, su expediente acadmico mejorar. 1) e (g f )

Solucin 2) f r
3) e z
Pablo estudiar este trimestre. Si estudia, sus notan 4) z
_______
e (e
r
sern mejores. Si sus notas son mejores,
n ) (n O tambin: e ( g f) ( f r) (e z) r
 - 13 -

t (Simplificacin)
VI.-Obtener una conclusin de siguientes tc (Premisa)
conjuntos de premisas:
Por consiguiente, por Modus ponens:
a)
d) Si el mayordomo estaba trabajando la noche del
1) p q crimen, es sospechoso.
2) r p Si no estaba trabajando la noche del crimen,
entonces la vctima no fue envenenada.
Solucin Juan Prez, el detective del caso, encontr a su
Diseamos nuestro camino, ms o menos en la tercer hijo encerrado en un armario y elimin al
siguiente forma: mayordomo como sospechoso.
i) En la premisa 1) podemos utilizar la Ley de
simplificacin, quedndonos con p Solucin
ii) En la premisa 2) podemos utilizar la implicacin
Modus tollens. Traducimos al lenguaje lgico formal.
1) t s
pq (Premisa o dato)
p (Simplificacin) 2) t e
3) c s
rp (Premisa)
Simplificamos 3), luego con 1) utilizamos Modus
tollens; y, finalmente, con 2), utilizamos Modus
Por consiguiente, por Modus tollens: r ponens, as:
b) cs (Premisa)
1) ( p q) r s (Simplificacin)
2) r
ts (Premisa)
3) p s
t (Modus tollens)
Solucin te (Premisa)
Por consiguiente, por Modus ponens: e
Los pasos a seguir sern, aproximadamente los
siguientes:
i) En 1) y en el parntesis utilizamos la EJERCICIO 01
simplificacin, para quedarnos con p.
ii) Con el resultado de la premisa 1), y la 2), 1.- Escribir la recproca, inversa y contrapositiva de:
utilizamos el silogismo disyuntivo. a) p r b) m q c) (p q) r
iii) Finalmente con la premisa 3), utilizamos Modus
d) p (q r) ( r s)
ponens.

( p q) r (Premisa) 2.- Determina la funcin veritativa de cada

proposicin, suponiendo que p y q son verdaderas, r
pr (Simplificacin)
y s son falsas.
r (Premisa)
p (Silogismo disyuntivo) a) p r b) (r s) q c) q (p s)
ps (Premisa) d) ( q s) r e) (s r) (p q)
Por consiguiente: s (Modus tollens)
f) (r p) ( s q)

c) Si la temperatura baja de 0C, el agua se 3.-Indica cules de las siguientes expresiones son
congelar. La temperatura es ms baja de 0C, y el tautologas.
agua no est suficientemente fra. a) p p b) ( p p)
c) (q p ) ( p q) d) ( p) p
Solucin
e) ( p q) ( q r) ( p r)
En primer lugar, traducimos el lenguaje natural al
f) p ( q r) ( p q) r
lenguaje lgico formal, as:

4.- Escribe una expresin equivalente a cada una de

1) t c las siguientes, utilizando la equivalencia o ley
2) t f indicada a la derecha.
HECHO POR MIGUEL AGIP MEGO
a) ( p q) Equivalencia de De Morgan.
Ahora, simplificamos 2) y luego utilizamos
Modus ponens con 1). b) p ( q r) Equivalencia distributiva.
tf (Premisa)
- 14 -

c) ( p q) ( r s) Equiv. conmutativa. satisfecho, o no hay defectos en la obra. Estoy

satisfecho y no hay defectos.
d) a (b c) Ley asociativa.
e) V p (q r)Ley de identidad. 10.- Propn la premisa para demostracin indirecta,
en los siguientes razonamientos vlidos:
5.- Determina el conectivo de mayor jerarqua, y
nombra, segn ello, cada proposicin. a) 1) a b b) 1) b c c) 1) a b
a) ( p q) r b) p q s : : m n 2) a b 2) c d 2) b
_______ 3) d 3) c d
c) p q r s m t
d) m n p r : : q m b __________ 4) a (d e)

e) p ( q r) a (b c) ab _______________
ec
6.- Escribe las proposiciones siguientes, de modo
que no aparezcan smbolos condicionales. Siempre
que sea posible utiliza las equivalencias de De
CIRCUITOS LGICOS
Morgan.
a) p q b) p (q r) c) a ( p t) Circuito en serie.- Los interruptores estn
dispuestos uno a continuacin del otro.
d) ( m n) ( q m) e) ( b t) q
f) ( a b) ( c d)
A + B
p q
7.- Simplificar las siguientes proposiciones
moleculares: Lgicamente, se lo representa como la conjuncin,
a) ( p q) p b) ( p q) p as: p q
c) p ( q p) d) ( p q) ( p q) Circuito en paralelo.- Los interruptores estn
e) ( a b) b a b dispuestos uno al lado del otro.

8.- Obtiene una conclusin de los siguientes grupos p

de premisas: A + B
q

a) 1) p q b) 1) l (m p) c) 1) s t
2) p 2) ( m p) 2) t a Lgicamente, se lo representa con la disyuncin
3) r q 3) l w 3) a b dbil, as: p q
4) s
Circuito mixto.- Los interruptores estn, algunos
en serie y otros en paralelo.
d) 1) ( a b) ( c d) e) 1) r ( p q)
2) (a b) 2) r
p
3) ( c d) (f g) 3) p q
A
9.- Conseguir una conclusin vlida en los + B
siguientes razonamientos: s
r n
a) Si ingreso en un colegio mayor, tendr tiempo
libre. Si tengo tiempo libre, intentar jugar en el m
equipo de ftbol. No he intentado jugar en el equipo
de ftbol. Lgicamente se representa as:

b) Si ahorro har un crucero. Si no ahorro, estar (p q) { s ( r n) m }

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 HECHO POR MIGUEL AGIP MEGO
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
 - 15 -

TABLAS VERITATIVAS PARA CIRCUITOS Construimos una tabla para los circuitos anteriores:
LGICOS

CONJUNCIN p q pq
V V V
1) A + B V F V
p q

2) F V V
A + B
p q F F F

A + B
3) p q

A
PARA MS DE DOS INTERRUPTORES
4) + B
p q En serie:

1) A + B
p q r

p q Pasa elect. 2) A + B
de A a B? p q r
cerrado cerrado si 3) +
A B
cerrado abierto no p q r
abierto cerrado no
4) A + B
abierto abierto no p q r
Construyamos una tabla para los circuitos
5) A + B
anteriores: p q r

p q pq 6) A + B
p q r
V V V
V F F 7) A + B
p q r
F V F
F F F 8) + B
A p q r

Completa la tabla para todas las posibilidades

DISJUNCIN INCLUSIVA O DBIL mostradas en los circuitos anteriores:

p
+ p q r Pasa corriente
A B de A a B?
cerrado cerrado cerrado
q
cerrado cerrado abierto
cerrado abierto cerrado
p cerrado abierto abierto
+
A B abierto cerrado cerrado
q
abierto cerrado abierto
abierto abierto cerrado
p
+
abierto abierto abierto
A B
RESPUESTA: Slo la primera posibilidad es s,
q
cuando los tres interruptores estn cerrados, en
todos los otros casos la respuesta es no.
p
+
A B

HECHO POR MIGUEL AGIP MEGO

p q Pasa corriente
de A a B?
cerrado cerrado si
cerrado abierto si
abierto cerrado si
abierto abierto no
 - 16 -

II.- En paralelo: Solucin

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

en paralelo con r, tenemos:
p p
1) + 5) + ( p q) r
A q B A q B
q
r r b) q
p p p r
2) + 6) +
A q B A q B p q
r r
Solucin
p p
3) + 7) +
A q B A q B 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.
r r
Por lo que el esquema molecular es:
p p p r ( p q)
4) + +
q 8) q
A B A B
2) Grafica los circuitos elctricos para los
r r siguientes esquemas moleculares:

Completa la siguiente tabla, para tres interruptores a) ( p q) r ( p r)

conectados en paralelo:
Solucin
p q r Pasar elct.
de A a B? r
cerrado cerrado cerrado
cerrado cerrado abierto p q
cerrado abierto cerrado
cerrado abierto abierto p q

abierto cerrado cerrado

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

m
RESPUESTA: Slo es no cuando los tres p q
interruptores estn abiertos, en todos los otros casos n
la respuesta es s. q

ESQUEMAS MOLECULARES DE CIRCUITOS r

LGICOS
3) Usa el siguiente circuito para contestar las
Siempre hay que tener en cuenta que, los circuitos cuestiones 1 a 8.
en serie se representan con la conjuncin, y los q
r
circuitos en paralelo, con la disyuncin inclusiva o A r B
dbil.
p q

EJERCICIOS DESARROLLADOS
Pasar la electricidad de A a B, bajo las
1) Cul es el esquema molecular de los siguientes condiciones dadas?
circuitos?
1.- p cerrado q cerrado r cerrado
a)
p q 2.- p cerrado q cerrado r abierto
3.- p cerrado q abierto r cerrado
4.- p cerrado q abierto r abierto
r 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 Tabla lgica

1) no 2) s
3) si 4) no p q pq
5) no 6) s V V V
7) si 8) s
V F V

OPERACIONES CON CONJUNTOS Y F V V

LGICA F F F

CONJUNTOS IGUALES
COMPLEMENTO DE UN CONJUNTO
A = B (x A x B) (x B x A) x A ( x A ) ( x U )

x Ax B A = x / ( x A) ( x U )

SUBCONJUNTOS Tabla pertenencia Tabla lgica

AB x Ax B A A
p p
INTERSECCIN DE CONJUNTOS
V F
F V
x ( A B) ( x A) ( x B)
A B = x / ( x A) ( x B) DIFERENCIA DE CONJUNTOS
x ( A B ) ( x A) ( x B)
Tabla de pertenencia A B = x / ( x A) ( x B)

A B AB
x ( B A ) ( x B) ( x A)
B A = x / ( x B) ( x A)
Tabla de pertenencia

A B AB


Tabla lgica

p q pq
V V V
V F F
F V F Tabla lgica
p q pq
F F F
V V F
UNIN DE CONJUNTOS
x (A B) ( x A) ( x B) V F V
F V F
A B = x / ( x A) ( x B)
F F F
Tabla de pertenencia

A B A B
Tabla de pertenencia

A B BA





- 18 -

Tabla lgica
ALGEBRA DE CONJUNTOS Y
ALGEBRA DE PROPOSICIONES
p q qp
V V F
LEYES DEL LEYES DEL
V F F ALGEBRA ALGEBRADE
F V V DE CONJUNTOS PROPOSICIONES
F F F LEYES DE IDEMPOTENCIA
A A = A pp p
DIFERENCIA SIMTRICA DE CONJUNTOS A A =A pp p
LEYES ASOCIATIVAS
x ( A B)
( A B) C ( p q) r
= A ( B C) p ( q r)
( x A) ( x B) ( x B) ( x A)
( A B) C (p q) r
= A ( B C) p ( q r)
LEYES CONMUTATIVAS
A B =
A B =B A (p q) ( q p)
x / (x A) ( x B) ( x B) ( x A) A B =B A ( p q) (q p)
LEYES DISTRIBUTIVAS
Tabla de pertenencia
A ( B C) p(q r)
A B A B = (A B) (A C) ( p q ) ( p r )
A ( B C) p(q r)
= (A B) (A C) ( p q ) ( p r )

LEYES DE IDENTIDAD

A =A pF p
A U= U pV V
A = pFF
Tabla lgica A U=A pVp
p q pq LEYES DEL COMPLEMENTO
V V F p p V
A A = U
V F V p p F
A A =
F V V (A) = A ( p) p
F F F U = VF
=U
FV
LEYES DE DE MORGAN
HECHO POR MIGUEL AGIP MEGO ( A B ) (pq)
= A B pq
( A B ) (pq)
= A B pq
 - 19 -

EJERCICIO 02 LGICA PREDICATIVA

1.- Escribe la tabla de verdad para cada una de las Es la lgica que estudia las relaciones formales y la
siguientes expresiones moleculares: estructura interna de las proposiciones categricas.
Proposiciones que utilizan en su estructura trminos
a) p p b) ( p p) c) ( p p) como: todos, ninguno, algunos, etc.
Las proposiciones categricas afirman o niegan que
2.- Dibujar el circuito elctrico para las siguientes una clase o conjunto, est incluido total o
expresiones moleculares: parcialmente en otra clase o conjunto.
Para manejar estas proposiciones se utiliza el
a) p ( q r) ( m n) lenguaje booleano y los diagramas de Venn.

CLASE.- Designamos as al conjunto cuyos

b) p m ( p q) r elementos tienen una propiedad comn.

c) ( p p) ( p q ) Ejemplos:
- hombres- peses - filsofos- rectngulos -etc.
d) ( a b ) ( p q ) ( a b )
NOTACIN DE LAS CLASES
3.- Escribir la expresin lgica molecular que Las clases, como son conjuntos, las denotamos con
corresponde a cada circuito: letras maysculas, as:
- carnvoros: C - postulantes: P
a) p q
- hombres: H - filsofos: F
s B
A
r r DIAGRAMAS DE CLASES Y LENGUAJE
BOOLEANO
B
b)
I.- PARA UN CONJUNTO (S)
u s Clase Universal.- Clase en la cual se encuentran
q
p contenidos los dems conjuntos.
m t t Su diagrama es un cuadriltero, y su smbolo es U.
B q
q t
U
p r r w p

Clase Vaca.- Sinnimo de conjunto vaco. Su

4.- Escribe la tabla de pertenencia y la tabla lgica diagrama es un crculo sombreado, y se denota con
para: S= .

a) A ( B C) U
S S=
b) A

c) A U Complemento de una Clase.- Conjunto de

elementos que pertenecen a la Clase Universal, pero
d) A A no a la Clase en mencin. Su diagrama es la zona
de U que no est en la clase mencionada,
e) ( A) sombreada. Se denota con una barra sobre la letra
que denota a la clase mencionada.
f)
U
g) A A S
S =
- 20 -

Clase no vaca.- Tiene por lo menos un elemento, Conjunto no vaco (P)

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

Complemento no vaco.- Significa que el P

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

II.- PARA DOS CONJUNTOS (S, P) P

Conjunto vaco (S):

III.- PARA TRES CONJUNTOS (S, P, R)
U
S P 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) As: SP, significa S P; S P, significa S P

U PARA DOS CONJUNTOS

S P

U
P
S

SP SP
P= SP
Conjunto no vaco (S)
S P
U
S P

x PARA TRES CONJUNTOS

P U
S
S
S PR SP R SPR
U SPR
S P
S PR
SPR
xx
R
SP R
SPR
S
 - 21 -

DESCRIPCIN DE ZONAS SOMBREADAS ELEMENTOS FORMALES DE LAS

PROPOSICIONES CATEGRICAS
Usando la simbologa anterior podemos describir
figuras sombreadas, as: A.- CUANTIFICADOR(CANTIDAD).- Trmino
que seala la cantidad de elementos de la clase
U SUJETO, que estn en relacin con la clase
S P 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)
Cuantificador particular.- Trmino que se refiere
slo a una parte de los elementos de una clase.
U Utiliza palabras como: algn, algunos,
S algunas. Etc.

S P 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
P S = (Todo S es P) verbo SER o ESTAR. Su notacin se hace con S.

U D.- PREDICADO.- Trmino independiente que

S P 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

SP = (Ningn S es P) que se realiza a travs del verbo.
U EJEMPLOS
S P
x 1) Todos los vertebrados son animales
S P
(Universal afirmativa): UA

2) Algunos pjaros son rojos

SP (Algunos S son P) S P
(Particular afirmativa): PA
U 3) Ningn nio es ladrn de nacimiento
S P
S P
(Universal negativa): UN
x
4) Los hombres con sabidura son los ms santos
S P
(Universal afirmativa): UA
S P (Algunos S no son P)

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

S P
(Particular negativa): PN
x

HECHO POR MIGUEL AGIP MEGO

S P (Algunos P no son S)
- 22 -

TIPOS DE PROPOSICIONES CATEGRICAS ESQUEMA DE LAS PROPOSICIONES

CATEGRICAS
NOT FORMA CANTIDAD Y CALIDAD

OPERACIN CANT CAL FORMA MODO

FORMA FRMULA DE CONJUNTO LG
TPICA BOOLEANA
U A Todo S A
SaP inclusin total Es P
SP=
U N Ningn S E
SeP SP = exclusin total Es P
P A Algunos S I
SiP SP inclusin parcial son P
P N Algunos S O
SoP exclusin parcial
SP no son P

a Todo S es Universal afirmativa (UA) APLICACIN DE FRMULAS BOOLEANAS

e Ningn S es P Universal negativa (UN)
i Algn S es P Particular afirmativa (PA)
o 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.
En el tipo a, el trmino distribuido es el sujeto.
En el tipo e, el sujeto y el predicado estn
distribuidos.
En el tipo i, no hay trmino distribuido.
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
Algunos no universitarios son incultos.
Forma tpica: (S i P)
D iV
Frmula booleana: S i P

En el tipo o, el trmino distribuido es el SP ; es decir: D i V D V

predicado.

CUADRO DE BOECIO x

a CONTRARIAS e D V
SUBALTERNANTE SUBALTERNANTE

CONTRADICTORIAS Segundo caso.- Si en una proposicin categrica, el

CUANTIFICADOR se encuentra NEGADO; se
SUBALTERNA SUBALTERNA introduce la negacin a la frmula booleana.
i SUBCONTRARIAS o
EJEMPLO
El cuadro anterior, se llama tambin cuadro de
oposiciones, y es atribuido al filsofo de la edad Es imposible que todo len sea cordero
media Boecio
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

x categrica que contiene al trmino mayor y al
L C
trmino medio.

Tercer caso.- Si en una proposicin categrica, el

CUANTIFICADOR es UNIVERSAL y el verbo PREMISA MENOR (Pm).- Proposicin
copulativo est NEGADO, la negacin funciona categrica que contiene al trmino medio y al
como si negara al cuantificador. trmino menor.

EJEMPLO CONCLUSIN (C).- Proposicin categrica que

se deriva de las premisas, mayor y menor.
Todo hombre no es mujer. Se diferencia de las premisas, mayor y menor,
Funciona as: No todo hombre es mujer. porque contiene slo al trmino mayor y al trmino
Forma tpica: ( S a P) : ( H a M) menor.
Premisa mayor (PM)
Premisa menor (Pm)
Frmula booleana: ( H a P) : ( H M = ) ________________
H M Conclusin (C)

II.-TRMINOS

TRMINO MAYOR (P).- Clase o conjunto que

x cumple la funcin de ser siempre PREDICADO EN
H M
LA CONCLUSIN, estando tambin contenida en
la premisa mayor; como sujeto o predicado.
Cuarto caso.- Cuando el cuantificador, TODO,
NINGUNO, ALGN, no se encuentran en forma TRMINO MEDIO (M).- Es la clase o conjunto
explicita, se debe interpretar y transformar a una de contenido EXCLUSIVAMENTE en las premisas
las formas tpicas, segn el contenido de la mayor y menor. No est EN NINGN CASO en la
proposicin categrica. conclusin.

EJEMPLOS TRMINO MENOR (S).- Clase o conjunto

contenido en la PREMISA MENOR, como sujeto o
a) Los atletas son ordenados predicado.
Todo atleta es ordenado.
EJEMPLO
b) Hay plantas que son carnvoras
Algunas plantas son carnvoras. PM: Toda fruta es vegetal
(Toda F es V)
c) Un rbol no es eucalipto P: Vegetal (V)
Algn rbol no es eucalipto.
Pm: Toda naranja es fruta
d) Un gobernante es honesto (Toda N es F)
Algn gobernante es honesto. M: Fruta (F)
_________________________
SILOGISMO CATEGRICO C: Toda naranja es vegetal
(Toda N es V)
INFERENCIA CATEGRICA S: Naranja(N)

Definicin.- El silogismo categrico es una FORMA DE UN SILOGISMO CATEGRICO

inferencia mediata constituida por slo dos
premisas, de las que se obtiene una tercera La forma del silogismo o inferencia categrica, lo
proposicin categrica llamada conclusin. determinan su modo y su figura.
FORMA = MODO + FIGURA
- 24 -

FIGURAS DEL SILOGISMO

EJEMPLOS
De acuerdo a la posicin del trmino medio (M), en
las premisas del silogismo, se conocen cuatro 1) PM Todo parlamentario es funcionario P a F
figuras. M P
Pm Alguna mujer es parlamentaria M i P
Primera.- El trmino medio es sujeto de la premisa S M
mayor y predicado de la premisa menor. ___________________________ _______
C Alguna mujer es funcionaria M i F
Segunda.- El trmino medio es predicado de la S P
premisa mayor y predicado de la premisa menor. Modo: aii

Tercera.- El trmino medio es sujeto de la premisa 2) El modo del silogismo de la primera figura
mayor y sujeto de la premisa menor. anterior es aaa

Cuarta.- El trmino medio es predicado de la El modo del silogismo de la segunda figura anterior
premisa mayor y sujeto de la premisa menor. es aee

RESUMEN: El modo del silogismo de la tercera figura anterior

es aii
1 FIG 2 FIG 3 FIG 4 FIG
(PM) M P P M M P P M El modo del silogismo de la cuarta figura anterior
(Pm) S M S M M S M S es iai

* Cada figura del silogismo tiene 64 modos, de los

cuales slo 24 son vlidas. De las cuales 19 llevan
nombres latinos.
EJEMPLOS
a a a a a a a a a a a a a a a a
a a a a e e e e i i i i o o o o
Primera figura:
a e i o a e i o a e i o a e i o
PM Toda fruta es vegetal FaV M P e e e e e e e e e e e e e e e e
Pm Toda naranja es fruta NaF S M a a a a e e e e i i i i oo o o
___ ________________ _____ _____ a e i o a e i o a e i o a e i o
C Toda naranja es vegetal NaV S P i i i i i i i i i i i i i i i i
a a a a e e e e i i i i o o o o
Segunda figura: a e i o a e i o a e i o a e i o
o o o o o o o o o o o o o o o o
PM Toda ameba es protozoario AaP P M a a a a e e e e i i i i o o o o
Pm Ningn metazoario es protozoario M e P S M a e i o a e i o a e i o a e i o
___ __________________________ _____ _____
C Ningn metazoario es ameba MeA S P
1 FIGURA 3 FIGURA
Tercera figura:
Brbara Darapii
PM Todo trapecista es atleta TaA M P Celerent Felapton
Pm Algn trapecista es cubano Ti C M S Darii Datisi
___ ______________________ _____ ______ Ferio Disamis
C Algn cubano es atleta CiA S P Aai Bocardo
Eao Ferison
Cuarta figura:
2 FIGURA 4 FIGURA
PM Algn hombre es nio H iN P M
Pm Todo nio es alegre NaA M S Cesare Bamalip
___ ___________________ _____ ______
Camestres Camenes
C Algn alegre es hombre AiH S P
Festino Dimatis
Baroco Fesapo
Aeo Fresison
MODOS DEL SILOGISMO Eao Aeo

Provienen de la combinacin de las letras, a, e, * Modo Vocales

i, o, que representan los tipos de proposiciones
categricas, en las tres posiciones, dos premisas y
en la conclusin.
 - 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
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.

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
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

I.- De dos premisas afirmativas, la conclusin es aai 1

afirmativa. No puede seguirse una conclusin SILOGISMO VLIDO (BAMALIP)
negativa.
5) Ningn plomero es ocioso
II.- De dos premisas negativas nada se concluye. 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

eae 1
dbil. Se entiende como la parte dbil, a lo 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)
7) Ningn empresario es indulgente
No todo artista es empresario
NO TIENE CONCLUSIN LGICA
(POR LA REGLA II)
8) Algunos demcratas no son conservadores
Todos los conservadores son ilusos
Algunos ilusos no son demcratas
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
SILOGISMO VLIDO (FERISON)
10) Todos los monos son mamferos
P M
Todos los perros son mamferos
S M
Algunos perros son monos
S P
aai 2
SILOGISMO INVLIDO. INFRINGE LA
REGLA N 3
(FALACIA DEL MEDIO ILCITO)
11) Todos los deportistas son viajeros
Algunos ricos no son deportistas
Algunos ricos no son viajeros
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
SILOGISMO INVLIDO. INFRINGE LA
REGLA N 3
(FALACIA DEL MEDIO ILCITO)
13) U. N. Todos los jubilados no son ancianos
P. N. Algunos trabajadores son jubilados
NO TIENE CONCLUSIN LGICA
(POR LA REGLA II)
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
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)
16) U. N. Ningn inversionista es inseguro
P M
P. A. Algunos inseguros son jvenes
M S
P. N Algunos jvenes no son inversionistas
S P
eio 4
SILOGISMO VLIDO (FRESISON)
INFERENCIAS INMEDIATAS
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.
I.- INFERENCIAS POR CONVERSIN
El sujeto y el predicado de la premisa, se permutan
en la conclusin, manteniendo la calidad.
 - 27 -

CONVERSIN SIMPLE 2) PREMISA: Todos los pollos son aves

S a P
La premisa y la conclusin mantienen igual calidad
e igual cantidad. CONCLUSIN Algunas aves son pollos
P i S
a NO TIENE
3) PREMISA: Ningn rectngulo es tringulo
S e P
e e S e P P e S; V V; F F
CONCLUSIN: Algunos tringulos no son
i i S i P P i P: V V; F F rectngulos
P o S
o NO TIENE
II.- INFERENCUAS POR OBSERVACIN
EJEMPLOS
Se cambia la calidad, y se mantiene la cantidad. El
1) PREMISA: Algunos polticos son abogados. sujeto de la premisa se mantiene en la conclusin.
S i P Se busca el complemento despredicado, que se
CONCLUSIN: Algunos abogados son polticos.
P i S denota con P o P, el que se lee no P.

2) PREMISA: Todos los gatos son carnvoros a e S a PSe P

P i S

CONCLUSIN (NO TIENE CONVERSA

ea S e PS a P
LCITA)
io S i P S o P
3) PREMISA: Ningn varn es mujer
P e S
oi S o PS i P
CONCLUSIN: Ninguna mujer es varn
S e P EJEMPLOS
4) PREMISA: Algunos polgonos no son 1) PREMISA: Algunos peruanos son pobres
tringulos. S i P
P o S
CONCLUSIN: Algunos peruanos no son no
CONCLUSIN (NO TIENE CONVERSA pobres (no pobre rico)
LCITA)
S o P
5) PREMISA: Algunos Policas son taxista
P i S 2) PREMISA: Todos los cuervos son
vertebrados
CONCLUSIN: algunos taxistas son policas S a P
S i P
CONCLUSIN: Ningn cuervo es invertebrado
CONVERSIN ACCIDENTAL S e P
Premisa y conclusin mantienen su calidad, pero
cambian su cantidad. 3) PREMISA: Ningn peruano es rico
S e P
ai S a P P i S; V V; F ?
CONCLUSIN: Todos los peruanos son pobres
(pobre no rico)
e o S e P P o S: V V; F ?
S a P
4) PREMISA: Algunos inmorales son insensatos
EJEMPLOS
S i P
1) PREMISA: Ningn atleta es ocioso
S e P CONCLUSIN: Algunos inmorales no son
sensatos
CONCLUSIN: Algunos ociosos no son atletas S o P ( P) P
P o S
- 28 -

3) a contraria de a
5) PREMISA: Todos los mortales son es e
inhumanos
S a P 4) La subalterna de a
es i
CONCLUSIN: Ningn mortal es humano ( no
inhumano humano) 5) La subcontraria de la contradictoria de a
S e P es i

III.- INFERENCIAS POR OPOSICIN

(CUADRO DE BOECIO) 6) La subalternante de la contradictoria de e
es a
A.- POR EQUIVALENCIA: Se establecen entre
7) La contradictoria de la subalterna de e
las CONTRADICTORIAS.
es a
a o y viceversa 8) La subcontraria de la subalterna de la
subalternante de o
e i y viceversa es i

9) La subalterna de la contraria de la contradictoria

i e y viceversa de i
es i
o a y viceversa
10) La contradictoria de la contradictoria de la
* Ambas contradictorias no suelen tener el mismo contraria de la contraria de a
valor de verdad. es a

B.- POR IMPLICACIN: 11) La subalterna de la contraria de la

contradictoria de la subcontraria de i
1) ENTRE LAS CONTRARIAS: es o

a e e a 12) Conversa de la subalterna de:

2) ENTRE LAS SUBCONTRARIAS: Todos los escritores son soadores

S a P
i o o i Algunos escritores son soadores
S i P
3) ENTRE LAS SUBALTERNAS:
Algunos soadores son escritores
P i S
a i e o
13) Contradictoria de la subcontraria de:
4) ENTRE LAS SUBALTERNANTES:
Algunos polticos son cajamarquinos
i a o e S i P
Algunos polticos no son cajamarquinos
S o P
** Las dems relaciones posibles no son vlidas; lo
que significa que la conclusin queda en suspenso o
indeterminada. Todos los alcaldes son cajamarquinos
S a P
EJEMPLOS
14) Conversa de la contradictoria de:
1) La contradictoria de e
es i Todos los leones son cazadores
S a P
2) La subcontraria de o Algunos leones no son cazadores
es i S o P

NO TIENE CONVERSA LCITA

 - 29 -

S P
15) Observa de la conversa de: b) PM Todo analfabeto es pobre
M P
Ningn guila es pacfica Pm Todo analfabeto es campesino
S e P M S
Algunos pacficos son guilas ________________________
P i S C Todo campesino es pobre
S P
Todos los pacficos son no guilas
P a S
2) Expresamos la premisa y conclusin en su
16) La subalternante de la contradictoria de la
forma tpica
subcontraria de:
Algunos abogados son fiscales
As:
S i P
Algunos abogados no son fiscales
a) PM HaM
S o P
Pm P i H
Todos los abogados son fiscales
_____
S a P
C P i M
NO TIENE CONCLUSIN
b) PM A a P
Pm A a C
17) La observa de la conversa de la observa de: ______
Algunos polticos no son dignos C C a P
S o P
Algunos polticos son indignos 3) Transformamos las formas tpicas a frmulas
booleanas
S i P
Algunos indignos son polticos As:
P i S
a)PM HM = b) PM AP =
Algunos indignos no son apolticos
Pm PH Pm AC =
P o S ________ _________
C PM C CP =
B.-PRUEBA DE VALIDEZ O INVALIDEZ DE
UN SILOGISMO POR EL MTODO DE LOS 4) Graficamos la premisas, hacindolo primero
DIAGRAMAS DE VENN la proposicin categrica universal, cuando una
es particular y la otra universal. Si la particular
Para usar correctamente los diagramas de Venn- se refiera a dos reas, el aspa se coloca en la
Euler, en la prueba de validez o invalidez de un lnea comn a ambas.
silogismo, seguiremos los siguientes pasos: Cada smbolo de la proposicin se refiere, por lo
general, a dos zonas, salvo el caso que una de
1) Determinamos premisas y conclusin ellas ya est diagramada.

EJEMPLOS
a) Si todo hombre es mortal, sin embargo algn
poltico es hombre. En consecuencia, algn poltico
es mortal. HECHO POR MIGUEL AGIP MEGO

b) Todo campesino es pobre. Ya que, todo

analfabeto es pobre y todo analfabeto es campesino.

As:

a) PM Todo hombre es mortal

M P
Pm Algn poltico es hombre
S M
____________________
C Algn poltico es mortal
- 30 -

S M
As: ________________________
C Todos los pinos son verdes
S P
P M * P: Trmino mayor
a)
M: Trmino medio
Premisa S: Trmino menor
Mayor
H
2)
P M
PM: Ma P
Premisa x
Pm: S a M
menor
______
H C S a P

3)
C P
b)
Premisa PM: MP =
Mayor
Pm: SM =
________
A C SP =
C P
Premisa
menor
4)
S P
A

5) Determinamos si el silogismo es vlido o

invlido, considerando: Si la conclusin est
graficada, con toda precisin, en el diagrama de M
las premisas, es vlido. Si no est representada
en dicho diagrama, el silogismo es invlido. 5) EL SILOGISMO ES VLIDO porque la
conclusin queda graficada al diagramarlas
As: premisas.
a) La conclusin: P i M (PM ) d) Evaluar el siguiente silogismo:
Est graficada en el diagrama de las premisas Todos los animales voladores son aves. Ningn
Por lo tanto: murcilago es ave.
El silogismo categrico aii 1 es vlido. Entonces, todos los murcilagos son animales
voladores.
b) La conclusin: C a P (C P = )
Solucin
No est graficada en el diagrama de las premisas.
Por tanto: El silogismo aaa 3 es invlido PM: Todos los animales voladores son aves
P M
Pm: Ningn murcilago es ave
MS EJEMPLOS S M
____________________________________
c) Evaluar el silogismo: Si todos los rboles son C Todos los murcilagos son animales voladores
verdes, y todos los pinos son rboles. Entonces, S P
todos los pinos son verdes.
S P
PM =
SM =
Solucin
________
1) SP =
M
PM: Todos los rboles son verdes
M P
Pm: 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 Solucin

a lo establecido por las premisas.
PM: Todos los tigres son giles
e) Evaluar el siguiente silogismo: P M
Todos los chotanos son peruanos. Todos los Pm: Algunos limeos son giles
peruanos son americanos. Entonces todos los S M
americanos son chotanos. _____________________

Solucin C: Algunos limeos son tigres

S P
PM: Todos los chotanos son peruanos
P M
Pm: Todos los peruanos son americanos S P P M =
M S
_____________________________ SM
C: Todos los americanos son chotanos
x ________
S P SP
M

S P PM =
De acuerdo al diagrama, el silogismo es invlido,
MS = porque el rea que corresponde a la conclusin
________
resulta demasiado restringida con respecto a lo que
M SP = establecen las premisas.
(Las premisas establecen que hay elementos en
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
Pm: Algunos camanejos son arequipeo
S M
_____________________________
C: Algunos camanejos no son puneos
S P
S
P 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.
g) Evaluar el siguiente silogismo:
Todos los tigres son giles. Algunos limeos son
giles. Por tanto, algunos limeos son tigres.
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.
HECHO POR MIGUEL AGIP MEGO
- 32 -

6) La observa de la conversa de la observa de: 11) Reconocer la forma tpica de la conclusin del
Algunos polticos no son dignosEs: siguiente silogismo.
a) Algunos indignos no son polticos
b) Algunos indignos son polticos
c) Algunos polticos son indignos U
S P
d) Todos los polticos son dignos
e) NA.

7) Determina la forma del silogismo:

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

8) Determina las formas booleanas del siguiente d) S I P e) S o P

silogismo:

Toda estrella es un astro. Pero es falso que todo

planeta sea astro. Por tanto, no todo planeta es 12) Seale loa trminos: mayor, menor y medio, de
estrella los siguientes silogismos:

a) E A = b) EA = c) EA = a) Todo lo til es digno de aprecio

Todas las ciencias son tiles
P A PA P A = Todas las ciencias son dignas de aprecio
________ ________ ________
PE = PE PE = b) Todo obrero es hombre de accin
Ningn abogado es obrero
d) E A = e) E A = Ningn abogado es hombre de accin
PA = PA =
c) Todos los chotanos son seres humanos
________ ________
Algunos seres humanos son abogados
PE PE = Algunos abogados son chotanos

9) Determinar la conclusin de las siguientes d) Todos los sabios son humildes

premisas: Si ningn P es M y algn M es S. luego: Todos los sabios son estudiosos
Todos los estudiosos son humildes
a) no todo no S es P
b) no todo S es P 13) Coloque la conclusin vlida que siga de las
c) no es cierto que algn S sea P premisas, e indique a su vez la figura del silogismo:
d) todo S es no P a) Todos los peruanos son americanos
e) todo no S es no P Todos los limeos son peruanos
b) Algunos grillos no son peces
10) Determina la forma del siguiente silogismo. Todos los grillos son animales
c) Ningn canario es felino
U Algunos animales son felinos
d) Todos los seres laboriosos son dignos de ser
S P imitados
Algunos animales son laboriosos
xx e) Ninguna medicina es agradable
Algunas infusiones son medicinas
M 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:
a) aie-2 b) aii-4 c) aii-4
a) aaa-1
d) aei-3 e) aii-2 S P

M
 - 33 -

b) oao-4 17) Todos los arequipeos son efusivos, algunos

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

a) b) c)
PM = PM = PM =
M SM SM SM
_______ _______ _______
SP = SP SP
c) aee-4 S P
d) e)
PM PM
SM = SM =
M _______ _______
SP SP

d) eoi-3 S P 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

c) Cuando menos una de las proposiciones tiene

S P que ser negativa
e) eae-2
d) La conclusin sigue a la premisa ms dbil

e) De dos premisas particulares nada se concluye

M
19) Un silogismo es lgicamente vlido si al ser
graficadas las premisas mediante los diagramas de
S P Venn queda automticamente graficada:

f) eio-3 a) una parte de la conclusin

b) una parte de la premisa anterior
c) la premisa mayor
M d) la conclusin
e) slo una de las premisas

15) El silogismo categrico se caracteriza 20) El siguiente silogismo es vlido: Todos los
fundamentalmente por tener: caballos son herbvoros y ningn herbvoro es
a) Slo una premisa y conclusin tiburn; por tanto, ningn tiburn es caballo.
b) dos premisas y conclusin Identifique el diagrama que lo simboliza.
c) cualquier nmero de premisas a)
d) premisas y conclusin
e) varias proposiciones S P
16) En un silogismo categrico encontramos lo
siguiente:
a) trmino mayor y medio en la conclusin
x
b) trmino medio y menor en la conclusin M
c) trmino mayor y menor slo en las premisas
d) trmino medio slo en las premisas
e) trmino medio tanto en premisas y conclusin
HECHO POR MIGUEL AGIP MEGO
- 34 -

b) I.- FALACIAS DE LA LGICA

PROPOSICIONAL
P a) Falacia del Modus Ponens.
Esquemticamente, tenemos:

Forma correcta: (p q) p q
M
Falacia: (p q) q p
c)
b) Falacia del Modus Tollens.
Esquemticamente tenemos:
P
S
Forma correcta: (p q) q p

M Falacia: (p q) p q
c) Falacia del silogismo disyuntivo.

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

S P Falacia: (p q) p) q
(p q) p q

II.- FALACIAS DEL SILOGISMO

M CATEGRICO

a) Falacia del mayor ilcito.

e) El trmino mayor aparece distribuido en la

conclusin pero no en la premisa mayor.
S P
Todos los perros son vertebrados
M P
Ningn loro es perro
S M
M __________________________
Ningn loro es vertebrado
S P

FALACIAS b) Falacia del menor ilcito.

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.
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

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).
Se sostiene que una proposicin es verdadera,
simplemente porque no se ha demostrado su
falsedad o viceversa.
Como no se ha podido demostrar lo contrario,
entonces el diablo existe
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.
- 35 -
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
2) El equvoco.
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).
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 a) Falacia ad hominem
siguientes razonamientos: b) Falacia argumentum ad ignorantiam
c) Falacia del equvoco
1) Juan ser un gran cantante si practica mucho el d) Falacia de ignoratio elenchi
canto. Pero Juan no practic canto. Por tanto, no e) NA.
ser un gran cantante.
4) Todos los profesores son puntuales. Algunos
a) Falacia del medio ilcito jvenes son puntuales. Entonces, algunos
b) Falacia del mayor ilcito profesores son jvenes.
c) Falacia del Modus Tollens
d) Falacia del Modus Ponens a) Falacia del medio ilcito
e) Falacia del silogismo disyuntivo b) Falacia del mayor ilcito
c) Falacia ad hominem
2) O juegas o estudias. Pero es el caso que estudias. d) Falacia del medio ilcito
Entonces, no juegas e) Falacia non causa pro causa

a) Falacia del menor ilcito 5) El fin de la vida es la muerte, pero tambin, el fin
b) Falacia del equvoco de la vida es la realizacin personal. Por lo tanto, la
c) Falacia ad hominem realizacin personal se logra con la muerte.
d) Falacia del silogismo disyuntivo
e) Falacia de la anfibologa a) Falacia del silogismo disyuntivo
b) Falacia del medio ilcito
3) Todo lo que hagan los polticos es malo, porque c) Falacia del equvoco
siempre han demostrado que son interesados y d) Falacia del argumentum ad baculum
nadie les cree. e) NA.

HECHO POR MIGUEL AGIP MEGO

 - 37 -

SOLUCIONARIO b) ; Condicional

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)} E.C.
(r s) [p (q r) { a (p t )} {a (p t )} D.M.
{a (p t )} {a ( p t )} D.M.
2,. d) { ( m n ) (q m) }
a) p r
V (V) V F { ( m n ) (q m ) } E.C.
1 3 2 1
{ ( m n ) (q m ) }
b) (r s) q
F F F (V) V { ( m n ) (q m ) } D.M.
1 2 1 3 1
c) q ( p s) e) { ( b t ) q } { ( b t ) q } E.C.
V (F) V F F { ( b t ) q } { ( b t ) q } D.M.
1 3 1 2 1
f) { ( a b ) ( c d ) }
d) ( q s) r
V F F (V) F { ( a b ) ( c d ) } E.C.
1 2 1 3 1 { ( a b ) ( c d ) }
{(ab)(cd)} Inv.
e) ( S r) ( p q)
F V F (V) V V V
7.-
1 2 1 3 1 2 1
a) ( p q ) p
f) [ ( r p ) ( s q )] (p q ) p D.M.
(F) F V V V F V V (p p ) q Asoc.
4 1 2 1 3 1 2 1
p q I.P.
3.- Son tautologas: b) { ( p q ) p }
b); d); e); f) { ( p q ) p } E.C.
{ ( p q ) p } D.M.
4.-
{ ( p p ) q } Asoc.
a) (p q) ( p q ) E. C.
F q N.C.
( p q) p q D. M.
F I.

b) p ( q r ) ( p q ) ( p r ) E. D.
c) p ( q p )
( p p ) q Asoc.
c) ( p q ) ( r s ) ( r s ) ( p q ) Conm.
Vq T.E.
V I.
d) a ( b c ) ( a b ) c Asoc.

e) V { p ( q r )} V
5.-
a) ; Bicondicional
d) (p q ) ( p q )
I
( p q ) ( p q ) D.M.
V T.E.
- 38 -

9.-
e) [{( a b ) b } a ] b a)
[{ ( a b ) b } a ] b E.C. Simbolizacin
[ { ( a b ) b } a ] b D.M. 1) M L
[ { a ( b b ) } a ] b Asoc. 2) L F
[ { a b} a ] b I.P. 3) F
[ ( a a ) b ] b Asoc. Deduccin de una conclusin
[ a b ] b I.P. 1) M L Premisa
a ( b b) Asoc. 2) L F Premisa
a F N.C. 3) M F S.H. 1) y 2)
F I.
4) F Premisa
8.- 5) M M.T. 3) y 4)
a) M : No he ingresado a un colegio mayor
1) p q Premisa
b)
2) p Premisa
3) q M.P. 1) y 2) Simbolizacin
4) r q Premisa 1) A C
5) r M.T. 3) y 4) 2) A D
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 Premisa 2) I C Premisa
5) w M.P. 3) y 4 )
3) C S.D. 1) y 2)
c) 4) A C Premisa
1) s t Premisa 5) A M.T. 3) y 4)
2) s Premisa 6) A D Premisa
3) t S.D. 1) y 2) 7) D M.P. 5) y 6)
4) t a Premisa
5) a S.D. 3) y 4) D : Estar sin dinero
6) a b Premisa
7) b M.P. 5) y 6) c)

Simbolizacin
1) ( x y ) z
2) x
d)
1) ( a b ) ( c d ) Premisa Deduccin de una conclusin
2) ( a b ) Premisa 1) ( x y ) z Premisa
2) x Premisa
3) c d M.P. 1) y 2)
4) ( c d ) ( f g ) Premisa 3) x y A.D. 2)
4) z M.P. 1) y 3)
5) f g S.D. 3) y 4)
6) f Simp. 5)
Z : Z es mayor que T
e)
d)
1) r ( p q ) Premisa
2) r Premisa
Simbolizacin
3) p q M.P. 1) y 2)
1) T P
4) p Premisa
5) q S.D. 3) y 4) 2) P ( S D )
3) S D
 - 39 -

Obtencin de una conclusin c)

1) S D Premisa m
p
2) ( S D ) Premisa r
( S D ) S D D.M.
q
3) P ( S D ) Premisa

4) P M.T. 2) y 3) d)

a p
5) T P Premisa

6) T S.D. 4) y 5) b q
T : La casa se acab a tiempo

10.- a b

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.-
|{ r ( t w )}| |(p q ) ( p t r )|]
a) p p
V V F V 4.-
F V V F
(1) (3) (2) (1) a)

b) ( p p ) Tabla de pertenencia
F V V F V
F F V V F A B C A (B C)
(4) (1) (3) (2) (1)

c) { ( p p)}
V F V V F V
V F F V V F

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


2.-
1 3 1 2 1
a)
Tabla lgica
p m
p q r p (q r)
V V V V V V V V
q r n V V F V V V F F
V F V V V F F V
V F F V V F F F

b) F V V F V V V V
p q
F V F F F V F F
F F V F F F F V
F F F F F F F F
p q
1 3 1 2 1
- 40 -

b) Tabla de pertenencia Tabla lgica

A A P ( p)

V V F

F F V
1 2 1 2 1

Tabla lgica f)

p p F Tabla de pertenencia
V V F F
F F F F
1 2 1
1 2

c) Tabla lgica
Tabla de pertenencia F F

A A U F V F

2 1


1 2 1 g)

Tabla de pertenencia
Tabla lgica
A A A
p p V

V V V V
F F V V
1 2 1 1 2 1

Tabla lgica
d)
p p p
Tabla de pertenencia
V V V F
A A A F F V V
1 2 1


1 2 1

EJERCICIO 03
Tabla lgica
1.-
p p p Subalterna: Algunos camaleones no son domsticos
V V F F
F F F V Conversa: Algunos domsticos no son camaleones
1 2 1
2.-
Subcontraria: Algunos empresarios son cantantes
e)
Contradictoria: Ningn empresario es cantante
Tabla de pertenencia
3.-
A ( A )
Contradictoria: o
Conversa: No tiene

1 2 4.-
Conversa: No tiene
Observa: No tiene
 - 41 -

5.-
10.-
Conversa: i S
Observa: o P
Contradictoria: a

6.-

Observa: Algunos polticos son dignos

Conversa: Algunos dignos son polticos
M
Observa: Algunos polticos no son dignos
Todo M es S
7.-
MPa
Ningn calvo tiene cabello e
P M
S
Algn beb tiene cabello i P
S M
___________________________
Algn beb no es calvo o
S P

2da figura: P M M
SM
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
No todo planeta es estrella P

( 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

HECHO POR MIGUEL AGIP MEGO
M P
Todas las ciencias son tiles
S M
_________________________________
Todas las ciencias son dignas de aprecio
S P
- 42 -

S P
d)
b)
Todos los seres laboriosos son dignos
Todo obrero es hombre de accin M
M P de ser imitados
P
Ningn abogado es obrero Algunos animales son laboriosos
S M S M
_______________________________ ____________________________________
Ningn abogado es hombre de accin Algunos animales son dignos de ser imitados
S P S P
c)
aii -1
Todos los chotanos son seres humanos e)
P M
Algunos seres humanos son abogados Ninguna medicina es agradable
M S M P
________________________________ Algunas infusiones son medicinas
Algunos abogados son chotanos S M
S P _______________________________
d) Algunas infusiones no son agradables
S P
Todos los sabios son humildes
M P eio 1
Todos los sabios son estudiosos
M S 14.-
____________________________
Todos los estudiosos son humildes a) aaa 1
S P
1ra figura
13.- S P MaP
SaP
a) _____
SaP
Todos los peruanos son americanos VLIDO
M P M
Todos los limeos son peruanos
S M
____________________________ b) oao - 4
Todos los limeos son americanos

aaa 1 S P 4ta figura

PoM
b) x MaS
x ______
Algunos grillos no son peces SoP
M P INVLIDO
Todos los grillos son animales M
M S
_________________________
Algunos animales no son peces c) aee - 4
S P

oao 3 S P
c) 3ra figura
MaP
Ningn canario es felino MeS
P M ________
Algunos animales son felinos M SeP
S M VLIDO
___________________________
Algunos animales no son canarios
 - 43 -

d) eoi - 3 18.-

RPTA: c )
S P
3ra figura 19.-
x MeP
MoS RPTA: d)
x ______
SiP
M INVLIDO 20.-

Todos los caballos son herbvoros P a M

P M
e) eae 2
Ningn herbvoro es tiburn M e S
P 2da figura M S
S PeM ______________________________
SaM Ningn tiburn es caballo S e P
_______ S P
SeP
VLIDO S P
M
P aM

f) eio - 3 M

S P 3ra figura
MeP
MiS S P M eS
x _______
x
SoP
VLIDO
M
M
15.-

RPTA: b)
S e P
16.- S P
RPTA: d)

17.-
M
Todos los arequipeos son efusivos PM
P M Unin de 3 zonas Sombreadas

Algunos limeos son efusivos SM

S M S P
______________________________________
Algunos limeos son arequipeos SP RPTA: b)
S P
RPTA: c)
M
- 44 -

2.-
EJERCICIO 04
1) O juegas o estudias
1.- J e
2) Estudias
1) Si practica mucho el canto, Juan ser E
p _________
un gran cantante No juegas
c
j
2) Juan no practic canto 1) j e
2) e
p
_________
________________________
Juan no ser un gran cantante j
c
FALACIA DEL SILOGISMO DISYUNTIVO
1) p c
RPTA: d)
2) p
______ 3.-
c RPTA: a)

FALACIA MODUS TOLLENS 4..-

RPTA: a)
RPTA: c)
5.-
RPTA: c)
PROFESOR MIGUEL AGIP
MEGO
HECHO POR MIGUEL AGIP MEGO