1.

DEFINICIN
"Fue la disciplina filosfica hasta 1910-1913
que se publica la obra "Principia
Matemtica" de Bertrand Russell y Alfred
North Wthitehead y que se aboca el estudio
de la inferencia o de- duccin valida o no
valida". En esta definicin esta en el
problema fundamental de la lgica: saber
cuando una conclusin es deducible de una
o mas premisas.
2. BREVE HITRIA DE LA EVOLUCION DE
LA LOGICA
a) La lgica en la edad antigua:
Aristteles de Estagira es considerado
como Padre y creador de la lgica; sus
principales logros fueron la teora del
silogismo, la formalizacin de la lgica y
el raciocinio deductivo. Aristteles fue el
primero que reuni en un libro llamado:
"ORGANON" todo el material existente
en su poca.
b) En la Edad Media:
La lgica de la antigedad es recogida en
el medioevo por los sacerdotes y
cultivada casi exclusivamente en los
conventos. En esta poca destacan
Petrus Hispnicas y Juan Buridan, este
ultimo estableci que "de dos premisas
contradictorias,
se
puede
deducir
cualquier conclusin".
P a ~ p p,q,r,s...
c) En la Edad Moderna:
a lgica matemtica o simblica hace su
aparicin en la poca moderna, siendo su
precursor el filosofo
GOTLFRIED
WILHELM LEIBNIZ quien introdujo el
calculo lgico que le faltaba a la lgica
denominado
"MATHESIS
UNIVERSALIS"
d) En la edad Contempornea:
Los ingleses GEORGE BOOLE y
AUGUSTUS DE MORGAN por diferentes
caminos crearon la lgica matemtica.
Fue el alemn DAVID HILBERT quien
perfecciono
la
lgica casi como
actualmente se conoce.

3. IMPORTANCIA DE LA LOGICA
La importancia de la lgica esta en su amplia
aplicacin , la lgica esta omnipresente en
todo acto humano, por que es la forma como
se explica nuestra capacidad racional
(Conceptos,
juicios,
razonamientos,
induccin, deduccin, anlisis, sntesis) que
nos distingu radicalmente d los dems
seres vivos.
La
lgica
esta
presente
en
las
investigaciones de todas las ciencias.
La lgica es la base de la informtica.
Gracias a ellas se inventaron las
computadoras y siguen perfeccionndolas.
Su campo de estudio tambin tiene un gran
aspecto . Al igual que la filosofa existen
varias clases de lgica, segn su actuar o
modalidad.
4. CLASES DE LOGICA
a) Lgica formal o clsica:
Fue creada por Aristteles y se ocupa de
las
teoras
del
concepto,
juicio,
razonamiento, el silogismo, los principios
lgicos, etc.
b) Lgica
Simblica,
matemtica
o
Preposicional.
Es aquella que trata de la lgica de
enuncia- dos, lgica de predicado, lgica
de clases, lgica de relaciones, etc. Segn
Miro Quesada existen una gran cantidad
de especies lgicos que l denomina
"HETE- RODOXAS" habiendo clasificado
hasta un numero de 26 de ellas.
c) Lgica Dialctica.
Que criticando el carcter formal de la
lgica, intente construir una lgica de
contenido que se ocupe de las leyes,
formas, mtodos, procedimientos lgicos,
propiedades y relacin de los objetos.
FERRARTER MORA, piensa que la
"METALGICA" es el estudio de los signos
lgicos, que es estudio de los signos
lgicos, que es una parte de la
"SEMITICA", que estudia los signos en
general, y que ambos pueden
ser
considerados como "METALENGUAJE"
que tienen tres niveles o dimensinales.

La sintaxis: Estudia las relaciones de los

signos.
La Semntica: Estudia los signos en su
relacin con los objetos designados.
La Pragmtica: Estudia los signos en su
relacin con los sujetos que los usan o
emplean
FUNCIN DE LA LGICA:
Como el hombre tiene poder de crear, ha
dado lugar a la ciencias y estas han creado
herramientas,
maquinas,
artefactos
elctricos, vehculos, etc.
Teniendo en cuenta esto vemos que el
hombre esta rodeado de maquinas. Las
maquinas son productos de la tcnica y la
aplicacin de la ciencia. La base de la
mayora de las ciencias, es la matemtica,
por precisin y exactitud. La base de la
matemtica es la inferencia, es decir una
parte de la lgica. Entonces la lgica
indirectamente esta contribuyendo al
progreso de la ciencia, las cuales a su vez
tiende a ser ms fcil y cmoda la vida. Por
la lgica se puede predecir muchas cosas,
sin necesidad de esperar que todava llegue
tiempo para comprobarlo. La lgica a
contribuido al nacimiento de una nueva
ciencia que es la ciberntica, que consiste
en hacer aparatos y maquinas que por
procedimiento
electrnicos
realizan
operaciones y clculos difciles que el ser
humano pueda hacerlo en corto tiempo,
como ejemplo tenemos . El cerebro
electrnico, las sumadoras, contadoras,
computadoras, sistema IBM, etc.
LENGUAJE Y EL PENSAMIENTO
La lgica no estudia el pensamiento en
cuanto proceso, ya que de eso se encarga
la Psicologa; la lgica estudia la
reconstruccin racional del pensamiento
que se expresa en formas lingsticas. (Es
por eso la lgica esta vinculada con el
lenguaje). Algunos lgicos diran que la
lgica es un anlisis del lenguaje y a su ves,
es un lenguaje creado especialmente. Para
los fines de la lgica, el lenguaje es, entre
otras cosas, es un sistema de signos
convencionales o simblicos, capaces de
trasmitir informacin de cualquier tipo. La

lgica se interesa fundamentalmente por el

lenguaje escrito y de hecho en toda la
expresin podemos distinguir adems de
los trminos descriptivos, un conjunto de
trminos lgicos que forman una estructura
o armazn del lenguaje. En el siguiente
ejemplo subrayan termino lgico: Todo buen
alumno es estudioso".
FUNCIONES BSICAS DEL LENGUAJE
Casi toda la complejidad de la vida puede
expresarse a travs del lenguaje, de all que
sus funciones sean variadas en la
comunicacin. Por ello, se puede considerar
que sean bsicas de todo lenguaje. Estas
son cuatro:
Funcin Informtica:
Se emplea para afirmar o negar algo que
existe en la realidad y que puede
comprobarse objetivamente. El discurso
informativo es usado para describir el
mundo y razonar acerca de l. Por ejemplo:
"La pobreza en el mundo crece
geomtricamente y la riqueza sola
aristocrticamente".
Funcin Expresiva:
SE emplea para comunicar: sentimientos,
emociones actitudes. De esta funcin
bsica del lenguaje no se puede afirmar que
sea ni verdadero ni falso. Por ejemplo"Qu
desagracia! ; Viva el Per!. Encantado de
conocerte; Ale, mi amor!, es como una rosa
roja, roja, roja recin florecida en la
primavera!.
Fundn Directiva.
Como su nombre lo indica ; el sujeto se
dirige a otra persona para ordenarle a
pedirte alguna cosa. Por ejemplo, "Silencio",
estamos en clase" ,"Por favor, pgame lo
que me debes".
Funcin Mixta:
Cuando se combinan las anteriores, por
ejemplo: "NO insistas no quiero ir al cine!
Es informativa porque niego.
Es expresiva porque lo hago efusivamente.
Es directiva porque estoy dirigindome a
alguien.

VERDAD Y VALIDEZ
Solo de las proposiciones o enunciados se
puede afirmar que sean verdaderos o falsas
y determinar su verdad o falsedad de las
premisas recae en las ciencias en general.
Mientras que los razonamientos o
inferencias se puede afirmar que sean
validos o no validos y determinar su validez
o no validez, recae dentro del mbito de la
lgica
Ejemplos:
"Todas las araas tienen seis patas
Todos los seres de seis patas tienen alas.
Por lo tanto, Todas las araas tienen alas"
FALACIA DE LENGUAJE
La palabra falacia proviene del termino
"falaz"
que significa engao, mentira. Falacia es
una idea equivocada o creencia falsa. Las
falacias pueden ser:
1. ORMALES
Cuando se trasgeden las leyes y principios
de la lgica, aqu la solucin para este tipo
de falacias es aplicar la lgica. Pueden ser:
- Medio Concluyente: Cuando se concluye
con el termino medio.
- Cuartum tenninum: Cuando el termino
medio tiene significados diferentes en
ambas premisas.
Se dan cuado el error de razonamiento se
de- be a la falta de atencin al tema o por la
ambigedad en el uso del lenguaje. Las
mismas que se dividen siguiendo a Irving M.
Copi en:
(A) Falacias de atingencia
(B) (B)Falacias de ambigedad.
A) FALACIA DE ANTINGENCIA:
Se comete esta clase de falacias en los que
se concluye sin tener nexo integral con las
premisas, pero no deja de haber alguna
vinculacin, por pequea que sea y
precisamente de ah parte el engao , la
falacia estos son:

Cuando un razonamiento destinado a

establecer una conclusin se usa para
probar una conclusin diferente.
Ejemplos:
-Afirmar que el asesinato es terrible y
concluir que el acusado es culpable", "El
proyecto arquitectnico del Ingeniero Lpez
debe aceptarse porque el embellecimiento
de la ciudad es un viejo anhelo de los
habitantes" (se insiste sobre dicha
necesidad, pero no se analiza el proyecto
mismo).
2. ACTITUD OFENSIVA:
(Argumentum Hominen)
Significa literalmente "Argumento dirigido
contra el hombre es decir esta falacia se
produce cuando en lugar de probar la
validez de un razonamiento por el
razonamiento
mismo,
se
pretende
demostrar su falsedad atacando a la
persona que los planteo.
Ejemplos:
"NO es cierto lo que dices, porque eres
testarudo"
"La teora de al relatividad es falsa porque
Einstein es mujeriego".
"Destituir al rector de la universidad por ser
un burgus y no por su labor administrativa
y docente"
3. Apelacin a la Fuerza
(ARGUMENTUM AD BACULUM) Es la
apelacin a la fuerza o a la amenaza de
fuerza. Para provocar la aceptacin de una
conclusin.
Ejemplos:
"Si no apruebas el curso, te castigo",
"Estars estudiando mucho hijo, si no ya
sabes"
Terrorismo poltico.
4. Argumentum Ad Ignorancia
Cuando se sostiene que una proposicin es
verdadera porque no se ha demostrado su
falsedad o es falsa, porque no se ha
demostrado su verdad.
Ejemplos:
"Afirmar que existen fantasmas"
"Negar que no existe fantasma"

1: Conclusin Inatigente:
5. Circunstancial:

Se produce esta falacia cuando se exige que

se acepte o se rehace determinado
razonamiento , no por el rozamiento mismo,
si no por la posicin o situacin de la
persona.
Ejemplo:
"Usted tiene que ser comunista por que es
un obrero.
6 Apelacin a la piedad:
(ARGUMENTUM AD MISERICORDIAM) Es
la falacia que se comete cuando se recurre a
la piedad, clemencia para lograr que se
acepte una determinada conclusin.
Ejemplos:
"Pedir absolucin de un criminal porque es
padre de cinco hijos".
"He dado mal mi, examen porque mi mama
estuvo enferma dame otra oportunidad.
7. Llamado al Pueblo
(ARGUMENTUM AD POPULUM)
Cuando se dirige una llamada emocional al
pueblo con el fin de ganar su asentimiento
para una conclusin que no esta sustentada
en pruebas.
Ejemplos:
"El poltico que efecta su campaa electoral
argumenta que l debe de recibir nuestros
votos porque todo el mundo vota por l.
"Comer una cierta marca de cereales es
proclamado n un deber patritico."
8. Apelacin a la Autoridad:
(ARGUMENTUNT AD VERACUNDIAM)
Se comete esta falacia cuando se aprovecha
el sentimiento de respeto que siente la gente
por las personas famosas, para lograr
implanta una conclusin.
Ejemplo:
"Apelar a las opiniones de un gran fsico
como Einstein para dirimir una discusin
sobre poltica o economa.
Cuando se nos insta a tomar una marca de
gaseosas porque algn jugador de ftbol
afirma su superioridad.
9. Accidente.
Cuando se aplica una regla general a un
caso particular cuyas causas accidentales
hacen inaplicable la regla.
Accidente Inverso:

Esta falacia se comete cuando seda en

forma apresurada.
Esta medicina le hace bien a la mayora no
creo que te afecte, tmala".
10. La Causa Falsa.
Cuando se concluye a partir de una causa
que no tiene relacin o simplemente fue
anterior.
Ejemplos:
"Llueve
porque
los
indgenas
de
Norteamrica bailan la danza de lluvia"
11. Peticin de Principio:
Cuando se toma corno premia de un
razonamiento la misma conclusin que se
pretende probar.
Ejemplos:
Por supuesto que existe pap Noel, pero no
le lleva regalos a los que no creen en l.
"Por supuesto que Dios existe, pero solo le
hace milagros a los que creen en l"
12. Pregunta Compleja:
Cuando hay varias preguntas y se exige una
sola respuesta. O cuando una pregunta supone otra pregunta anterior que ya ha sido
respondida.
Ejemplos:
"Ha dejado usted de pegarle a su hijo?
"Ha abandonado usted sus malos hbitos?"
"Qu hizo con el dinero que robo?" (Se
supone que anteriormente lo hacia)
B) FALACIA DE AMBIGEDAD
Contienen palabras o frases ambiguas,
cuyos significados cambian en el curso del
razonamiento. Hay varios casos que
examinaremos:
1. EL EQUIVOCO
Cuando se usan dos significados de la
misma palabra.
Ejemplo:
"La mueca de Anita se quebr"
"Un elefante pequeo, es un animal muy
grande".
2 ANFIBOLOGA:
Cuando hay ambigedad debido a
estructura gramatical de las premisas.
Ejemplo:

la

"El perro de mi vecino" (La palabra perro

puede ser sustantivo o adjetiva)
3. EL NFASIS:
Cuando la validez depende de un cambio o
una alteracin en el significado,' segn las
partes que se recalquen o destaquen.
Ejemplo:
"Golpe de Estado en el Per". Y ms abajo
en letras pequeas temen los analistas.
4. LA COMPOSICIN
Cuando a partir de las proposiciones de las
partes de un todo, se razona hacia las
propiedades del todo mismo.
Ejemplo:
"Si todas las partes de una maquina son
livianas, entonces la maquina es liviana" ,
5. LA DIVISIN:
Cuando lo que es cierto de un todo, debe
serio tambin para cada una de sus partes.
Ejemplo:
"Puesto que tal empresa es importante, el
seor X de esa empresa necesariamente
es importan- te".

--LGICO
PROPOSICIONAL-1. DEFINICIONES PRIVAS:
1.1.LOGICA.
Es la ciencia que estudia los mtodos
o
procedimientos
que
aplican
definiciones y leyes o reglas con el
propsito de determinar la validez o
invalidez de las proposiciones.
1.2 PROPOSICIONES LGICAS
Son expresiones u oraciones que
pueden
ser
calificadas
como
verdaderas
o
falsas
sin
ambigedades. Estas proposiciones
sern
denotadas
por
letras
minsculas: p, q, r, s, etc. llamadas
"variables preposicionales".
Ejemplo:
p: 17 - 6 = 11
verdadera (V)

q: Paris es capital de EE.UU. Falsa (F)

Son proposiciones lgicas.
No son proposiciones lgicas: "Buenos
das",
Quin toco la puerta?, etc.

p = Pedro es Ingeniero
q = Pedro es Deportista

1.3. CLASES DE PROPOSICIN.

PROPOSICIONES SIMPLES (ATMICAS). Son aquellas reemplazables por una
sola variable preposicional.
Ejemplo: La Tierra es un planeta del sistema
solar = p

NOTA: Se emplean como sinnimos de "y"

las expresiones:
"sino", "adems", "ms",
"pero", "no obstante", "tambin", "a la vez",
etc. Su tabla de verdad;
P
q
pq
V
V
V
V
F
F
F
V
F
F
F
F

PROPOSICIONES
COMPUESTAS
(MOLECULAR). Aquellas que niegan las
afirmaciones simples o se refieren a la
combinacin de dos o ms proposiciones
simples conectados por partculas lgicas.
Ejemplo: Juan es medico y abogado = p y q
p = Juan es medico.
q = Juan es abogado.

LA DISYUNCIN DBIL O INCLUSIvIT

Se simboliza por: "pvq", "Apq". Usa la
partcula: "o".
Ejemplo: Peter arregla el computador o
Brenda baila = p v q
p = Peter arregla el computador
q = Brenda baila'

1.4 CONEGTIVOS LOSGICOS Llamados

"operadores"", "conectores", "functores" etc.
entre los mas importantes tenemos:
NEGACIN. Se le simboliza por "~ p" "~ p"
"~ p" "Np". Es un operador que afecta a una
proposicin o conjunto de proposiciones.
De manera convencional se emplea la
partcula: "no", "jams", "nunca", "des", etc.
para negar proposiciones atmicas y se
emplean: "no es cierto que", "no es verdad
que", "es falso que", "no es el caso que", "es
imposible
que",
etc.
Para
negar
proposiciones moleculares.
Ejemplo: El Per no es una repblica
monrquica = ~ p
p = El Per es una repblica monrquica
NO es el caso que Franco estudie o juegue =
~ (p o q)
p = Franco estudia
q = Franco juega
Su tabla de verdad:
P
~P
V
F
F
V
LA CONJUNCIN. Se simboliza por: "po",
"pq", "Kpq" usa la partcula: y
Ejemplo: Pedro es Ingeniero y Deportista
=pq

NOTA: Son sinnimos de: "o", las

expresiones: "... o es que ...", "...o
bien ...", "... excepto que ...","... a menos
que...", "... salvo que...", etc.
Su tabla de verdad
P
V
V
F
F

Q
V
F
V
F

pq
V
V
V
F

LA DISYUNCIN FUERTE O EXCLUSIVA.

Se simboliza por: "pq", "pq", "pq", "pq",
"Jpq".Usa la partcula: "o .. .o ..."
Ejemplo: o Nancy naci en Arequipa o naci
en Lima = p q
p = Nancy naci en Arequipa,
q = Nancy naci en Lima.
Su tabla de verdad:
P
q
pq
V
V
F
V F
V
F
V
V
F
F
F
LA CONDICIONAL Establece una relacin
de dependencia entre sus proposiciones, usa
el conectivo "si... entonces ...". Se le denota

con "pr>q" (peano), "p->q" (Hilbert), "Cpq"

(Lukasiewich).
Ejemplo: Si estudio entonces ingresare a la
UNSA = p q
p = Estudio
q = Ingresar a la UNSA.
A la proposicin p se le llama antecedentes,
y a la proposicin q consecuente.
NOTA:
Son sinnimos de la expresin "Si...
entonces .. . ....Luego...", "...por ello ...",
....por lo tanto ..."etc.
Su tabla de verdad:
P
V
V
F
F

Q
V

pq
V
F
V
V

F
V
F

LA BICONDICIONAL Establece una

relacin de doble dependencia entre sus
proposiciones. Se vincula mediante la
conectiva "si y solo si". Se le denota por
"pq" , "pq" , "Epq".
Ejemplo: La demanda procede si y solo
si es consistente = p q
p = La demanda procede
q = La demanda es consistente
NOTA: Tambin se puede utilizar: "Cuando y
slo cuando", "entonces y slo entonces",
"es una condicin necesaria y suficiente". Su
tabla de verdad:
P
V
V
F
F

q
V

pq
V
F
F
V

F
V
F

NOTACIONES SIMBLICAS

Sis
tema

Nega
cin

Con
junto

Disyun
cin
dbil

Disyun
cin
dbil

Con
dicio
nal

Bicon
Dicional

Scholz
Peano
Resel
Hilbert
Lukasi
Ewich

2p
~p

pq
p.q

pq
pq

pq
pq

pq
pq

pq
pq

~A
Np

AB
Kpq

AB
Apq

AB
JpqCpq

AB
Cpq

AB
Epq

2. TABLA DE VERDAD
2.1 TOTAL DE COBINACIONES EN UAN
TABLA
Si el esquema molecular esta formada por
"n" variables preposicionales, entonces a
cada variable preposicional se le asigna 2 n
valores (mitad verdaderas y mitad falsos)
Ejemplo: Evaluar (p a -q) -> q
N variables prop = n = 2
N de valores por variable = 22 = 4
P
V
V
F
F

q
V
F
V
F

(p~q)
F
V
F
F

V
F
V
V

Q
V
F
V
F

Operador
Secundario

Operador
primario

Operador
secundario

2.2 CLASIFICACION DE LOS ESQUEMAS

MOLECULARES
TAUTOLGICO. Cuando en el operador
principal resultan todos los valores
verdaderos.
CONTRADICTORIO. Cuando en el
operador principal resultan todos los
valores falsos.
CONSISTENTE O CONTINGENCIA.
Cuando en el operador principal hay por lo
menos una verdad y una falsedad.
2.3. LA IMPLICACIN. Es el nombre que
asume una condicional cuando al
evaluarlo resulta TAUTOLGICO.
2.4. LA EQUIVALENCIA. Es el nombre que
asume una bicondicional cuando al
evaluarlo resulta TAUTOLGICO.
PROBLEMAS RESUELTOS
1. Formalizar: "Coln descubri Amrica, sin
embargo Pizarro conquist el Per salvo
que lleg por el norte".
a) p(pr)
b) p(pr)

c) p(pr)
d) (pq)r
Solucin:
p: Coln descubri Amrica
q: Pizarro conquist el Per
r: lleg por el norte
p, sin embargo (q salvo que r) p a (q v r)
Rpta c)
2. Formalizar: "Pitgoras fme matemtico a
menos que filsofo, pero Lulero fue
protestante siempre y cuando i no se
someti al Catolicismo. Por consiguiente
Pitgoras fue matemtico puesto que
Lutero fue protestante"
a) (p v q) (r s) (p r)
b) (pq) (rs) (p q)
c) (p v q) (r s) (p r)
d) [(p v q) (r -s)] (p r)
Solucin:
p: Pitgoras fue matemticas
q: Pitgoras fue filsofo)
r: Lulero fue protestantes
~ s: no se someti al Catolicismo
. [ (p a menos que q), pero (r siempre y
cuando-s)]. Por consiguiente (p puesto que
r)
[(pvq)A(r ~s)] (pr)
Rpta d)
3. Cual es la formalizacin que representa a:
"No es el caso que si amanece nublado la
temperatura baje, ya que ser un da
caluroso".
a) - p (q v r)
b) ~ p s
c)~p ~ (qr)
d) ~(pq)r

e) (~ p q) r
Solucin:
~ p: Rogelio no trabaja en la empresa
q: visita la empresa todos los das
r: se rene con los trabajadores
~ p, sin embargo (q y r)
~ p (q r)
Rpta a) :
5. Formalizar: "Alberto gana su primer juego
si o Bebeto gana su primer juego o Carlos
gana su primer juego".
a) p (q r)
b) p(q v r)
c) p (q r)
d) p (q v r)
e) p (q r)

8. Formalizar: "Si Alberto gana su

juego, entonces Bebeto no gana su
juego, pero si Bebeto no gana su
juego, entonces Carlos gana su
juego".
a) (p .~ q) (~ q r)
b) p (~ q (~ qr))
c) ((p ~ q) ~ q) r
d) ((p ~ q) ~ q)r
e) p(~ q v (~ q r))

Solucin:
p: Alberto gana su primer juego
q: Bebeto gana su primer juego
r: Carlos gana su primer juego
p si (o q o r)
p(q r)
Rpta e)

Solucin:
p: Alberto gana su primer juego
q: Bebeto gana su primer juego
r: Garios gana su primer juego
(Si p, entonces ~ q), pero (si ~ q, entonces)
(p~ q) (~ qr)
Rpta a)

6. Formalizar:"Si Alberto gana su primer

juego, entonces ambos Bebeto y Garios
ganan su primer juego".
a) p (q r)
b) p (q r)
c) (pq) r
d) (pq) r
e) p(q r)

9. Formalizar: "O Alberto y Bebeto ganan su

primer juego o no es el caso si Bebeto gana
su primer juego, entonces Garios gana su
primer juego".
a) (p q) ~(qr)
b) (p v q) v ~(qr)
c) (p q) v (~ qr)
d) (P q) (~ q~ r)
e) (p q) (qr)

Solucin:
p: Alberto gana su primer juego
q: Bebeto gana su primer juego
r: Carlos gana su primer juego
Si p, entonces ambos (q y r)
p (q r)
Rpta a)

Solucin:
p: amanece nublado
q: la temperatura baje
r: ser un da caluroso
. No es el caso que (si p q), ya que r
~(pq)r
Rptad)
4. Cual es la representacin simblica de
"Rogelio no trabaja en la empresa, sin
embargo visita la empresa todos los das y
se rene con los trabajadores".

7. Formalizar: "O Alberto gana su primer

juego y Bebeto no gana su primer juegos
Bebeto gana su primer juego , entonces
Carlos no gana su primer juego".
a) (p ~ q) (q ~ r)
b) [ p (~ q q)] ~ r
c) (p v -q) A (q ~ r)
d) p [~ q (q ~ r)]
e) p [~ q (q ~ r)]

a) ~ p (q r)
c) (~ p q) r

Solucin:
p: Alberto gana su primer juego

b) ~ p q r
d) (~ p q) r

q: Bebeto gana su primer juego

r: Carlos gana su primer juego
. O (p y ~ q) o (si q , entonces ~ r)
(p ~ q) (q ~ r)
Rpta a)
primer
primer
primer
primer

Solucin:
p: Alberto gana su primer juego
q: Bebeto gana su primer juego
r: Garios gana su primer juego
O (p q) o no es el caso (si q, entonces r)
(P q) ~ (q r)
Rpta a)
10. Formalizar: "Si Alberto gana su primer
juego slo si Bebeto gana su primer juego,
entonces Garios no gana su primer juego".
a) (pq) ~ r
b) p (q ~ r)
c) p (q ~ r)
d) (p q) ~ r
e) (pq) ~ r
Solucin:
p: Alberto gana su primer juego

q: Bebeto gana su primer juego

r: Carlos gana su primer juego
Si (p slo si q), entonces ~ r
(p q)- r
Rpta a)
11. Si la siguiente proposicin:
(q r) (~ p v q) es falsa, hallar los valores
de verdad de p, q y r.
a)VFF
b)FVF
c)FFF
d)VVF
--PROBLEMAS PROPUESTOS
1. Formalizar: No es cierto que .compro
acciones dile la telefnica o bonos del
gobierno. Luego i obtuvo buenos
dividendos porque compro acciones de la
telefnica.
a) ~ (pq) (rs)
b) ~ (pq) (r p)
c) ~ (pq) (r p)
d) (~ p ~ q) (rp)
e) N.A.
2. Formalizar: Las mujeres te amaran si les
mientes o los hombres te odiaran pues le
dice la verdad:
a) (p q) v (r s.
b) (p q) v (r s)
c) (p q) v (r s)
d) (p q) v (r s)
e) N. A.
3. Formalizar: Si el reo es culpable,
entonces ser condenado o deportada. a
su pas:
a) p (r q)
b) p (q v r)
c) p (q v r)
d) p v (q r)
e) ~ p (r v q)
4. La proposicin equivalente a: "No es un
buen estudiante, sin embargo destaca en
el ftbol" es:^, p ^ g.
a) No es cierto que, sea un buen
estudiantes o no destaque en ftbol.
b) Es un buen estudiante o no destaca en
ftbol.
c) No es un buen estudiante y no destaca
en el ftbol

d) No es cierto que, no sea un buen

estudiante y destaque en ftbol.
e) No es el caso que, sea buen
estudiante y no destaque en el ftbol.
5. Dada las proposiciones: p = Jos trabaja
cuando gana, mas de 20 dlares diarios.
q = "Juan trabaja, pero no se preocupa por
su salario
Simbolizo la proposicin:
"Juan no trabaja o se preocupa por su salario
a menos que Jos trabaje cuando gane ms
de 20 dlares diarios"
a) (pq) ~ p
e) ~ q p
e) ~ p ~ q

b) p ~ q
d) p ~ q

6. El equivalente de la proposicin "La

conducta puede ser accin u omisin"
Resulta:
a) La conducta no es accin ni omisin.
b) La conducta es accin mas no omisin
c) La conducta no es accin no obstante es
omisin.
d) No es el caso que la conducta no sea '
accin ni omisin.
e) No es cierto que la conducta sea accin o
no sea omisin.
7. El equivalente de: "Franco no duerme
porque duerme o ve televisin" es:
a) Franco duerme porque no duerme y no ve
televisin.
b) No es cierto que Franco duerma y no vea
televisin, o duerma.
c) Franco duerme y no ve televisin puesto
que duerme.
d) Franco no duerme y no ve televisin dado que duerme
e) Si Franco duerme, entonces no duerme o
no ve televisin.
8.

Luego de simbolizar, simplificar la

proposicin:
"Si el conocimiento es hipottico, se
prueba ; y si se prueba entonces es eficaz;
luego es eficaz cuando es hipottico".
a) r
b) p v r

c) Tautologa
e) (p v ~ q) r

d) Contradiccin

8.

Luego de simbolizar, simplificar la

proposicin: "No viaja pues no logro
pasaje, vendr a la fiesta pues no viaja; en
consecuencia vendr a la fiesta si no logr
pasaje".
a) p q
b) (p q) ~ r
c) (p r) v q
d) Contradiccin
e) Tautologa
10. Cuntas proposiciones conjuntivas se
muestran a continuacin:
I)
Es falso que, Juan vea televisin y
no estudie
II) Juan no ve televisin y estudia
III) Juan estudia, pero Andrs no. V
IV) Juan estudia porque no ve
televisin.
V) Andrs es hermano de Juan
VI) Andrs juega, Juan estudia.
a)1
d) 4

b) 2
e) 5

c) 3

11. La proposicin: "Luis come poco o no

engorda" equivale a:
a)
b)
c)
d)

Luis come poco ya que engorda

Luis come poco y no engorda
Luis no come poco y no engorda
No es cierto que Luis come poco y
no engorda.

12. Seale el nmero de proposiciones:

I)
Jos canta, baila y no se cansa
II) La tierra, el cielo y el mar.
III) No es cierto por favor.
IV) Hay en tu mirada un extrao
hechizo.
V) El ha perdido la cabeza muchas
veces.
VI) Duerme porque esta cansado.
a) 1
d) 4

b) 2
e) 5

c) 3

13. La proposicin: "Canos duerme. Ana

cocina" es:
a) Atmica predicativa
b) Molecular y conjuntiva
c) Atmica y relacional
d) Molecular y condicional
e) Molecular y disyuntiva
14. Las siguientes proposiciones son falsas:
I)
Jos juega y Ana corre.
II)
II) Jos no llora cuando Ana corre
De lo anterior se puede afirmar:
a) Ana no corre
b) Jos juega y no llora
c) Ana corre, entonces Jos juega
d) Jos llora y no juega
e) Jos juega o no llora.
15. La proposicin "No es cierto que Ins no
baila en la fiesta", se simboliza de la
siguiente manera:
a) (~ p)
c) ~(p v q)
e) ~ p v ~ q

b) ~p
d) ~ p.~ q

16. Si p: "El vive lejos"

q: "El tiene una bicicleta"
La representacin simblica de la
proposicin compuesta "No es verdad que l
no vive lejos y no tiene una bicicleta", es:
a) ~ (p o)
b) ~ p v ~ q
c) p ~ q
d) p q
e) ~(~ p ~ q|)
17. Si la proposicin:
(p a ~q) -> (p-> r) es falsa se afirma
que:
I)
p v q es falsa.
II)
rq es verdadera
III)
~ q p es verdadera.
Son ciertas:
a) Solo I
b) Solo II
c) Solo I y III
d) Solo II y III
e) I, H y III
18. De la proposicin: "Si Julio no come,
entonces bebe y fuma; pero bebe o fuma
cuando no come", se sabe que es falsa.
Seale una proposicin verdadera:
a) Julio come
b) Julio bebe y fuma
c) Julio come y bebe

d)
e)

Julio no come o no fuma

Julio come, o bebe y fuma.

a) VVF
d) FW

19. Si la proposicin: (~p q) v ~ s es falsa,

se afirma que:
I)
(p q) v ~s es verdadera.
II) (p v q) s es falsa
III) (p q) s es verdadera
IV) p (q s) es falsa
Son ciertas:
a) l y ll
b) ll y lll
c) l y lll
d) l , ll y III
e) Todas.

a)VVV
d) FW

21.

b) VFV
e) FVF

Las siguiente
verdaderas:
I)
II)
III)

proposiciones

1.

22. Si la proposicin (p q) v -r es falsa.

Hallar el valor de verdad de p, q y r.
b) FVF
e) FFV

c) FFF

23. Si la proposicin: (~ p a q) [(p a r) v t]

es falsa, encontrar el valor de verdad de
las proposiciones compuestas:
I)
II)
III)

3. b
9. e
15. a
21. a

4. a
10. c
16. e
22. d

5. d
11. a
17. d
23. c

6. d
12. c
18. d
24. a

Simplificar (p
q)
q
SOLUCIN
(p
q)
q
(p q) q = p (Absorcin) Rpta.

Seale el valor de verdad de: p, q y r.

a) FW
b) VFV c) VW
d) FFV
e) FVF

a) VW
d) VFV

2. d
8. c
14. d
20. d

PROBLEMAS RESUELTOS

son

p v (r q)
I) p (r a ~ q)
(p q) r

c)FVF

CLAVE DE RESPUESTAS
1. c
7. d
13. b
19. e

c) WV

b) VFV
e) VVF

~ (q v r) v (p v q)
(t ~ r) (q t)
~[p ( q t ) ~ r

2. Simplificar ( p q )
SOLUCIN
(p q) q
( p q) q =
(Absorcin) Rpta. (e)
3. Simplificar (pq) q
SOLUCIN
(pq) q
( pq) q
p (q q)
p V=V
4. Simplificar p ( p q)
SOLUCIN
p ( p q)

p q

Rpta. (b)

5. Simplificar p(pq)
SOLUCIN
p(pp)= pq (Absorcin)

Rpta. (e)

6. Simplificar p ((rp) (qs))p}

SOLUCIN
p{((rp) (qs))p}
p ((rp) (qs))p
(p) ((rp) (qs))
V ((rp) (qs)) = V
Rpta. (e)

Seale el valor de verdad de:

I)
(~ p q) (q ~ p)
II)
(p ~ q) (q v ~ p)
III) (p (~ q v p)) (p q)

P ~q
(q v t) t
(p q) ~ t

a) FFF
d) FFV

p ( p q) = p (Absorcin)
Rpta. (b)

c) VVV

24. Los siguientes esquemas son falsos;

I)
[q (p q)] (q v ~ p)
II)
[p (p v q)]

20. El esquema mostrado:

[(p q) t] v [p t] es falso, seale el
valor de verdad de:
I)
II)
III)

b) VFV
e) FVF

7. Simplificar p{((rp) (qs)) p}

SOLUCIN
p{((rp) (qs)) p}
p{((rp) (qs)) p ) = p
Rpta. (b)
8. Simplificar p (pq)
SOLUCIN
p (pq)
p(pq) p(pq)
(pq) p
qp= pq=pq Rpta. c)
9. Simplificar p(pq)
SOLUCIN
p(pq)
p(pq) p(pq)
p(pq)
p q = pq Rpta. (e)
10.Simplificar (pq) (pq)
SOLUCIN
(pq) (pq)
pq p q (pq) (pq)
(pp) (qq) (pq) (pq)
F F (qp) (pq)
F (pq) (qp) = pq Rpta. (a)
11. Simplificar (pq) (pq)
SOLUCIN
(pq) (pq)
(pq) (pq) (pq) (pq)
(pq) (pq) pqpq

(pq) (pq) (pp) (qq)

(pq) (qp) V V
(pq) F = pq
Rpta. (a)
12.Simplificar (pq) (pq)
SOLUCIN
(pq) (pq)
pq pq (pq) (pq)
(pp) (qq) (pp) q
F q V q
F q = q
Rpta. (d)
13.Simplificar (pq) (pq)
SOLUCIN
(pq) (pq)
(pq) (pq) (pq) (pq)
p(q (pq)) ((pq) p) q
pq pq = p q
Rpta. (a)
14.Simplificar (pq) (pq)
SOLUCIN
(pq) (pq)
(pq) (pq) (pq) (pq)
p(q (pq)) ((pq) p) q
pq pqq = pq Rpta. (a)
15.Simplificar p(pq) q(pq)
SOLUCIN
p(pq) q(pq)
pp = pq = qp
Rpta. a) y d)
16.Simplificar (pq) p (pq)
SOLUCIN
(pq) p (pq)
(pq) p (pq)
(pq) p (pq)
p (pq)
p(pq) = p (Absorcin) Rpta. (b)
17.Simplificar p(pq) (pq)
SOLUCIN
p(pq) (pq)
pq (pq)
(pq) p q
qp q
(qq) p = V p = V Rpta. (d)

18.Simplificar C-(-A&B) & -A(-CB)

SOLUCIN
C-(-A&B) & -A(-CB)
C(A&B) A(CB)
CA B A(CB)
A C B A C B
(A C) B (A c) B
(A C) (B B)
(A C) F = A B Rpta. (e)
19.Simplificar {p(q.r) . q (r . p)} p
SOLUCIN
{p(q.r) . q (r . p)} p
{p(q.r) p} {q(rp) p}
{(pp) (qr)} {pq}
p(qrq)
p(qqr)
p(Fr) = p F = p
Rpta. (e)
20.Simplificar (qp) (pq)
SOLUCIN
(qp) (pq)
(qp) (pq)
(pq) (pq)
(pq) (qp) = p q
Rpta. (e)
Negacin conjunta
*pq (pq) = p q
Ley de Morgan
Negacin alternativa
*p
(pq) p q
Leey de Morgan
21.Simplificar (q r) (pq) (p r)
SOLUCIN
(q r) (pq) (p r)
(qr) (pq) (pr)
(qr) (pq) (pr)
(qr) pqpr
(qr) (rq) p q r
(qr) (rq) p q r
{(qr) r} {(rq) q} p
rrqp
(rr) (qp) = F (qp) = F
Rpta. (c)

22.Simplificar p(qp) q
SOLUCIN
p (q p) q
p (qp) q
p(qp) q
p(qp) q
pq = p q
Rpta. (a)
23.Al simplificar
p{p{(rs) t
((pr) (rs) t)}}
SOLUCIN
p{p{(rs) t (pr) (rs) t)}}
p{}p{(rs) t (pr) (rs) t)}}
p (Absorcin)
Rpta. (c)
24.Al simplificar p(pq) se obtiene
SOLUCIN
p(pq)
p(pq)
p(p=q)
p(pq) (pq)
p(pq)
p(pq) = p q
pq=qp
Rpta. (b)
25. Reducir (pq) q p
Solucin
(pq) q p
(pq) q p
pq p
(pq) p = qp = p q
Rpta. (e)
26. Simplificar
{(pq) q(pr)}
(pq)
Solucin
{(pq) q(pr)} (pq)
{(pq) q(pr)} (pq)
{p(qq) (pr)} (pq)
{qp(pr)} (pq)
{pq} (pq)
(pp) q = F q = q
Rpta. (c)
Lukasiewinch
( Plonia: 1878-1956 )
p
Np
Kpq
pq

pq
pq
pq
pq

Apq
Cpq
Epq
Jpq

27. Simplificar ENpANq

Solucin
EnpANq = EN(pq) = p(pq)
{pq} {p(pq)}
{pq} {ppq}
{pq} {V q}
{pq} V
{pq} F = pq
(pq) = Napq
Rpta. (b)
28. Simplificar NENKpNqCNpq
Solucin
NENKpNqCNpq
NEN(pq)(pq)
(pq) (pq)
(pq) (pq) = Nq
Rpta. (a)
29. Simplificar
{(B&A)(BA)(AB)}
&
(AB)
Solucin
{(B&A)(BA)(AB)} & (AB)
{(BA) (BA) (AB)} (AB)
{(AA) (AB)} (AB)
V (AB) = AB

Bicondicional
A A Tautologa
A A Contradiccin
A B Consistencia
30. Cuantos
esquemas
moleculares
Tautolgicos se observan?
a. p(pq)
b. (pq) (qp)
c. (pq) (qp)
d. (pq) (pq)
e. (pq) p (pq)
f.
p(pq) (pq) p

Solucin
a.p(pq)
Consistencia
b.(pq)(qp)
pq qp
qp =
Consistencia
c.(pq) (qp)
pq qp
(pq) (qq) = VV= V = Tautologa
d.(pq)(pq)
(pq) (pq)
(pq) (pq) = V = Tautologa
e.(pq) p (pq)
(pq) p (pq)
(pp) q (pq)
V. q (pq)
V (pq) =
Consistencia
d.p(pq) (pq) p
pq (pq) p
pq (pq) p (pq)p
pqpqp (pq)p
(pq) (pq) = V = Tautologa
Rpta. (c)
31. Si todas la araas tienen 6 patas y
todos ls seres de 6 patas tienen alas,
por lo tanto. Todas araas tienen alas
Es un Razonamiento
Solucin
La valides se le asigna a los
razonamientos deducciones, inferencias
o silogismos
Todas las araas tienen seis patas
Todos los seres de seis patas tienen
alas
Todas las araas tienen alas
El silogismo es valido. Corresponde al
modo BARBARA 1 era figura
Rpta. (d)
32. Si se sabe que pq es V; rt es V y pr
es F. Entonces los valores de p, q, r y t
son respectivamente
Solucin
* pq = V
V V = V p = V; q = V
* pr = F
VF=F r=F
* rt = V

F V = V t=V

--PROBLEMAS
PROPUESTOS-Determinar la validez de las siguientes
inferencias:
1.

Si no comes, enfermars. No enfermas.

Entonces comes.
2. Vas a la playa o estudias. No vas a la
playa. Por tanto estudias.
3. Si hablas, te escuchan. Si mientes no te
creen. Hablas o mientes. Por lo tanto te
escuchan o no te creen
4. El motivo del crimen fue el robo si la
huella es autentica. El arma del delito
ser descubierta si el motivo del crimen
fue el robo, en consecuencia el arma
del delito ser descubierta si la huella
es autentica.
5. Al seora Prez tendr que desocupar
la casa o estar obligada a pagar
judicialmente, si el contrato es valido.
Pero el contrato es valido. Por tanto,
estar obligada a pagar judicialmente o
tendr que desocupar la casa.
6. Si 6 es impar, entonces 4 No divide a 7
5 no es primo o 4 divide a 7 Pero 5 es
primo. Por consiguiente 6 es par.
7. Trabajo o apruebo matemticas. Si
trabajo no puedo estudiar. Aprob
matemticas. Por lo tanto yo estudie.
8. Si llueve, Julia se resfriar . No llovi.
Entonces Julia no se resfri.
9. Alan es culpable del conflicto, porque
Maria dice la verdad o Eduardo no
estuvo en su trabajo y Maria no dice la
verdad"
10. La teora de la relatividad no es exacta,
porque la materia se destruye y Dios
existe. La teora de la relatividad es
exacta. Luego no es el caso que Dios
existe y la materia se destruye"
11. Has decidido estudiar Medicina Humana
y especializarte en Traumatologa. Por
tanto, Has decidido estudiar: Medicina
Humana
y
especializarte
en

Traumatologa,
Nuclear".

estudias

Fsica

LOGICA DE PREDICADOS O
CUANTFICACIOBAL
La lgica de predicados, llamada tambin
cuantificacional, de funciones o de trminos.
Es una parte de la lgica simblica que
estudia
a
las
proposiciones
como
expresiones analizables, es decir, que toma
en cuenta su estructura interna de las
mismas a diferencia de la lgica de
enunciados que no considera su estructura
interna.
1. VARIABLES CUANT1FICACIONALES
Variables predicativas. Se les
representa por las letras maysculas; E,
F, G,... y sirven para designar a clases o
conjunto de objetos. Por ejemplo:
Profesores se puede representar por la
letra P, aves, s puede representar por A,
etc.
Variables individuales. Est representada
por las letras minsculas del alfabeto: a,
b, c,... y se emplea para designar a
nombres propios o de personas. As por
ejemplo: Hitler puede representarse por
h; Pedro por p. etc.
.Variables
indeterminadas.
Estn
representadas por las letras minsculas
ltimas del alfabeto: x, y, z. Se emplean
para representar a objetos indefinidos o
indeterminados. Por ejemplo, y es
verde. X es un hombre; pero si decimos
Flix es un hombre, x deja de ser
indeterminado y pasa a ser individual.
2. ESQUEMAS CUANT1FICACIONALES
Todos los esquemas cuantificaciones
pueden ser al igual que en la lgica
preposicional atmicos o moleculares.
Esquemas cuantificacionales atmicos.
Estn constituidas por las variables
predicativas,
individuales
e
indeterminadas. Por ejemplo: Fb,
Hcd,...Fxyz,...

Esquemas
cuantificacionales
moleculares. Se obtienen como
consecuencia de la combinacin de dos

esquemas cuantificacionales atmicos,

los mismos que se hallan unidos por
una conectiva u operador lgico. Por
ejemplo:
Fx Gx Fxy Hxz Hab Fbc
Es necesario aclarar que segn el
nmero de variables o indeterminadas
que
poseen
los
esquemas
cuantificacionales:
atmicas
y
moleculares, reciben el nombre de:
Mondicos:
Fe, (Esquema
cuantificacional
atmico mondico)
FbHc, (Esquema cuantificacional
molecular mondico)
Didicos:
Fbe,. (Esquema cuantificacional atmico
didico)
FbeGde,... (Esquema cuantificacional
molecular didico)
Tridico:
Hxyz,...
(Esquema cuantificacional
atmico tridico)
AbcdDefg,. ..(Esquema cuantificacional
molecular tridico)
3. OPERADORES CUANTIFICACIONALES
O PREFIJOS
Son aquellos signos que anteceden a
todos los esquemas cuantificacionales
atmicos o moleculares y no indican la
cantidad en la que ellas se encuentran.
3.1. UNIVERSALES. Es el trmino "todos".
Se le representa simblicamente por el
signo "(X)" o "x", y se lee: Para todo x,
Para cualquiera sea x, Sean todos los x,
quienquiera que sea x, todo lo que sea x,
etc. se antepone dicho prefijo a los esquemas cuantificacionales atmicos o
moleculares, para indicar que se encuentra
en sentido universal.
a) Universal afirmativo "A". "(x)Fx", y
se lee; Para cualquier x, es de F o
Para todo x, x es de F, etc.
b)

Universal negativo 'E". "(x)-fx", y se

lee; Para cualquier x, x no es de F o
Para todo x, x no es de F, etc.

3.2. PARTICULARES O EXISTENCIALES.

Es
el
trmino
"algunos".
Su
representacin simblicamente por el
signo:"(3x)", y se lee: Existe al menos un
x, Para algn x, Para algn x, Existe a lo
sumo un x, Al menos un x existe, etc. se
antepone tambin a los esquemas
cuantificacionales
atmicos
o
moleculares, para indicar su sentido
particular.
a. Particular afirmativo 'I". "(3x)Fx", y
se lee; Existe por lo menos un x
talque, x es de F o para algunos x, x
es de F, etc.
b. b. Particular negativo 'O". "(3x)-Fx" y
se lee: Existe por lo menos un x tal
que, x no es de F o Para algunos x,
x no es de F, etc.

Negacin de cuantificadores
~x
A/p(x)x
A/~ p(x)

A/p(x)x A/~ p(x)

~x

4. LAS GENERALIZACIONES
Las generalizaciones nos permiten
convertir a las frmulas cuantificadas
atmicas o moleculares en universales o
particulares, es decir, nos posibilita darle
una cantidad determinada. Ejemplo:
Tigres
Todos los tigres
Algunos son tigres

Tx
(x)Tx
(3x) Tx

5. CUANTIF1CACION DE LA OPOSICIN
Se emplea el cuadro de la oposicin de
Boecio,
donde
las
proposiciones
categricas
(A-E-1-0),
se
pueden
cuantificar:
Proposiciones atmicas

c)

d)

e)
Proposiciones moleculares

Z, m Z; m +7 > n> m
Z, n Z; n 7+m v m

b)

n
m

Z, m Z; m

n -7v n

Z m Z; m + 7 n

2. De las proposiciones:
p: x
Z/(4x+2)(3x-7)=0
2
q: x
Z/(x >0)v(x-1)<0

r x N/(4x + 2) (3x - 7) = O

Seale el valor de verdad de p, q r y

adems: [(p a q) (p v r)] r
Cuantificando las formas categricas
tpicas de la lgica tradicional, a nivel de
es quemas moleculares tendramos:
A
E
I
O

Todos los S son P

Ningn S es P
Algunos S son P
Algunos S no son P

(x)(Sx Px
(x)(Sx ~-Px)
(3x)(Sx Px)
(3x)(Sx ~ Px)

En A se lee: "Para todo x, si x es de S,

entonces x es de P". Por ejemplo todos
los primates son mamferos.
En E se lee: "Para todo x, si x es de S,
entonces x no es de P". Por ejemplo:
Ningn campen es incompetente, donde S: campen y P: competente.
En I se lee: "para algn x, x es de S y x
es de P". Por ejemplo Algunos religiosos
son catlicos; donde S: religiosos y P:
catlicos.
En O se lee: "Para algn x, x es de S,
pero x no es de P". Por ejemplo algunos
alumnos son estudiosos; donde S:
alumnos y P: estudiosos.
1. La negacin de la expresin:
"Existe algn numero entero m tal que,
para todo numero entero n :
(m + 7) > n > m ' es:
a)

Z, n 2; m + 7 > n> m

a) VVFF
d)FVFV

b) VFVF
e) FVFF

c) FWV

3. Sea A el conjunto de todos los estudiantes

y adems:
p(x):" x es limeo"
q(x): "x tiene menos de 20 aos"
Negar y simbolizar las siguientes
proposiciones:
I)
II)
III)

Todos los estudiantes si tienen

menos
de 20 aos, son limeos.
Algunos estudiantes son limeos y
de 20 o mas aos.
a.
x
A: ~ p(x) a q (x)

b.

c.

d.

V x A:~ p(x) v q (x)

x A: p(x) a q (x)
V x A: p(x) v q (x)
x A:~ p(x) a ~ q (x)
V x A: ~ p(x)v-q (x)
x A: ~ p(x) a q (x)
V x A: p(x)v-q (x)

e.

A: p(x)A-q (x)
V x A: ~ p(x) v q (x)
x

e)

Es falso que existe al menos una x,

tal que x no es un rbol.

4. La formula: (x) (A x 3 IX) se leer:

a)
b)
c)
d)
e)

Algunos africanos son inteligentes

Todos los inteligentes son africanos
Todos los africanos son no
inteligentes.
Ningn africano es inteligente.
Todos
los
africanos
son
inteligentes.

5. "Algunos hombres no son mortales", en

forma simblica es:
a)
b)
c)
d)
e)

( x ) (H x. ~ M x)
( x )( H x ) M x )
( x ) (Hx . Mx)
( x ) ( H x ~M x )
N. A.

6. "No es cierto que algunos estudiantes

sean confiados en el examen", en forma
simblica es:
a) ( x ) ~ ( E x v C x )
b) ( x ) ( E x ~ C x )
c) ( x ) ( E x v ~ C x)
d) ( x ) ( E x v C x )
e) ( x ) ( E x v C x )
7. La formula : (3x) (~ C x. P x) se leer:
a)
b)
c)
d)
e)

Algunos capaces son polticos

Algunos incapaces son apolticos
Todos los incapaces no son
apolticos.
Algunos incapaces son polticos.
Algunos incapaces no son polticos

8. La formula ~(3 x)-H x se leer as:

a)
b)
c)
d)

Es absurdo que para toda x, x no

es un rbol.
Sean todos los x, tal que sean un
rbol.
No todo lo que sea x, x es un rbol
No es cierto que cualquier cosa
que sea x, x no es un rbol.

9. La formula V x (Mx)
equivalente a la formula.
a) ~(x) ~ Mx
c) ( x) ~ Mx
e) ~( x) M x

tiene

como

b) ~(x)~ Mx
d) (x)~ Mx

10. La formula (3x)(Ax. Mx) se leer as:

a) Existe al menos un x tal que x es
humano y x es mortal.
b)
Existe al menos un x tal que x no
es humano y x es mortal.
c)
Dada cualquier x, si x es humano,
x no es mortal.
d)
Cualquier cosa que es humano es
tambin mortal.
e) No hay humano que sea mortal.
11. La formula (3x) (G x ~ Mx) se leer:
a)
b)
c)
d)
e)

Un gorrin es un mamfero.
Cualquier cosa que sea [ gorrin es
mamfero.
Los gorriones son todos mamferos
Los gorriones no son nunca
mamferos.
N. A.

12. La formula: (V x)(B x ~ C x) se leer.

a)
b)
c)
d)
e)

Es falso que haya un burro con dos

cabezas.
No hay nada que sea burro, pero
que no tenga dos cabezas.
No es cierto que haya ningn burro
de dos cabezas.
Ningn burro tiene dos cabezas.
Los burros tienen dos cabezas

--CLAVE DE RESPUESTAS-PROBLEMAS PROPUESTOS

1. d
7. d

2. e
8. e

3. a
9. b

4. e
10. a

5. a
11. e

6. b
12. d

1.

2.

IDEA DE CLASE: Es una agrupacin

coleccin de objetos que tienen
caractersticas similares.
Ejemplo: La clase de los profesores de
la UNSA
TIPO DE CLASES: Mencionaremos dos
tipos fundamentales de clases:
La clase No vaca: Tiene elementos se
marca una x en el interior.
La clase Vaca: No tiene elementos. Se
lo sombrea o raya totalmente.(O)

Algunos poetas no son sentimentales ...(o)

Ejemplos: Algunos atletas son peruanos es
subalterna de:
Todos los atletas son peruanos.
La proposicin categrica de forma tpica
tiene una forma cannica o esquemtica
cuyos componentes son:
- Cuantificadores.
- Termino sujeto
- Copula
- Termino predicado.

Clase no vaca
3.

Clase vaca

PROPOSICIONES CATEGRICAS:
La proposicin categrica les un
enunciado que afirma o niega algo.
Tales
proposiciones
cuantificadas
relacionan dos clases:
Clase del Sujeto (S) y la Clase del
Predicado (P).
Ejemplo:
Algunas flores son fragantes
S
P

TIPOS
DE
PROPOSICIONES
CATEGRICAS:
Hay cuatro formas de la proposicin
categrica,
llamadas
proposiciones
categricas de forma tpica.

Solucin

Ejemplo:
Todas las mujeres son
infieles.
(Cuantif) (sujeto) (copula) (predicado)
Ninguna
ave
es voladora
(Cuantif) (sujeto)(copula) (predicado)
Algunos hombres son mortales
(Cuantif) (sujeto) (copula) (predicado)
Algunos
(Cuantif)

animales no son reptiles.

(sujeto) (copula)
(predicado)

PROBLEMAS RESUELTOS
1. Si la subcontraria de la contradictoria de la
contraria de la contradictoria de ^subalterna
de "ningn incapaz es principista" es falsa.
Cul de las siguientes proposiciones es
verdadera?
a) Algunos incapaces son principistas
b) Muchos antiprincipistas no son
incapaces.
c) Ningn antiprincipistas es capaz
d) Todo incapaz es principista
e) Ciertos
incapaces
no
son
principistas.

Solucin:
Si la subcontraria (5) de la contradictoria (4)
de la contraria (3) de la contradictoria (2) de
la subalterna (1) e "ningn incapaz es
principista" es falsa

PROBLEMAS PROPUESTOS
1. Todos los hombres son amables equivale
a:
a) No todos los hombres son amables
b) Ningn amable es hombre.
c) Algunos hombres no son amables
d) No es cierto que, pocos hombres no
sean amables.
e) N. A.
2. "No es cierto que todos los diputados sean
no marxistas", en lenguaje Booleano es:
a)DM = 0
c) D M 0
e) DM 0

A:
E:
I:
O:

CUADRO DE BOECIO . (CUADRO DE

OPOSICIN).

Todos los S son P

Ningn S es P
Algunos S son P.
Algunos S no son P.

DIAGRAMACION
PROPOSICIONES
FORMA TPICA:

DE
LAS
CUATRO
CATEGRICAS
DE

.A es verdadera ( I tambin es verdadera

porque esta contenida en A)
.Todo incapaz es principista es verdadera
Rpta d)
Nota:
Contradictoria significa que cada una de ellas
es la negacin de la otra.
Ejemplo:
Todos los poetas son sentimentales ... (A)
Su contradictoria es:

d)

DM

3. "No es el caso que algunos no corredores

sean no polticos", en lenguaje booleano
es:
a)C

CUALIDAD Y CANTIDAD:
Las proposiciones categricas son por su
calidad: "Afirmativas y Negativas" por su
cantidad: "Universal y Particular".

b}D M 0

2. La negacin de:
"Algunas mentiras son piadosas" es:
a) Algunas mentiras no son piadosa
b) Ninguna mentira es piadosa
c) Algunas piadosas son mentiras
d) Todas las mentiras son piadosas
e) Ninguna mentira es agradable

=0

c) C P 0
e) N. A.
4.

b)
d)

C P =0
C P0

"Algunos no financistas no son

deshonestos " En diagramas de Ven es:

Ejemplo:
* INFERENCIA POR CONVERSIN:
Se realiza lo siguiente: El sujeto y el
predicado de la premisa se permutan en la
conclusin manteniendo su calidad. Son de
dos tipos:
* SIMPLE: La premisa y la conclusin tienen
igual cantidad e igual calidad.

5. Negar:
Todos los poetas son sentimentales.
.................................................................

SAP
No tiene

SEP
PES

SIP
PIS

Algunos policas son taxistas (Premisa)

S
I
P

a)
b)

7. Negar:
Todo animal es vertebrado, salvo que
ningn vertebrado es carnvoro".
.................................................................

Algunos taxistas son policas (Conclusin)

P I
S

c)
d)

Es su conversa.

e)

8. Negar:
"Algunos planetas son celestes sin
embargo todos los poetas son mediocres"
.................................................................

* ACCIDENTAL: La premisa y la conclusin

tienen igual calidad pero diferente cantidad.

1. d

2. d

3. e

4. e

4. INFERENCIAS INMEDIATAS:
Son formas de razonamiento que consisten
en derivar la conclusin solo a partir de una
premisa. Cuando la premisa y la conclusin
tienen el mismo valor veritativo se dicen
"Licitas", de lo contrario se dicen "Ilcitas" y
cuando no es posible determinar la verdad o
falsedad de la conclusin se le denomina
indeterminada.
Se clasifican en:

a)
b)
c)
d)
e)

* INFERENCIAS POR OBSERVACIN:

Hace el siguiente procedimiento. Se cambia
la calidad, se mantiene la cantidad , el mismo
sujeto de la premisa es sujeto en la
conclusin y se busca el complemento del
predicado que se denota P, ~ P.
SEP
SAP

SIP
SOP

SOP
SIP

Cuando los cuantificadores son

universales afirmativos o negativos y
su copula aparece negada, entonces
la
negacin
se
antepone
al
cuantificador
Ejemplo:
Algunos indiscretos no son leales.

DoL
DL 0

Ningn idealista es joven

Todos los jvenes son idealistas
Algunos idealistas no son jvenes
Algunos idealistas son jvenes
e) N. A.
Claves de Respuestas
1. c
2. d

Es su conversa.

SAP
SEP

Algunos entrenadores son jugadores.

Algunos
jugadores
no
son
entrenadores.
Algunos jugadores son entrenadores.
Todos
los,
jugadores
son
entrenadores.
Todos
los
entrenadores
son
jugadores.

2. La conversa de la subalterna de: Todos los

jvenes son idealistas"

Algunos mamferos son gatos.

P
I
S

CLAVE DE RESPUESTAS

4.

PROBLEMAS PROPUESTOS
1. La conversa de la contradictoria de"Ningn
entrenador es jugador" es:

Ejemplo:
Todos los gatos son mamferos (Premisa)
S
A
P

Las proposiciones que tienen dos

complementos se convierten en
afirmativas.

* INFERENCIAS POR OPOSICIN:

Estn representados por el cuadro de
oposicin de Boecio

Ejemplo:

9. La negacin de:
Algunos pintores son abstractos pues
todos los abstractos son capaces, es:
.................................................................

3.

.Ningn hombre es invertebrado; es un

"Obversa".

SIP
No tiene

SEP
POS

Forma Booleana de las proposiciones

categricas:

Todos los hombres son vertebrados.

S
A
P

6. La negacin de:
Algunos futbolistas no son ingenieros dado
que todas las mujeres son lindas es:
.................................................................

S AP
PIS

2.

5. SIMBOLIZACIN DE PROPOSICIONES
CATEGRICAS
Y
SU
REPRESENTACIN
EN
LOS
DIAGRAMAS DE VENN
1.

Las letras S" y "P" se pueden

reemplazar por las letras maysculas
iniciales. Los tipos de proposicin
categricas A-E-I-O se representara
por a - e - i -o.

6.

VAUDEZ O INVALIDEZ DE LAS

INFERENCIAS INMEDIATAS:
Se simbolizan la premisa y la conclusin
en forma Booleana. La inferencia ser
valida si la conclusin coincide con la
premisa. De lo contrario ser invalida.
Ejemplo:
Ningn no diputado es apoltico; por lo
tanto,
ningn apoltico es no diputado.
PREMISA

D eP

CONCLUSIN

P eD

DP 0

PD0

La inferencia es valida, la conclusin coincide

con la premisa.
7. CONTENIDO EXISTENCIA!-:
Para la lgica tradicional, algunas
inferencias validas, eran invalidas para
otras formas como los diagramas de
Venn. Para resolver este problema, se
introdujo la premisa existencial adicional.
Las proposiciones "I" y "O" tienen
contenido existencial. Para salvar la
validez de la inferencia debemos suponer
que todas las cosas que nos permiten
hablar tienen miembros, dndole el
contenido existencial al termino comn,
osea a la letra que se repite tanto en la
premisa como en la conclusin y
marcamos con una "X". Hay inferencias
en que se dan dos contenidos
existenciales a letras distintas, osea las
no comunes. Estas sern invalidas.
Ejemplo:
Todos los vertebrados son mamferos por
lo tanto, algunos vertebrados son
mamferos.
PREMISA
VaM
V M =0

CONCLUSIN
ViM
VM
0

Es valida.
Ejemplo:
Ningn soldado no guerrero es tmido, en
consecuencia algunos soldados tmidos no
son guerreros.
PREMISA

CONCLUSIN

G eT
T oG
GT 0

G 0
T 0

TG 0

No es valida (Tiene dos contenidos

existenciales).
8. SILOGISMOS CATEGRICOS:
Es una inferencia mediata que consta de dos
premisas y una conclusin.
* Trminos de un silogismo.
a)
b)

La conclusin no coincide con la premisa.

Aplicamos el contenido existencia!.
PREMISA
VaM
VM =0

CONCLUSIN
ViM
VM
0

c)

Termino Mayor (P): Es el predicado de

la conclusin y debe aparecer en la
primera premisa.
Termino Menor (S): Es el sujeto de la
conclusin y debe aparecer en la
segunda premisa.
Termino Medio (M): No esta en la
conclusin pero aparece en las dos
premisas.

*CARACTERSTICAS:

del siguiente silogismo.

MODO: Si la primera premisa es el tipo A, la

segunda del tipo E y la conclusin del tipo O
nuestro silogismo esta en el modo AEO.
Figura: Depende de la ubicacin del termino
medio, se pueden presentar 4 figuras
diferentes.

1) Todas las violetas son flores.

M
A
P

1ra Fig
MP
SM
SP

2da Fig.
PM
SM
SP

3raFig.
MP
MS
SP

4ta Fig.
PM
MS
SP

VALIDEZ:
* Mtodo por comparacin:
Podemos determinar si un silogismo es
valido simplemente comparando su modo y
figura con la lista de los silogismos validos:
1ran fig.
BARBARA
CELARENT
DARII
FERIO
* AAI
* EAO

2da fig.
CESARE
CAMESTRES
FESTINO
BAROCO
* AEO
* EAO

3ra flg.
BOCARDO
FERISON
DISAMIS
DATISI
* DARAPTI
*FELAPTON

4ta flg.
CAMENES
DIMATIS
FRESISON
* BAMALIP
* FESAPO
* AEO

Nota:
Los modos que aparecen con (*) para ser
validos necesitan de la premisa existencial

2) Algunas violetas son plantas buenas.

M
I
S
3) .-. Algunas plantas buenas son flores
S
I
P
M
A
P
MODO: AII
M
I
S
Fig. 3ra
I
P
Validez
Valida
S
Mtodo Graneo.
Simbolizando:

VaF

ViB

VB

.B I F

=0

O
BF O

PROBLEMAS RESUELTOS
En los diagramas siguientes corresponden a
silogismos vlidos. Determine en cada caso
su y modo

MTODO GRFICO:
-. Se dibujan tres diagramas interceptados,
correspondientes a los trminos mayor,
menor y medio.
-. Se grafican las premisas empezando por
la universal. No se grfica la conclusin.
-. Al observar el grfico, si la conclusin ha
quedado representada, el silogismo es
valido, de lo contrario no es valido.
Ejemplo:
Mtodo Comparacin. Determinar la validez

a) AEI
d) OIE

b) EIO
e) AII

c) AIO

Solucin

a) IEO
d) EIE

b) EII
e) OEI

c) EIO

Solucin
a) AIO
d) AAI
Solucin

b) AOI
e) AII

c) AEO

a) AEO
d) AEE

b) EAE
e) EAO

c) AEA

Solucin.

Modo: ALL

Rpta. E)
Modo: EIO

Rpta. c)

5.

Modo: AAI

Rpta. d)

Modo: EAO

Rpta. e)

7.
9.
a) AIO
d) AOO

b) AOI
e) OAO

c) OAI

Solucin:

a) AEO
d) EAI

b) AEE
e) a y b

c) AEI

Solucin

a) AAI
d) EAA

b) AAO
e) AAA

c) AEA
a) AAI
d) AAA

b) AAO
e) a y d

c) AEA

Solucin
Solucin.

Modo: AOO
4.

Modo: AAA y AAI

Rpta. d)

Modo: AEE y AEO

6.

Rpta. e)

10. Ningn filsofo es artista

Todos los artistas son pintores

Rpta. e)
Modo: AAI
8.

Rpta. a)

*De dos Premisas particulares no se

concluye nada
*De dos premisas negativas no s concluye
nada
*EI trmino medio no esta presente en la
conclusin
*De una premisa universal y una particular
la conclusin nunca ser universal
*De dos premisas afirmativas la conclusin
ser afirmativa
:*De dos premisas una afirmativa y la otra
negativa la conclusin ser negativa

a)
b)
c)
d)
e)

Algunos artistas son filsofos.

Ningn filsofo es artista.
Algunos pintores son filsofos
Ningn pintor es filsofo.
Algunos pintores no son filsofos

M
P
Todas las flores son vegetales
M
S

1.
(A)

a)
b)
c)
d)
e)

Solucin:
Ningn filsofo es artista
P
M

Algunos metales son objetos

Todos los objetos son metales
Algunos objetos no son metales
No tiene conclusin.
N. A.

(E)
2.
Todos los materialistas son ateos
Algunos materialistas son ateos
Algunos ateos son materialistas
Rpta b)

Todos los artistas son pintores (A)

.Algunos vegetales son rojos o

.Algunos rojos son vegetales

Rpta e)

12. Algunos fanticos no son amistosos

Algunos amistosos son educados.
a) Ningn fantico es educado
b) Algunos educados son fanticos
c) Todos los educados son fanticos
d) No existe conclusin
e) Algunos fanticos no son educados

Algunos pintores no son filsofos

Rpla e)
11. Algunas flores son rojas
Todas las flores son vegetales.
a) Todos los vegetales son rojos
b) Algunas flores son vegetales
c) Ningn vegetal es rojo
d) Algunos vegetales no son rojos
e) Algunos vegetales son rojos
Solucin:
1er Mtodo (Descartes)
De la observacin sabemos que no se
puede
concluir con el trmino medio
(flores).-. descartamos b)
Tambin sabemos que las dos premisas
son positivas descartamos las negativas
c) y d)
Adems una premisa es particular y la
(otra universal descartamos la universal
a)
La respuesta debe ser particular positiva
y la nica es la e)
Rpta e)
2do mtodo (Diag. de Venn)
Algunas flores son rojas

Ningn metal es madera

Algunos objetos son madera.

Solucin:
Algunos fanticos no son amistosos (O)
Algunos amistosos son educados (I)
Las dos premisas son particulares
No se concluye nada
Rpta d)

a)
b)

Algunos mamferos comen carne

Algunos mamferos no comen
carne
Los animales herbvoros son
mamferos
Los que comen carne son
mamferos
Algunos que no comen carne no
son mamferos

c)
d)
e)
Solucin:

Algunos mamferos son animales herbvoros

S
M
Ningn animal Herbvoro come carne
M
P

Todos los que no creen en Dios son ateos (A)

b)
c)
d)
e)
3.

.Algunos mamferos no comen carne

Rpta b)
PROBLEMAS PROPUESTOS

Algunos
agresivos
no
son
domsticos
Todos los buitres son agresivos
Ningn buitre es agresivo
Cualquier agresivo es Buitre
Algunos agresivos no son Buitres.

Algunos diplomticos no son cultos

No todo diplomtico es abogado
a)
b)
c)
d)
e)

Algunos abogados son cultos

Todos los cultos son diplomticos
Ningn abogado es diplomtico
No tiene conclusin
N. A.

4. Ningn estudiante es caracol. Por lo tanto

, ningn artista es caracol, ya que todos
los estudiantes son artistas.
5. Algunas personas buenas son cariosas;
puesto que todas las personas
agradables son buenas y algunas
personas cariosas son agradables.
6.

Solucin:
Todos los materialistas no creen en Dio (A)
S
M

a)

Algunos mamferos son animales

herbvoros. Ningn animal Herbvoro
come carne.

13. Todos los materialistas no creen en Dios.

Todos los que no creen en Dios son
ateos.
a) Algunos ateos no creen en Dios.
b) Todos los materialistas son ateos
c) Todos los ateos no creen en Dios
d) No existe conclusin
e) Todos los ateos son materialistas

M
(1)

14.

Ningn Buitre es domestico

Algunos Buitres son agresivos

Todos los libros son buenos

Todos los escritores son buenos por
consiguiente, todos los escritores son
libros