2 Logica

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA
LGICA
PROPOSICIONAL
COMPETENCIA EN LGICA PROPOSICIONAL:
DESARROLLA CONCEPTOS Y PROCEDIMIENTOS DE LA LGICA PROPOSICIONAL, PARA
TRANSFORMAR E INTERPRETAR, DE MANERA COHERENTE, EL LENGUAJE ORDINARIO EN
SU FUNCIN INFORMATIVA HASTA CONVERTIRLO EN LENGUAJE SIMBLICO-LGICA
PROPOSICIONAL, REEXPRESANDO LA INFORMACIN RECOGIDA DE LAS SITUACIONES
REALES ACONTECIDAS, PARA SU ANLISIS, SU APLICACIN EN LA SOLUCIN DE
PROBLEMAS Y EN LA TOMA ASERTIVA DE LAS DECISIONES
SESIN
LOGICA
La lgica es una ciencia muy importante
que sirve de apoyo a la matemtica
moderna, aunque en la vida diaria, nos
ayuda a resolver situaciones que
ocurren a nuestro alrededor, como por
ejemplo: desentraar el misterio de un
asesinato o determinar la paternidad de
un nio. Sin embargo, la lgica no est
en lo que acontece, no pertenece al
mundo concreto; sino surge de la mente
del hombre y refleja cierta estructura y
procesos mentales, productos de la
creacin de la mente humana.
No obstante, el conocimiento o saber
lgico, no tan solo se usa dentro del
campo filosfico o del pensamiento, sino
en todas las formas del conocimiento,
dado que en todas las reas se requiere
de un ordenamiento de los elementos
que implica un razonamiento.
Los principios y las reglas de la lgica,
se usan en la construccin del anlisis
de un problema especfico y nos
permiten establecer un orden de las
partes a tratar y hacer un razonamiento
que nos lleve a establecer un juicio
objetivo. Por ejemplo, si necesitas
calcular el rea de un tringulo, qu
haras?
Queda pues claro que en la vida diaria
del hombre comn, as como en el
campo de la ciencia, la lgica nos da las
herramientas
necesarias
para
argumentar correctamente.
Lgica Proposicional.- Es aquella parte
de la lgica formal que estudia las
proposiciones como un todo indiviso, como
bloques unitarios, con total abstraccin de
su estructura interna. No analiza las
palabras individuales que componen la
proposicin. Examina las conexiones
lgicas existentes entre las proposiciones
consideradas, es decir las conexiones
lgicas que existen entre las proposiciones
a travs de los conectivos lgicos u
operadores lgicos. Toma en cuenta su
propiedad de ser verdaderas o falsas,
evaluando primero las proposiciones

atmicas o simples y luego evala las
proposiciones compuestas o moleculares,
formadas mediante el uso de los conectivos
lgicos. El clculo proposicional recurre a
smbolos:
variables
proposicionales,
conectivos lgicos u operadores lgicos
(constantes lgicas), reglas de formacin
de
expresiones
(sintaxis),
smbolos
auxiliares o signos de agrupacin, valores
veritativos (valores de verdad).
ENUNCIADOS
Enunciado.- Es una serie determinada
de signos, que forman un segmento
lingstico. Usualmente es toda frase u
oracin. Ejemplos de enunciados en la
lengua espaola:
La Polica Nacional del Per
La Polica nacional del Per y la Fuerza
armada.
Alto!
Quin anda ah?
Perro que labra no muerde
Mi auto nuevo
2+2=5
Todas las gallinas son aves
Dos ms tres es igual a cinco
Prohibido hacer bulla
5x + y > 34
x gira alrededor del sol.
x es mecnico.
x + y = 0
x es nmero real.
x es padre de y.
x > y
x + 3 = 7
ENUNCIADOS ABIERTOS.
Son expresiones que contienen variables y
que no tienen la propiedad de ser verdadero
o falso.
Ejemplos:
x < 5 es un enunciado abierto, porque no
podemos afirmar que es V o F.
Solo cuando la variable x toma un
valor numrico se hace V o F.
As tendremos:
Si x = 3 : 3 < 5 es V
Si x = 8 : 8 < 5 es F

PROPOSICIONES
Proposicin.- Es un enunciado lingstico
aseverativo (afirmativo o negativo) con
propsito
informativo,
libre
de
ambigedades, que tiene la propiedad de
ser verdadero o falso, pero no ambos a la
vez. Expresan la afirmacin o negacin de
algo con respecto al referente. Afirmativa:
Admite cualidad o propiedad. Ejemplo: El
rea del circulo es *r2. Negativa: Rechaza
cualidad o propiedad. Ejemplo: El nmero
dos no es impar. La proposicin describe
algn hecho o aspecto del universo fctico o
formal
Disyuncin
Disyuncin
Exclusiva
La Tierra es un planeta.
La Luna es satlite de la tierra.
Paris es la capital de Argentina.
-Proposicin Compuesta o
Molecular:
Es aquella proposicin que tienen
conectivo lgico u operador lgico.
Los
conectivos
lgicos
u
operadores lgicos se representan
o denotan as: , , ,
, , , , ,
Juan y Lus son deportistas.
Lus es ingeniero o mdico.
O Franco se va al colegio o se va a pasear.
Si Juan el deportista, mantiene una dieta
estricta.
n es par si y slo si n es mltiplo de 2.
Implicacin pq
Replicador
LGICO LGICA
Negacin
Conjuncin
CION
p
pq
ORDINARIO
No p
pyq
pq
Bicondicional pq
Opoq
entonces
p si q
p si slo si q
Negacin
Conjuntiva
pq
Ni p ni q
p q
No p o no q
Binegacin
Disyuntiva
Nota:
El conectivo lgico es un operador

para la negacin conjuntiva, llamada
tambin
Binegacin.
El conectivo lgico es un operador
para la Binegacin disyuntiva, tambin
se le llamada Negacin alternativa, o
Incompatibilidad.
Proposicin Negativa.
De manera general, la oracin aseverativa
negativa en lengua cotidiana se caracteriza
por llevar la palabra no antes del verbo.
Ejemplos:
Pal no es peruano.
El nmero 2 no es impar.
Estas oraciones aseverativas negativas se

en la lgica proposicional
utilizando una variable proposicional y el
operador mondico Desde el punto de
vista de la lgica proposicional estas
proposiciones se representan as:
p: no (Pal es peruano).
q: no (El nmero 2 es impar).
El operador lgico se puede aplicar a una
proposicin simple o atmica y tambin se
Conectivos Lgicos y Operaciones Lgicas representan

CONECTIVO
OPERACIN SIMBOLIZA-LENGUAJE
pq
poq
(V)
(F)
(V)
Existen dos tipos de proposiciones:

-Proposicin Simple o Atmica:
Es aquella proposicin que carece
de conectivo lgico u operador
lgico. Pueden ser predicativas o
relacionales. Ejemplos:
pq
Si p
Ejemplo:
P: Lima es capital del Per
Q: Mozart escribi Trilce
R: 4 + 9 = 13
Dbil
puede aplicar a otras proposiciones didicas o

moleculares.
La expresin no es el caso que, es falso
que se usan generalmente para negar
proposiciones compuestas. Ejemplo: No es el
caso que la casa sea negra y la puerta roja. En
este caso tenemos una proposicin conjuntiva,
negada: (p q). No es el caso que si llueve,
haga calor. En este caso tenemos una
proposicin condicional, negada: (r s)
En el lenguaje lgico-matemtico, la negacin
de una negacin equivale siempre a una
afirmacin. Ejemplo: no es verdad que no
est en casa equivale a decir est en casa y,
en general no-(no-A) es lo mismo que A.
Es inobjetable que A A A.
No es innegable que no A AA.
En nuestra lengua natural, lengua espaola, no
siempre es as, sino que a veces, utilizamos la
acumulacin de negaciones para dar mayor
nfasis a nuestra expresin. No ir nunca es
para nosotros ms o menos lo mismo que
nunca ir.
Conectivo Lgico u Operador Lgico .
Funcin.- Negar una proposicin afirmativa.
Regla Metalgica
Si p es verdadera, p es falsa; y viceversa.
Tabla de verdad:
p
V
F
Conectores equivalentes a .
No A // Nunca A // Jams A // Tampoco A // Es
absurdo que A // Es imposible que A // No ocurre
que A // No es verdad que A // Es inadmisible que
A// No acaece que A // No es innegable que A // Es
errneo que A // Es incierto que A // De ninguna
forma se da que A // No es el caso que A// No es
cierto que A // Es Inconcebible que A // Es mentira
que A // Es incorrecto que A // Es falso que A // Es
negable que A // Es refutable que A // Es objetable
que A // En modo alguno A // En forma alguna A //
De ningn modo A // De ninguna manera A //
Nunca sucede que A // Bajo ninguna condicin A //
No siempre que A // No es inobjetablemente cierto
que A// No es innegable que A // Nadie que sea A //
No es que A // No se da la posibilidad que A // No

es inobjetable que A //
Ejemplos
Es absurdo que el Edgar patee con las dos piernas.
No es cierto que el cuadrado sea un polgono.
Francisco Pizarro nunca descubri Amrica.
Nunca Francisco Pizarro descubri Amrica.
De ningn modo ir a tu casa.
Es inadmisible que 3 + 3 = 9.
No es verdad que toma refrescos.
Es objetable que salga a pasear.
Es falso que tenga dinero.
Es inconcebible que Martn salga desaprobado.
En modo alguno los ofidios poseen extremidades.
En forma alguna los peces son anfibios.
No hay cumplimiento de leyes.
No ocurre que Mara canta.
No acaece que el carro es blanco.
No es el caso que Lus sea propietario del
computador.
Es irrefutable que la suma de los ngulos internos
de un tringulo es 360 grados.
Es mentira que en el Per hay democracia.
Jams vayas al cine en la maana.
Es imposible que exista vida en el planeta Venus.
Es incorrecto que 2 + 3 = 10.
16
Es errneo que
= 9.
Nunca sucede que los peces no nadan en el aire.
Es incierto que los alumnos de primaria ingresan a
la universidad.
Es innegable que las ballenas tengan extremidades.
No es innegable que ballenas sean ovparas.
De ninguna forma se da 5<2.
No es inobjetable cierto que el elefante no demora
20 meses para nacer.
No es falso que sea imposible que el pulpo sea
un molusco.
Tampoco el elefante demora 20 meses para
nacer.
Proposiciones Conjuntivas .
Sean las oraciones aseverativas Juan es
deportista y Lus es deportista. Estas
oraciones la podemos reescribir mediante una
oracin aseverativa compuesta Juan y Lus
son deportistas, en este caso, las oraciones
dadas han sufrido una transformacin de
elisin, o sea, se han omitido una o ms
palabras, pero se mantiene el sentido completo
de las oraciones aseverativas primigenias. En

Cierto A lo mismo que B // As como A, B //
el uso cotidiano de la lengua, de manera
No slo A tambin B // No slo A sino tambin
general, no hablamos ni escribimos Juan es
B // Que A es compatible con que B // Si A e
deportista y Lus es deportistas. sino Juan y
incluso B // simultneamente A con B // Tanto
Lus son deportistas. Esta oracin compuesta
A como B // An cuando A , B A B //
en la lgica proposicional es una proposicin
Tanto A como cuando B // Tomar A como
molecular con operador didico o .
cuando B // A , B tambin // Siempre ambos A
con B // A vemos que tambin B //
Siendo una proposicin molecular la podemos
representar
mediante
las
variables
proposicionales p para representar a la
Ejemplos
proposicin simple o atmica Juan es
deportista y q para representar La
a ETS
la PNP Puente Piedra y la ETS San Bartolo son
escuelas de formacin policial.
proposicin simple o atmica Lus es
La PNP es una institucin del estado y
deportista, siendo el conector u operador
garantiza el orden interno.
didico que representa a la conjuncin
Los alumnos de la ETS PNP Puente Piedra
y o su equivalente, de la lengua espaola.
garantizarn la seguridad ciudadana adems de
Por consiguiente, en lgica proposicional, la
ser ciudadanos responsables.
proposicin molecular o compuesta con
Juan y Lus son deportistas.
conectivo binario (didico) , se representa
Es verano sin embargo hace fro.
mediante la frmula pq.
Juan es mdico y deportista.
Conectivo Lgico u Operador Lgico
La batalla ha terminado aunque la guerra
.
contina.
Funcin.- Se usan para aumentar informacin
Roxana no slo bailo sino tambin cant.
del mismo nivel. Algunos tienen un matiz
Grau fue un hroe, Bolognesi tambin.
enftico.
Lidia es muy sensual pero inocente.
No slo es aplicado tambin bondadoso.
Regla Metalgica o Principio Lgico
No slo es sabio, tambin bueno.
Slo
es
verdadera,
cuando
ambas
No slo Pedro sino tambin Lus estudian.
proposiciones atmicas son verdaderas. Es
Que Pedro estudia es compatible con que Ana
falsa en todos los dems casos.
estudia.
Tanto Pedro como Ana estudian.
Gustavo es profesor tanto como artista.
Claudia ingreso a la universidad al mismo
Tabla de verdad:
tiempo
p q
p
que Jos ingres a la marina.

q
El sueldo mnimo equivale a S/. 750, no
V V
V
V
F
F
obstante
F
V
F
las familias hacen esfuerzos para conseguir
F
F
F
ms dinero.
El sol es una estrella adems un planeta.
El nmero dos es par, tambin es primo.
Conectores equivalentes a
No slo el nmero dos es par sino tambin
nmero primo.
Y // tambin // adems // as mismo //
La boa es un ofidio al igual que carece de
asimismo // del mismo modo que// aunque //
extremidades.
sin embargo // as como // igualmente // pero//
As como trabajas, te alimentas.
al igual que // tal como // no obstante //
Te alimentas as como trabajas.
incluso// a la vez tambin // al mismo tiempo
Te alimentas as mismo trabajas.
que // y al mismo tiempo // de la misma
manera // tanto como // adems // an
cuando // empero // sino // a pesar de //
Proposiciones Disyuntivas Dbiles o

Inclusivas
Sean las oraciones aseverativas Rosa pidi
ayuda a Raquel o Rosa pidi ayuda a
Juana. Estas oraciones la podemos reescribir
mediante una oracin aseverativa compuesta
Rosa pidi ayuda a Raquel o a Juana, en este
caso, las oraciones dadas han sufrido una
transformacin de elisin, o sea, se han
omitido una o ms palabras, pero se mantiene
el sentido completo de las oraciones
aseverativas primigenias. En el uso cotidiano
de la lengua, de manera general, no hablamos
ni escribimos Rosa pidi ayuda a Raquel o
Rosa pidi ayuda a Juana sino Rosa pidi
ayuda a Raquel o a Juana. Esta oracin
compuesta en la lgica proposicional es una
proposicin molecular con operador didico
. Siendo una proposicin molecular la
podemos representar mediante las variables
proposicionales p para representar a la
proposicin simple o atmica Rosa pidi
ayuda a Raquel. y q para representar a la
proposicin simple o atmicaRosa pidi
ayuda a Juana., siendo el conector u operador
didico que representa a la conjuncin
o de la lengua espaola. Por consiguiente, en
lgica proposicional, la proposicin molecular
o compuesta con conectivo binario (didico)
, se representa mediante la frmula pq.
Nota:
En el lenguaje matemtico, por convencin,
o tiene siempre un significado incluyente.
Esto implica a veces una patente diferencia
con el uso del lenguaje ordinario que llama la
atencin a quien esta convencin no se le ha
hecho bien explcita y familiar. Ejemplo: 3 es
menor o igual que 5 es una expresin
matemtica verdadera, aunque todos sabemos
bien que lo verdadero es que 3 es menor que
5. 5 es menor o igual que 5 es una
expresin matemtica verdadera, aunque todos
sabemos bien que lo verdadero es que 5 es
igual que 5. Se podra expresar el sentido de
esta convencin diciendo que el matemtico en
su uso de la o se considera obligado a decir
la verdad, pero no se considera obligado a
decir nada ms que la verdad. Lo cual, no es la
forma habitual de proceder en nuestra
interaccin social al compartir e intercambiar
mensajes con los individuos con quienes nos

relacionamos o entendemos.
Funcin.- Se usa para sealar la posibilidad de
elegir entre dos opciones. Esta alternativa es
dbil porque las dos opciones son posibles.
Regla Metalgica.
Es verdadera, en todos los casos, excepto,
cuando ambas proposiciones atmicas son
falsas.
p
p
V
V
F
F
Tabla de verdad:
q
p
q
V
F
V
F
V
V
V
F
A o B // A excepto que B // A o tambin B // A
salvo que B // A al menos que B //A ya bien B //
A o a la vez B //A y / o B // A o incluso B // a
menos que A, B //A alternativamente B // A a
menos que B // A a no ser que B // A o adems B
// A y bien o tambin B // A o incluso B // A o
sino B// A o bien B // A o en todo caso B //
Y bien A o tambin B // Salvo que A, B // a
menos que A, no B A B //
Ejemplos:
De dos idiomas: ingls y francs, Charlie habla
por lo menos un idioma.
Lus es ingeniero o mdico.
Se llama Francisco o Paco.
La historia es descriptiva o explicativa.
Carmen trabaja a menos que estudie.
Jorge es abogado salvo que sea ingeniero.
Descartes fue francs excepto que sea italiano.
A menos que ingreses, te compran carro.
Jos es responsable a menos que David tambin lo
sea.
Salvo que David sea responsable Jos lo es.
David es responsable o bien Jos lo es.
Estudias medicina o a la vez matemtica.
Cantas o tambin bailas.
El tringulo es un polgono o tambin una figura
geomtrica.
Las figuras planas estn formadas por lneas rectas o
bien por lneas curvas.

Proposiciones
Disyuntivas
Fuertes
o
Exclusivas
Sean las oraciones aseverativas Franco va al

colegio. o Franco se va a pasear., el sentido
semntico de una
es diferente al sentido semntico de la otra; con
estas dos oraciones aseverativas podemos
formar una oracin aseverativa compuesta, que
nos denote un sentido semntico excluyente, es
decir, que se cumple uno y slo uno de los dos
sentidos semnticos, los mismos que son
diferentes entre si, para lo cual, escribimos la
oracin aseverativa compuesta siguiente: O
Franco va al colegio o Franco se va a pasear.
Esta oracin compuesta la podemos reescribir
as O Franco se va
al colegio o se va a pasear. en este caso, la
oracin
compuesta
ha
sufrido
una
transformacin de elisin, o sea, se han omitido
una o ms palabras, pero se mantiene el sentido
completo de la oracin compuesta primigenia.
En el uso cotidiano de la lengua, de manera
general, no hablamos ni escribimos O Franco
va al colegio o Franco se va a pasear. sino O
Franco se va al colegio o se va a pasear. Esta
oracin aseverativa compuesta, en la lgica
proposicional, es una proposicin molecular o
compuesta con operador didico . Siendo
una proposicin molecular
la podemos
representar mediante la variable p para
representar a la proposicin simple o atmica
Franco va al colegio. y la variable q para
representar a la proposicin simple o atmica
Franco se va a pasear., siendo el conector u
operador didico que representa a la
conjuncin O..o.. de la lengua espaola,
que denota sentido excluyente, es decir, que se
cumple una y slo una entre dos proposiciones.
Por consiguiente, en lgica proposicional, la
proposicin molecular o compuesta con
conectivo binario (didico) , se representa
mediante la frmula p q. Otro ejemplo: Una
nia se empea en que su padre la lleve el
domingo por la maana al parque de atracciones
y por la tarde al cine de su barrio. El padre le
dice No, Saldremos por la tarde e iremos al
cine o al parque de atracciones. Este es el
sentido excluyente de O.o.: Saldremos
por la tarde e iremos al cine o al parque de

atracciones es lo mismo que decir O iremos al
cine o al parque de atracciones. En la lgica
proposicional se representa mediante la frmula
p q. Significa en este caso que, tiene lugar
exactamente o se cumple una de las dos
proposiciones. Segn este sentido o p o q slo
es verdadera, cuando slo una de las
proposiciones atmicas es verdadera. En otras
palabras, o p o qes verdadera, si p es
verdadera y q es falsa; si p es falsa y q es
verdadera; en todos los dems casos es falsa. En
el lenguaje ordinario, cuando queremos poner
de manifiesto y de manera bien clara, que se
trata del sentido excluyente, usamos o bien... o
bien o incluso nos hacemos ms explcitos:
No insistas, haremos una sola cosa, vamos al
cine o vamos al parque de atracciones. Como
consecuencia de lo dicho hasta ahora, en el
lenguaje matemtico, si se desea utilizar el
significado excluyente, es preciso hacerlo bien
explcito como se ha indicado, con frases tales
como: o bien p o bien q.
Funcin.- Se usa para sealar la posibilidad
de elegir entre dos opciones. Esta alternativa
es fuerte porque una sola de las opciones
puede darse, se refuerza repitiendo o delante
de cada proposicin.
Regla Metalgica.
Slo es verdadera, cuando slo una
de las proposiciones atmicas es verdadera.
En todos los dems casos es falsa.
p
V
V
F
F
Tabla de verdad:
q
p q
V
F
V
F
F
V
V
F
A o exclusivamente B // A o slo B // O A o B //Ya
bien A ya bien B // A o solamente B // A no biimplica
B // A no es equivalente B // A o
prioritariamente B //A o nicamente B // A
excepto nicamente B // A excepto que B (en
sentido excluyente) // A a menos que B (en
sentido excluyente) // A salvo que B (en sentido
excluyente)// A alternativamente que B (en
sentido excluyente) // A o bien B (en sentido
excluyente) / O bien A o bien B // O A o tan

slo B // O es A o es B//
Ejemplos
O Rodrigo naci en Europa o Amrica.
Si + presente del indicativo + presente del

indicativo: expresa una condicin en el
presente que se quiere presentar como
probable de realizar.
Si vienes temprano, cenamos juntos.
De dos idiomas: ingls y francs, el polica habla

Si + presente del indicativo + futuro
solo un idioma.
perifrsico (ir + a + infinitivo): expresa una
Charlie es un polica habla ingls pero no francs o condicin en el futuro que se quiere presentar
habla francs pero no ingls.
como probable de realizar.
El Armero orden coger una pistola o un revolver peroSi vienes temprano, vamos a cenar juntos.
no ambos.
O Gabriel naci en Lima o en Arequipa.
Si + presente del indicativo + futuro
O bien la luna es un planeta o bien un satlite.
imperfecto del indicativo
Ocho es par o impar.
Si vienes temprano, cenaremos juntos.
O Comer galletas o slo caramelos.
Si me llaman de la otra empresa, entonces
O por la maana descansas o me voy a la
dejare este trabajo.
playa.
Si + presente del indicativo + imperativo
O 9 es mltiplo de tres o es mltiplo de 4.
Si necesitas cualquier cosa, llmame.
O viaj el lunes o el martes.
O Tudela est vivo o est muerto.
La oracin condicional construida con el
O estudias o trabajas.
verbo en modo indicativo:
Proposiciones Condicionales o Implicativas
El verbo en modo indicativo, desde el punto de
vista semntico, es cuando el hablante asume

Las oraciones condicionales son oraciones
la accin del verbo como un hecho real y
compuestas que constan de dos oraciones
objetivo, de cuya realizacin se siente muy
inseparables. La primera, se denomina oracin
seguro, pues enuncia el hecho como pura
subordinada o prtasis, que formula o expresa
constatacin de la realidad. Por ejemplo:
una condicin para que se cumpla la accin de
Descarg la mercadera del coche.,
la segunda oracin, denominada oracin
Cosecharemos el algodn. Los perros
principal o apdosis, que expresa los efectos o
asustan a los ladrones. El hablante presenta
resultados.La oracin subordinada expresa una
un hecho de validez general porque se apega a
condicin de la que depende el cumplimiento
la realidad. Su punto de vista es objetivo,
de la oracin principal. El conector ms
referencial, de actitud enunciativa o
caracterstico o ms frecuente para encabezar e
aseverativa del hecho, como pura constatacin
introducir una oracin subordinada es la
de la realidad. Cuando la oracin condicional
conjuncin condicional si: Si vas por la
se considera como un hecho real o necesario,
autopista, tardars menos.Si vienes entonces
se emplea el modo indicativo del verbo.
te invitar un postre. Si ahorro, podr irme de
Ejemplo: Si estudias, aprobars.
vacaciones a Centroamrica. Si tuviera ms
Sea la oracin condicional Si el pejerrey es un
dinero, me ira a Centroamrica. Si hubieras
pez entonces el pejerrey tiene respiracin
venido, te habras divertido mucho. Si la
braquial. Esta oracin est compuesta por una
situacin empeorara, habra que llevarlo al
oracin subordinada, llamada prtsis (la
hospital. Si quisieras, podras hacerlo. Si
condicin): Si el pejerrey es un pez y la
ahorrara un poquito ms, podra irme de
oracin principal, llamada apdosis (los
vacaciones.
efectos): entonces el pejerrey tiene respiracin
Estas oraciones expresan una condicin de
braquial. La oracin condicional primigenia la
realizacin posible. La oracin principal se
podemos reescribir as Si el pejerrey es un
refiere a un hecho real, futuro y probable.
pez entonces tiene respiracin braquial., en
este caso, la oracin compuesta original ha
sufrido una transformacin de elisin, o sea, se

han omitido una o ms palabras, pero se
mantiene el sentido completo de la oracin
condicional primigenia. En el uso cotidiano de
la lengua, de manera general, no hablamos ni
escribimos Si el pejerrey es un pez entonces el
pejerrey tiene respiracin braquial. sinoSi el
pejerrey es un pez entonces tiene respiracin
braquial. Esta oracin condicional aseverativa
en la lgica proposicional es una proposicin
molecular o compuesta con operador didico
(Si entonces). Siendo una proposicin
molecular la podemos representar mediante las
variables proposicionales p para representar a
la proposicin simple o atmica as el
pejerrey es un pez y q para representar a la
proposicin simple o atmica el pejerrey
tiene respiracin braquial., siendo el
conector u operador didico que representa
a la expresin Sientonces de la lengua
espaola, Por consiguiente, la proposicin
compuesta o molecular, condicional Si el
pejerrey es un pez entonces tiene respiracin
braquial. en la lgica proposicional se
representa mediante la frmula p q. En la
lengua natural, ordinaria o cotidiana existen
muchos sinnimos, tanto para la conjuncin
condicional si, que es la que propone el
antecedente o condicin suficiente; como para
la conjuncin consecutiva entonces., que
propone el consecuente o condicin necesaria.
Con el conocimiento de dichos sinnimos es
posible construir gran cantidad de proposiciones
implicativas.
p
donde:
p : Antecedente
q : Consecuente
Funcin.- vincula dos proposiciones que
tienen la peculiaridad o caracterstica
siguiente: La primera proposicin se llama,
antecedente, la segunda proposicin se
llama, consecuente. Desde el punto de vista
cognitivo, la proposicin antecedente formula
o expresa una condicin para que se realice la
accin, efecto o resultado de la proposicin
consecuente y la proposicin consecuente

expresa accin, efecto o resultado, cuyo
cumplimiento se da, si previamente se cumple
la condicin dada en la proposicin
antecedente, es decir, la proposicin
consecuente depende de la proposicin
antecedente.
Regla Metalgica.
Slo es falsa, cuando el antecedente es
verdadero y el consecuente es falso. En todos
los dems casos es verdadera.
Tabla de verdad:
V
V
F
F
V
F
V
F
p
q
V
F
V
V
Sinnimos de Si
Porque// Ya que/ Puesto que// Dado que//
Siempre que// Basta que// En el caso de que//
Cuando// Cada vez que// Con la condicin de
que// Con tal de que/Pues// Es implicado por//
Teniendo en cuenta que// Slo cuando// Es
suficiente//
Sinnimos de Entonces
Aunque// as pues// as que// luego// en
consecuencia// consecuentemente// con que//
de manera que// pues// tanto que// por lo
tanto// se infiere// se deduce// implica// Por
eso// es obvio// por consiguiente// de all que//
por ello// bien se ve que// slo si// solamente
si// nicamente si //exclusivamente si//
prioritariamente si//
A implica B// A luego B// A consecuentemente
B// A en consecuencia B// A por tanto B// A
solo si B// A de ah que B// A de manera que
B// Si A entonces B// Con tal que A entonces
B// Basta que A entonces que B// Con la
condicin de que A entonces B// Dado que A
entonces B// Es implicado por A entonces B//
Puesto que A entonces B// Cuando A as pues
B// Pues A entonces B// Porque A entonces B//
Ni bien A entonces B// Siempre que A

entonces que B// Ya que A entonces B// Porque
A por eso B// Si A por eso B// A menos que A,
B// Siempre que A, B// Una vez que A, B//
Cada vez que A es porque B// En vista que A
es evidente que B// Si A, B// En la medida que
A de all B// En la medida que A de all que B//
En el caso de A en este caso B// Cuando a as
pues B// Cuando A pues B// En virtud de que A
es evidente que B// En el caso de que A en tal
sentido B// Para A es condicin necesaria B//
Toda vez que a en consecuencia B// Cada vez
que A entonces B// Con tal que A es obvio que
B// Dado A por eso B// Dado que A por eso B//
En cuanto A por tanto B// De A deviene B//
Siempre que A por consiguiente B// Siempre
que A es obvio que B// A es condicin
suficiente para B// Ya que A bien se ve que B//
A impone a B// De A derivamos B// Si A, B//
En la medida que A de all B// Puesto que A,
B// Es condicin suficiente A para B//
Ejemplos
Si el alumno estudia entonces aprobar la
asignatura de Lgica.
Si el alumno estudia, aprobar el curso.
El alumno aprobar el curso si estudia.
Dado que el alumno estudia aprobar el curso.
Puesto que el alumno estudia aprobar el curso.
Si Juan el deportista, mantiene una dieta estricta.
Si hay vida en la nebulosa Andrmeda, existen
seres extraterrestres.
Ya que hay nubes, bien se ve que llover.
Cuando tenga visa, viajar a los Estados Unidos.
Dado que sembr a tiempo por eso cosechar
pronto.
Dado que mi to es cruel por eso sus hijos sufren.
Dado que llegas tarde por eso te despedirn del
trabajo.
Con tal que trabajes es obvio que ganas dinero.

Siempre que
universidad.
estudies,
ingresaras
la
Bajo la condicin de estudiar, ingresar a la

universidad.
Una vez que yo estudi, debo ingresar.
Al estudiar, es posible que pueda ingresar.
El que Miriam trabaje en la Universidad
Nacional de Piura es condicin suficiente para
qu est asegurada.
La deteccin del sida implica los anlisis que
sean necesarios para detectar sta enfermedad.
Estudi en el Instituto de Enseanza Pre
Universitaria de la Universidad Nacional de
Piura (IDEPUNP) por lo tanto postular a la
Universidad Nacional de Piura.
Ambas triunfarn, si Mara trabaja y Kasandra
estudia.
Cada vez que los metales se dilatan obviamente
el oro se dilata.
Porque el insecto es invertebrado por eso es
volador.
Los dinosaurios no se extinguieron solamente si
(entonces) evolucionaron.
La demanda aumenta nicamente porque
(entonces) los precios suben.
Porque la oferta aumenta, por eso los precios
disminuyen.
A menos que ingreses, te compraran carro.
Para construir la democracia es necesario
respetar la constitucin.
Cuando tenga pasaporte pues viajar.

En la medida en que entrenes de all que
triunfars.
Si los jueces del poder judicial dictan

sentencias condenatorias, contrarias al texto
claro y expreso de la ley, envan a prisin a
personas, de manera irregular, violan el debido

V
V
F
F
proceso legal, las garantas judiciales, los

derechos fundamentales de la persona humana,
entonces los jueces del poder judicial estn
cometiendo delito contra la administracin de
justicia, en la modalidad de prevaricato.
Si los jueces del poder judicial dictan
sentencias contrarias al texto expreso de la ley,
no
motivadas,
ni
sustentadas
ni
fundamentadas, entonces los jueces del poder
judicial estn violando las garantas judiciales
del condenado.
Proposiciones Replicativas
Es la proposicin molecular que presenta en
orden invertido antecedente y consecuente,
con respecto a la proposicin condicional:
Consecuente.si Antecedente. En smbolos
q p (replicador), donde p es antecedente, q
es consecuente y es el conectivo lgico,
llamado replicador. Ejemplo: Saldr, si
vienes a buscarme, presenta el conectivo
lgico binario , q, consecuente y el
antecedente encabezado por si p. En
smbolos: q p. La frmula: q p tiene
sentido, ya que el replicador ( ) es el
invertido del condicional. Ejemplo: Solo el pejerrey
tiene respiracin braquial, si el pejerrey es un pez.
Realizar la transformacin de elisin, es decir,
omisin en la oracin de una o ms palabras para
una
construccin
gramatical
completa;
manteniendo el sentido completo de la oracin:
Slo el pejerrey tiene respiracin braquial, si
es un pez. En smbolos: q p. Proposicin
atmica q, llamada consecuente: El pejerrey tiene
respiracin braquial. Proposicin atmica p,
llamada antecedente: El pejerrey es un pez.
Funcin: anlogo al conectivo u operador

lgico
Regla Metalgica: Slo es falsa, cuando el
antecedente es verdadero y el consecuente es
falso. En todos los dems casos es verdadera.
Tabla de verdad
p
q p
V
F
V
F
V
V
F
V
A porque B// A si B// A slo cuando B// A se
concluye de B// A siempre que B// A es insuficiente
para B// A cada vez que B// A dado que B// A ya que
B// A puesto que B// A es condicin de que B// A en
vista de que B// A pues B// A solo si B// A para B// A
pero si B// A suficiente que B// A es implicado por
B// A con tal de que B// A es condicin necesaria
para B// A con la condicin de que B// Slo si A , B//
Cada vez A, B// Es condicin necesario A para B//
a cada vez que B, A// Para A es condicin suficiente
B// Cada vez que A es porque B// Slo A, si B// Para
A es suficiente B// A supone B//
Ejemplos.
El profesor no control la asistencia, puesto
que (si) la oficina de direccin del colegio
estaba cerrada y no estaba el portero.
Pedro compr un libro slo cuando (si) tena
dinero.
Ir de viaje y me divertir si me sac la
lotera.
Se pararon las luces porque (si) se
interrumpi el fluido elctrico.
Roberto aprobar el curso puesto que(si) dio
un buen examen.
El nmero entero b es primo, si b es divisible
por 1 y por s mismo.
Toledo ser presidente siempre que(si) al
postular gane las elecciones.
Habr ingresantes dado que(si)hubieron
postulantes.
Existe la democracia porque(si) existen los
derechos humanos.
Ingresar a la universidad porque(si) ha
estudiado.
Morirs si estas con sida.

Compra libros porque(si) son tiles.
ambas son falsas. En los dems casos es

falsa.
Tabla de verdad:
p
El sueldo mnimo equivale a s/. 750 no

obstante las familias hacen esfuerzos para
conseguir ms dinero, ya que(si) el Per est
pasando por un momento crtico.
p
V
V
F
F
No hay tuberculosis, puesto que(si) no hay

infeccin de bacilos.
q
V
F
V
F
p
q
V
F
F
V
Proposiciones Bicondicionales
Es la proposicin compuesta que presenta el
conectivo lgico binario (didico) si y slo
si .... En smbolos: p q. Este conectivo
lgico se denomina bicondicional. Como su
nombre lo indica significa dos condicionales,
es decir est compuesta por dos proposiciones
condicionales
que
tienen
ciertas
peculiaridades. Son dos proposiciones
condicionales que se caracterizan por ser una
reciproca de la otra; las mismas que estn
enlazadas por el conectivo lgico binario y.
Ejemplo: n es nmero par si y slo si n es
mltiplo del nmero dos. En smbolos: p
q, se observa que hay dos proposiciones
condicionales, tales como: Si n es nmero par
entonces n es mltiplo del nmero dos y Si n
es mltiplo del nmero dos entonces n es
nmero par. En smbolos: (p q) (q p)
o tambin (p q) (p q). El uso de la
expresin si y slo si es relativamente
reciente en el lenguaje matemtico. En el
lenguaje ms tradicional se expresaba A es
condicin necesaria y suficiente para B, hoy
la expresin ms usada y equivalente a la
anterior es A si y slo si B.
A si y slo B// A es equivalente a B// A siempre

que y slo cuando B// A es lo mismo que B//
A por lo cual y segn lo cual B// A se define
como B// A es idntico a B// A es igual a B// A
igualmente B// A es igual entonces a B// A
siempre y cuando B// A si de la misma forma
B// A siempre que y slo si B// A siempre que y
slo cuando B// A del mismo modo que B// A es
condicin suficiente y necesaria para B// A porque
y solamente si B // Es necesario y suficiente A
para que B// A es suficiente y B tambin// Si y
slo si A entonces B // Si y slo si A , B// A es
de la misma forma que B // A ya que y
solamente porque B//
Ejemplos.
Te graduars de polica si y solo si apruebas todas
las asignaturas.
La Polica Nacional del Per recuperar su
prestigio si y solo si los alumnos de la ETS PNP
son preparados sobre la base de valores.
Habr cosecha siempre que y slo cuando llueva.
Hace fro si de la misma forma hace calor.
5
< 8 si y slo si 5 < 6 y 6 < 8
La demanda procede cuando y slo cuando
es consistente.

Funcin:
vincular
dos
proposiciones
condicionales, que tienen la peculiaridad o
caracterstica de ser una reciproca de la otra;
las mismas que estn enlazadas por el
conectivo lgico binario y.
Regla Metalgica:
Slo
es
verdadero,
cuando
ambas
proposiciones atmicas son verdaderas o
S y slo si n es par, n es mltiple 2.

Los rayos catdicos tienen carga negativa del
mismo modo los rayos andicos tienen carga
positiva.
La sugerencia de Rosa es idntica a la orden
de Pablo.
1 = 2 -1 es equivalente a 3 - 2 = 4 - 3.
Es necesario y suficiente que Sandra viaje a
Espaa para que estudie abogaca.
Estar con fiebre es igual entonces a estar
enfermo.
Toledo ser presidente siempre que y slo si
gana las elecciones.
La lgica se define como el estudio del
razonamiento correcto.
insisti en su estudio. p q es equivalente a

pqp q Ni p, ni q.
Funcin: vincular dos proposiciones negadas,
cuya forma p q es equivalente a la forma
p q, que son dos proposiciones
negadas, enlazadas por el conectivo lgico .
Regla Metalgica:
Slo es verdadera, cuando ambas proposiciones

atmicas son falsas. En los dems casos es falsa.
Habr reforma s y slo hay cambio

estructural.
Tabla de verdad
p q
V V
V F
F V
F F
Existe Estado de derecho si y slo si se

respeta la constitucin.
Ir al cine siempre y cuando vaya contigo.
Toda investigacin es cientfica ya que y
solamente porque se fundamenta en datos
objetivos, probados o demostrados.
Proposiciones de Negacin Conjunta o
Binegacin
conectivo lgico binario , para realizar la
operacin lgica p q, denominada
Negacin
Conjuntiva
que
significa
ni...ni . Ejemplo: Sean las proposiciones
atmicas Lima es un puerto, Callao es una
laguna. Le aplicamos a ambas proposiciones
el conectivo lgico no y obtenemos las
proposiciones negativas siguientes: Lima no
es un puerto, Callao no es una laguna.
Reescribimos ambas proposiciones: no (Lima
es un puerto); no (Callao es una laguna).
Aplicamos a ambas proposiciones el conectivo
lgico binario y, y obtenemos la proposicin
siguiente: no (Lima es un puerto) y no (Callao
es una laguna) que equivales a decir: Ni Lima
es un puerto, ni Callao es una laguna. A esta
proposicin molecular se le denomina
negacin conjuntiva, negacin conjunta o
Binegacin. En smbolos: p q. A ste
conectivo lgico tambin se le conoce con el
nombre de funcin de Nicod, aunque fue
descubierta por Sheffer, fue Nicod quien
p q
F
F
F
V
No A y no B// No A, ni B// Ni A, ni B//

Ejemplos
Ni cantas ni bailas.
No ingres a la universidad y no postula a la
Catlica.
Ni Coln conquist el Per ni Pizarro descubri
Amrica.
Ni viajar a Mxico ni regresar a su pas.
Ni Ricardo Palma fue el escritor, ni Maritegui
fue poeta.
No ganars la rifa y no ganars el bingo.
Ni ganars la rifa, ni ganars el bingo.
Ni son proposiciones, ni son enunciados abiertos.
En el Per ni hay trabajo, ni hay justicia.
Ni trabajas ni estudias

Ni Cesar Vallejo es francs ni Antonio Machado es
boliviano.
Proposiciones de Negacin Alternativa o

Binegacin Disyuntiva o Incompatibilidad

conectivo lgico binario (didico) . El
conectivo lgico binario es utilizado para
realizar la operacin lgica denominada
Negacin alternativa o Binegacin disyuntiva
o incompatibilidad, denotada por el smbolo:
p q, se lee no p o no q. La binegacin
disyuntiva es la negacin de las proposiciones
no p y no q, enlazadas al mismo tiempo por el
conectivo lgico . En smbolos:
p qp q. Ejemplo: Sean las proposiciones
atmicas Yo compro el auto, Yo voy al
mercado.
Le
aplicamos
a
ambas
proposiciones el conectivo lgico no y
obtenemos las proposiciones negativas
siguientes: Yo no compro el auto, Yo no
voy al mercado. Aplicamos a ambas
proposiciones la elipsis, es decir suprimimos
en las proposiciones dadas aquellas palabras
que no son indispensables para la claridad de
las mismas. En ste caso suprimimos la
palabra Yo. Luego las proposiciones dadas
las podemos reescribir as: no compro el
auto, no
voy al mercado. A ambas
proposiciones le aplicamos el conectivo lgico
binario o (funciona como disyuncin
inclusiva), y obtenemos la proposicin llamada
negacin alternativa, binegacin disyuntiva o
incompatibilidad: No compro el auto o no
voy al mercado. En smbolos: p q. A ste
conectivo lgico tambin se le conoce con el
nombre de funcin de Sheffer.
p q p qp q.
Con la incompatibilidad lo nico que se quiere
decir es que una misma persona no puede
ser, a la vez, dos cosas; as en el ejemplo "es
incompatible ser juez y abogado", se
manifiesta que una persona no puede actuar
a la vez como juez y como abogado, por
tanto,
de
ser
verdaderas
las
dos
proposiciones atmicas, la molecular tendra
el valor de falso.
Funcin: vincular dos proposiciones negadas,

cuya forma p q es equivalente a la forma
p q, que son dos proposiciones negadas,

enlazadas por el conectivo lgico .
Regla Metalgica:
Slo es falsa, cuando ambas proposiciones

atmicas son verdaderas. En los dems casos
es verdadera.
TABLA DE VERDAD
pq
VV
VF
FV
FF
F
V
V
V
No A excepto que no B// A es incompatible con B//
No A a menos que no B//
Ejemplos
No compro auto o no voy al mercado.
No juego por alianza o no es su futbolista.
No comentes o no respondo de m.
No eres pintor o no eres artista.
No es divisor de 20 o no es nmero primo.
Los cetceos no respiran por braquias o no son
terrestres.
1. Escribe e" si es un
enunciado y p si es
proposicin en:
a) 3 es mayor que 2.
e y p.
b) Viva el Per!
e.
c) Prohibido hacer bulla. .e

d) 5 < 6
e y p..
e) Cuatro es divisible por 2.

y p.
f) Quito es la capital de Bolivia.

e y p
g) 7
h) Csar Vallejo
dados
e y p
e y p..
escribi Los
eternos

i) Coprnico es el autor de la
teora heliocntrica.
e
y p.
j) x 3
e y p..
k) Si me pagan en la UNMSM,
entonces viajar al Cuzco.
e y p..
l) Jos C. Maritegui es autor de
El artista y la poca o Temas
de Educacin ..e y p
m) No es el caso que un nmero
sea divisible entre dos y que no
sea par.
e y p..
n) Si a un nmero par le sumo otro
nmero par, entonces el nmero
resultante
es
tambin
par.
..e y p
o) Quin es el Rector de la
UNMSM?
( F )Una proposicin bicondicional es

verdadera solamente cuando sus dos
componentes son verdaderas.
A) VV
B) VF
C) FV
D) FF
E) No se puede determinar
2.
(V ) Solamente cuando el antecedente es

verdadero y el consecuente es falso, la
proposicin condicional es falsa.
( V) Basta que el consecuente sea verdadero
para que la proposicin condicional sea
verdadera.
A) FV
Pizarro jug, aunque estuvo

lesionado. C.
2)
9 es mltiplo de 3 y 12 es
mltiplo de 2 y 3. C..
3)
Cuando tenga visa, viajar a los

Estados Unidos. C..
4) Dado que sembr a tiempo por eso

cosechar pronto. .C
3.
C) VV D) VF
Seale verdadero (V) o falso (F):

(V ) Si y slo s es una conectiva bicondicional
( F )Basta que uno de los componentes de una
proposicin conjuntiva sea verdadero,
para que la proposicin conjuntiva sea
verdadera.
A) VV
B) VF
C) FV D) FF
4.
Es una proposicin que admite el valor V

slo
cuando
las
dos
proposiciones
componentes son verdaderas:
A) Conjuncin
B) Disyuncin dbil
C) Disyuncin fuerte
D) Implicacin
E) Negacin
5.
Es una proposicin en la cual basta que

una de las proposiciones sea verdadera, para
que toda ella sea verdadera
A) Conjuncin
B) Disyuncin Dbil
C) Bicondicional
D) Implicacin
E) Negacin
6.
Es una proposicin que es verdadera slo
5)No compro auto o no voy al mercado.

C....
6) No eres pintor o no eres artista.
..C..
B) FF
e.
2. Escribe C si es una
proposicin compuesta o
molecular y S si es
proposicin simple o atmica:
1)
cuando las dos proposiciones tienen el mismo

PROBLEMAS PROPUESTOS
1.

( F ) Basta que el antecedente sea falso para
que la proposicin condicional sea falsa.
valor de verdad.
A)
Disyuncin
B)
Bicondicional
C)
Conjuncin
D)
Implicacin
E)
Negacin

7.
Es una proposicin falsa slo cuando

forman la combinacin V y F, en ese orden.
A)
Disyuncin
B)
Bicondicional
C)
Conjuncin
D)
Implicacin
E)
Negacin
11.
Si se sabe que:
p r es F
r q es V
q V t es F
Determine los valores de verdad de p, q, r y t
8.
Dada la proposicin : Si estudio, triunfo.

Estudio, por lo tanto triunfo. Corresponde a un
esquema:
A)
Tautolgico
B)
Consistente
C)
Contradictorio
D)
Indeterminado
E)
Falso
12.
A) VVVV
B) VVFF
D) FVFF
E) FFFF
Si la proposicin compuesta:
( p q) (r V t ) es falsa
Indicar las proposiciones que son verdaderas:
A) p y r
9.
Dada la proposicin: Si llueve, el suelo se
D) q y t
moja. Los valores de la matriz principal de su

tabla de verdad son:
13.
B) p y q
C) r y t
E) p; r y t
Si la proposicin: ( p q) r, es falsa,
A)
FVFV
determinar, Cules de las proposiciones son
B)
VFVF
falsas?
C)
VVVV
A) p y q
B) p y r
D)
VFVV
C) p; q y r
D) q y r
E)
FFVV
14.
10.
C) VFVF
Si la proposicin : No es cierto que,

estudiemos y no aprobemos, es verdadera, entonces
podemos afirmar.
A)
Aprobamos y no estudiamos
B)
No es el caso que, estudiamos o aprobamos
C)
Estudiamos o no aprobamos
D)
Aprobamos o no estudiamos
E)
Estudiamos y aprobamos
E) r y q
Los
valores de verdad de las
proposiciones p, q, r y s son respectivamente
V, F, F, V.
Obtener los valores de verdad de:
( V ) [(p V q) V r ] s
(V ) r (s q)
(F ) (p V r) (r s)
A) VFF
C) FFF
E) VVF
B) VVV
D) FVV
VALORES DE VERDAD Y TABLAS DE VERDAD
Valores Veritativos (Valores de

Verdad).- Son smbolos denotados
(indicados) por: V que representa el
valor de verdadero y F que
representa el valor de falso;
tambin pueden utilizarse los
smbolos de 1 para representar el
valor de verdadero y 0 para
representar el valor de falso. Estos
signos no son signos lgicos sino
metalgicos.
SESIN N 02
Una
proposicin
simple
o
atmicadesde el punto devista
semntico tiene un slo valor de
verdad, puede ser o verdadero V o
falso F, pero no ambos a la vez.
Esquemticamente lo expresamos as:
p
V
F
Cundo
decimos
que
una
proposicin atmica es V y cundo
decimos que es F?
Decimos que una proposicin atmica
es verdadera V cuando dicha
proposicin guarda correspondencia
con los hechos o realidad objetiva,
ejemplo: la proposicin El cisne es
blanco, es verdadera slo si, guarda
correspondencia con la realidad
objetiva, /el cisne es blanco/.
Decimos que una proposicin atmica
es falsa F cuando dicha proposicin
no guarda correspondencia con los
hechos o realidad objetiva, ejemplo: la
proposicin Juan tiene cinco manos,
es falsa slo si, no guarda
correspondencia con la en la realidad
objetiva, /Juan tiene dos manos/.
En otras palabras, la propiedad
designada como "verdad" o falsedad
es la medida en que las proposiciones
atmicas corresponden a la realidad a la
que se refieren. Nada ms, pero
tambin nada menos.
Parecera aceptable que la polaridad
"verdaderofalso" slo es relevante a
las proposiciones cuyo contenido forma
parte de la naturaleza, de la realidad
empricamente verificable.
El punto que me interesa subrayar es
que de todo lo que los seres humanos
nos decimos unos a otros cada da, slo
una pequea fraccin cae dentro de la
jurisdiccin de la polaridad verdaderofalso; el resto de lo que nos decimos
puede ser inspirado, pattico, torpe,

valorativo o de opinin, optimista,
profundo,
inquisitivo,
emotivo,
exhortativo, dubitativo interrogativo,
desiderativo, exclamativo, refranes,
fantstico o ficticio: de la literatura, de
los comics, de las supersticiones, de la
religin, de los mitos o leyendas; pero
no tienen (ni puede tener) relacin
alguna con la verdad. Hay resistencia a
aceptar este concepto restringido de
verdad. Este concepto restringido de
verdad excluye reas del pensamiento
humano tales como: la filosofa, la
religin, la demagogia y ciertos tipos de
literatura fantstica o potica. Lo que
quiero decir es que la polaridad
verdaderofalso no consume la
totalidad de las vivencias humanas y
que afortunadamente existen muchas
otras aperturas para canalizar la enorme
riqueza de la existencia del Homo
sapiens. El calificativo de "verdadero"
o de falso slo debera aplicarse a las
proposiciones que o describen, refieren
con fidelidad o que no describen, no
refieren con fidelidad fenmenos
naturales especficos. Y como ste es el
oficio especfico de la ciencia, mi
conclusin es que la polaridad
verdadero-falso slo puede aplicarse
al conocimiento cientfico.
Valores de Verdad para las
proposiciones moleculares
La nica manera de determinar la
relacin entre la verdad de las
proposiciones
compuestas
o
moleculares y la de sus componentes
(proposiciones atmicas) es definiendo
el significado de los conectivos lgicos
u operadores lgicos por estipulacin
semntica. Por ejemplo, la regla
metalgica de la negacin, de la
conjuncin, de la disyuncin dbil,
disyuncin fuerte, del condicional, de la
biimplicacin, de la binegacin y de la
binegacin disyuntiva definen por
estipulacin semntica el significado de
sus respectivos conectivos lgicos u
operadores lgicos, es decir, el
comportamiento de un operador lgico

suele
definirse
mediante
su
correspondiente regla metalgica. Las
reglas metalgicas, que estipulan el
significado, uso, comportamiento de los
conectivos lgicos, son verdaderas
definiciones semnticas, a manera de
postulados de significacin. La verdad o
falsedad de una proposicin molecular
puede conocerse universalmente sin la
necesidad de la evidencia emprica;
depende de las reglas metalgicas que
estipulan el uso de los conectivos
lgicos presentes en la proposicin
compuesta. De esta manera, la verdad
de las proposiciones moleculares
depende
de
las
significaciones
atribuidas a los conectivos lgicos.
Las tablas de verdad son una
representacin esquemtica o grfica de
las reglas metalgicas que permite
establecer el valor de verdad de un
esquema o frmula proposicional,
considerando todas las combinaciones
posibles de los valores de verdad de las
variables que la componen. Las tablas
de
verdad
son
interpretaciones
semnticas de las posibilidades de
verdad V y falsedad F que tienen
las proposiciones compuestas. El
nmero de posibilidades (opciones) de
verdad V y falsedad F que tienen
las proposiciones compuestas es igual a
2n. Donde n indica el nmero de
proposiciones
simples
(variables
proposicionales) que, intervienen como
componentes
de
la
proposicin
molecular. En smbolos: opciones =
2n. La tabla de verdad permite hallar la
matriz principal que define al esquema
proposicional. Por ejemplo, si esta
matriz resulta tautolgica, es decir, en
todos los mundos posibles es
verdadero el operador principal, el
razonamiento dado ser valido.
Considerando la distribucin de los valores
de verdadero y falso, en la matriz principal
de la tabla de verdad de las frmulas
proposicionales, stas se clasifican en:
tautolgicas,
contingentes
y
contradictorias.
Frmulas proposicionales tautolgicas (T).

Son aquellas cuya matriz principal contiene
nicamente valores de verdadero.
Frmulas proposicionales contingentes o
consistentes (Q). Son aquellas cuya matriz

principal contiene tanto valores de verdadero
como de falso.
Frmulas proposicionales contradictorias

(). Son aquellas cuya matriz principal
contiene nicamente valores de falso.

siguientes proposiciones en forma
simblica, con p y q:
a) Jos es estudioso y es alto.
pq.
b) Jos no es estudioso o no es
alto.
pq...
c) No es verdad que Jos es alto o
estudioso.
qp.
d) Es falso queJos es alto o que
es estudioso.
qp..
e) Jos es alto, pero no es
estudioso.
qp.
Evaluacin
de frmulas mediante tablas de verdad
Evaluar una frmula mediante las tablas
de verdad consiste en obtener los
valores de verdad (V y F) del operador
lgico o conectivo lgico principal de la
2. Simbolizar: "Jos estudia y trabaja,

pero
practica ftbol"
frmula, a partir de todas las opciones

de verdad o falsedad que tiene cada
una de las variables proposicionales.
Ejercicio 1. Evaluar la frmula:
a ) (p q)
p qq r
b) p
c) p
(q
r
r)
d) p q r
e ) (p
q)
3. Simbolizar: "No es el caso que,

Rubn canta y toca cajn"
Ejercicio 2. Evaluar la frmula:
c)
~p q
~p V q
~p
~q
(pq)(qr
d)
e)
~(p
q)
p V ~q
a)
b)
4. Simbolizar: "No es el caso que,

hace fro y
no se congele"
a) ~(p ~ q)
b) ~p
~q
c) p ~q
d) ~p V ~ q
e) ~(p V ~q)
PROBLEMAS
APLICACIN
1. Sean p: Jos es estudioso , y q:

Jos es alto . Escribir las
5. Simbolizar: "Es falso que si el

ciclotrn bombardea al tomo,
entonces no se acelera la velocidad
de los protones".
a) ~p
b) ~p
~q
q
c) ~(p
~q)
d) ~p
q
e) (p
~q)
f)
6. Sean p Gabriel es estudioso , y
q Gabriel es alto . Escribir los
siguientes enunciados en forma
simblica con p y q .
a)Gabriel es estudioso y es alto p q
b) Gabriel no es estudioso o no es alto
-p v-q
c) No es verdad que Gabriel es bajo o
estudiosop v q
d) No es el caso que Gabriel es alto o
que es estudioso (p v q)
e) Gabriel es alto pero no es
estudioso
pq
7. Completa :
a) V
vF = V
b) F vF =F
c) V
V= V
d) F F= F
e) V
F=F
f) F v
V=V
g) V V= V
h) F
V=F
i) F
V=V
j) V F=F
8. Si la proposicin es verdadero,
hallar el
valor de cada variable en:
~ [ ( ~ p y q)
(~r
~ s) ]
a)
b)
c)
d)
f fff
fvvf
fvfv
vvff
9. Se sabe que la negacin de :
P
( ~ q V r ) ; e s verdadera ,
entonces el valor de verdad de:
( q r)
{(q
r)
t} es:
O b s . t n o e s t a d e fi n i d a
a)V
b)F
c ) V F d ) N A
10.Los valores de verdad de p,q, r son

:
~[(~ p V q) V ( r
q)] [ ( ~pV q)
(q
~ p)]si el enunciado es verdadero
a)
b)
c)
d)
e)
ffv
vvf
vff
vfv
f ff
11. Si la proposicin ( p ~q)

(r
~ s) es falsa , el valor de verdad
de las proposiciones : q , p , r , s
respectivamente son
a) f v vv
b) f v f f
c) v vvv
d) v f v v
12. De la falsedad de:
(p
~q)V(~r
~ s), se
deduce que:
a ) ~ (~ q V ~ s)
~p
b)
~ (~ r
s)
(~p
~
q)
c) P
~[q
~(s
r)]
Sonrespectivamente :
a) f f v
b) v v f
c) v f f
d) v f v
e) f ff
13. Si ( p ) = V
( ~ q) = F
(r) =V
Determinar el valor de verdad o
falsedad

a) [ ( p q)
(~rVq)] ~q
b) [ ( ~ p r )
(q V p)]
c) [ ( p r ) V x ]
(~q ~r)
14. Si se sabe que :
S p = V,r s = F
, q

Determinar el valor de los
siguientes diagramas:
a) ( ~ r q)
(s p )
b) [ ( p V ~ s) r ]
~r
c) ( p
~q)V(~r
~s)
15. Si la negacin de la siguiente
formula lgica es verdadera ,
hallar los valores de verdad de
cada uno de ellos.
~{( p s ) [ ( p
r ) V ( ~ qs)]
}
a) f fff
b) f v v f
c) f v f v
d) v v f f
e) v f ff
16. Mediante la aplicacin de las reglas
metalgicas de los operadores o
conectivos lgicos y el uso de tablas de
verdad ejecute la evaluacin de las
frmulas lgicas siguientes:
pq
pq
pq
p q
pq r
p q r)
(p q) (r s
(p q) r
{[p r q] r s}
q
10)
{[ p s q] r
q} [( p ( r s]
11) [(pq) (pr) (p p)] [(q
s]
12) {[(p q) (r s)] (p s)}
( r q)
1)
2)
3)
4)
5)
6)
7)
8)
9)
{[(p q) (r s)] (p vs)} (

r q)
14)
{(p q) [ p(q r)]}(r
p)
15)
(p q) (r s)
16)
[(p q) q] p
17)
[(p q r] r
18)
[(pq) q r)] (p r)
19)
[(pq) q r)] (p vr)
20)
p (q r)
21)
Evale el siguiente esquema: pq. El
B)
C)
D)
E)
22)
Tautologa
Contradiccin
Contingencia
p
q
Sea el esquema: (A V
correspondiente es:
1. VVVV
2. Consistente
3. VFVV
4. Contradictoria
5. Tautolgica.
Son ciertas:
A) 2 y 3
D) 2 y 4
24)
D) FVFF
25)
I.
II.
III.
B) VVVF
C) VFVV
E) VVFF
B) T, C, T
C) T, T,T
D) C, C, C
E) C, C,T
Hallar la tabla de verdad de :

(p q) (q V p)
A) VVFF
D) VFFF
27)
B) 1 y 5
C) Slo 4
E) Slo 5
Determine si las siguientes proposiciones son

tautologas o contradicciones.
( r s) ( r s)
[(p V q) p] p
(pq)[(pq)(pVq)p]
A) C, T, C
26)
B), la matriz
Si la proposicin:
(p q) (rs] es falsa, el valor de verdad de q,
p, r, s ( en ese orden es)
A) FVVV
13)
esquema es de tipo :
A) Contradictorio
Simplificar:
(p q) ( q V p)
a.
b.
c.
d.
e.
23)
Consistente
Tautolgico
Indeterminado
ByD
B) VVFV
C) VFFV
E) VVVF
Si :
[(p q) (p p)] [(r s) q]
Es verdadera, cules son los valores de p, q, r, s
respectivamente.
A) VFFF
D) FVVV
28)
B) VFVV
C) FVFF
E) Sin solucin
Si se sabe que:
[(p r) q] [(p V p) V (p q)]
29)
30)
es verdadera, hallar los valores de p,q,r

A) VVV
B) FFF
C) FVF
D) VFV
E) No se determina
I. (p q) no es falsa
II. q V s es verdadera
III. q p es verdadera
Si la proposicin:
[(p q) (p V w)] s es falsa, se afirma que la
siguiente proposicin:
[s V( p W) ] V (p q)
es:
A) Verdadera
B) Falsa
C) No se afirma nada
D) Toma ambos valores de verdad
E) Faltan datos
Son ciertas:
A) I y II
C) II y III
Si la siguiente proposicin compuesta es

falsa:
( p q) (q r)
Luego:
31)
I.
II.
III.
B) I y III
D) Todas
E) Slo II
Si la proposicin:
( p q) (p r) es verdadera
Cuntas son verdaderaS?
( s r) ( p V s)
(s q ) (p V r)
( q r) V ( p r)
A) Slo I
D) I y III
B) Slo II
C) I y II
E) Todas
LEYES LGICAS O TAUTOLOGAS

I. LEYES LGICAS O TAUTOLOGAS
Leyes Lgicas.- Son frmulas lgicas
cuyas tablas de verdad tienen por
resultado nicamente valores de verdad
verdaderos. Tambin se les denomina
tautologas.
Caractersticas fundamentales de
la ley lgica:
1) La ley permanece al plano
terico; 2) Su enunciado es
susceptible de verdad o
falsedad; 3) Se expresa en
el interior del clculo lgico;
4)
Su expresin es un
enunciado lgico; 5) La ley
pertenece al lenguaje lgico.
6) La ley usa los functores o
conectivos
u
operadores
lgicos.
LEYES LGICAS IMPORTANTES
1. LEY DEL MODUS PONENDO
PONENS O MODUS PONENS
[(p q) p] q
2. LEY DEL MODUS TOLLENDO

TOLLENS O MODUS
TOLLENS
[(p q) q] p
3. LEYES DEL MODUS
TOLLENDO PONENS O
SILOGISMO DISYUNTIVO
6.1.
[(p
q) p] q
6.2.
[( p
q) q] p
4. LEYES DE TRANSITIVIDAD
O SILOGISMO HIPOTTICO
7.1.DEL CONDICIONAL
[(p q) (q r)] (p r)
7.2.DEL BICONDICIONAL
[(p q) (q r)] (p r)
5. LEY DEL DILEMA
CONSTRUCTIVO
[(p q) (r s) (p r)] (q
s)
6. LEY DEL DILEMA
DESTRUCTIVO
[(p q) (r s)( q s)] ( p
r)
7. LEY DEL DILEMA SIMPLE
[(p r) (q r) (p q)] r
que es una ley lgica (tautologa)

denominada Modus TollendoPonens o
Silogismo Disyuntivo.
Razonamiento Deductivo u operacin de
deduccin es aquella operacin que
consiste
en
que
dadas
ciertas
proposiciones, llamadas premisas se
obtenga, se infiera, se derive se deduzca
con el carcter de necesidad una
proposicin, llamada conclusin., es
decir, se pretende que una de ellas,
llamada conclusin, se infiera en forma
necesaria
de la/s premisa/s. Una
deduccin es una secuencia de
enunciados, los cuales pueden ser o bien
premisas o bien se han obtenido de la
aplicacin de un conjunto de reglas de
inferencia a enunciados anteriores.
SESIN 03
Reglas de Inferencia.- Son

normas,
prescripciones, licencias que indican cmo
debe hacerse la operacin de deduccin, a
fin de obtener una conclusin correcta a partir de
EL RAZONAMIENTO DEDUCTIVO
unas premisas dadas. . El uso de las reglas de
inferencia garantizan la validez o legitimidad del
Las Argumentaciones
acto llamado operacin deductiva o inferencia.
Un argumento o razonamiento es un sistema de Las caractersticas fundamentales de las
proposiciones (dos o ms) en el que una de reglas lgicas son:
ellas, llamada conclusin, se pretende que
a. La regla se sita en el plano
est fundada en o se infiera de la/s otra/s,
prctico, dice
llamada/s premisa/s. La argumentacin cmo debe hacerse una operacin
puede ser inductiva o deductiva.
deductiva.
Un razonamiento deductivo es un
b. Su enunciado es normativo,
sistema de proposiciones (dos o ms)
prescriptivo, y, por eso, la
regla puede ser buena o mala,
en el que se pretende que una de
til o
intil, eficiente o
ellas, llamada conclusin, se infiera
deficiente.
o derive con el carcter de necesidad
c. Se expresa al exterior del
de la/s premisa/s. Ejemplo de un
clculo, justifica,
razonamiento deductivo: El ladrn
garantiza la legitimidad o validez de
entr por la puerta o la ventana. Por
la deduccin.
la puerta no entr, como lo ha Su expresin es enunciado metalgico.
demostrado la investigacin policial. La regla pertenece al metalenguaje.
f. La regla menciona los
Por lo tanto, el ladrn entr por la
functores u operadores
ventana. Tomando el razonamiento
lgicos.
deductivo del ejemplo dado, lneas
g. A toda regla lgica le
arriba, procedemos a formalizarlo
corresponde su respectiva ley
como frmula lgica, teniendo como
lgica.
resultado la frmula de la lgica
proposicional: [(p q) p] q),

REGLAS DE INFERENCIA
IMPORTANTES
A partir de dos bicondicionales, de la forma

AB, BC, es legtimo inferir u obtener el
bicondicional de la forma AC. Esquema:
1. REGLA DEL MODUS PONENDO PONENS

O MODUS PONENS (MPP)
A partir de un condicional y la afirmacin de

su antecedente, es legtimo inferir u obtener
su consecuente
5.
Esquema:
AB
A
B
B C
A C
REGLA DEL DILEMA

CONSTRUCTIVO
Dados dos condicionales y la disyuncin de

sus antecedentes, es legtimo inferir u
obtener
la disyuncin
de sus
consecuentes. Esquema:
2. REGLA DEL MODUS TOLLENDO

TOLLENS O MODUS TOLLENS (MTT)
A B
A partir de un condicional y negacin de su

consecuente, es legtimo inferir u obtener la
negacin de su antecedente.
Esquema:
AB
B

A B
6.
C D
A C
B D
REGLA DEL DILEMA
DESTRUCTIVO
Dados dos condicionales, y la disyuncin de la

negacin de sus consecuentes, es legtimo
inferir u obtener la disyuncin de las
3.
REGLA DEL MODUS TOLLENDO
negaciones de sus antecedentes.
PONENS O SILOGISMO DISYUNTIVO
(SD)
Esquema:
A partir de una disyuncin dbil y la negacin de
A B
uno de sus disyuntivos, es legtimo inferir u
CD
obtener el otro disyuntivo. Esquemas:
A B A B
~B
~ A
A B
4.
: B : D
: A : C
REGLA DEL DILEMA SIMPLE
REGLAS DE TRANSITIVIDAD O
SILOGISMO HIPOTTICO (SH)
A partir de dos condicionales, donde el

consecuente del primero es el antecedente del
segundo, es legtimo inferir u obtener el
condicional formado por el antecedente del
primero y el consecuente del segundo.
Esquema:
Dados dos condicionales, que tienen el mismo

consecuente, y la disyuncin
de sus
antecedentes, es legtimo inferir u obtener el
consecuente de los dos condicionales dados.
Esquema:
A B
C B
AC
B
AB
BC
A C
Los componentes de los razonamientos

deductivos
son
las
premisas
(proposiciones
que
implican
a
la
conclusin), la conclusin (proposicin
implicada por las premisas) y las

expresiones derivativas. Las expresiones
derivativas tienen por objeto indicar cul
es la conclusin y cules son las premisas.
No siempre figuran en los razonamientos,
algunas veces estn implcitas. Son de
dos tipos: las que se anteponen a la
conclusin, como luego, por tanto,
por consiguiente, etc., y las que se
colocan despus de la conclusin,
antepuestas a alguna de las premisas,
como ya que, puesto que, dado que,
como y otras.
Un signo lgico que hace las veces
de las expresiones derivativas (que
separa a las premisas de la
conclusin) es una barra _______/
que se coloca despus de las
premisas encolumnadas, al lado
derecho se escribe la conclusin.
En los ejemplos que siguen a
continuacin se podr observar la
barra, que hace las veces de las
expresiones
derivativas.
Los
siguientes ejemplos ilustran los dos
tipos de expresiones derivativas.
Ejemplo 1. El ladrn Jos entr
por la puerta o por la ventana. Por la
puerta no entr, como lo ha
demostrado la investigacin policial.
Por lo tanto, (expresin derivativa
que se antepone a la conclusin) el
ladrn Jos entr por la ventana.
Los componentes del razonamiento
deductivo dado son:
Premisa 1:
El ladrn Jos entr
por la puerta o por la ventana.
Premisa 2:
Por la puerta no entr./
Conclusin: Por lo tanto, el ladrn
Jos entr por la ventana.
Formalizando
el
razonamiento
deductivo, dado, tenemos:
Premisa 1:
pq
Premisa 2:
q
__ p / Conclusin:
La
regla
lgica
Modus
TollendoPonens
o
Silogismo
Disyuntivo prescribe lo siguiente: A
partir de una disyuncin dbil y la
negacin de uno de sus disyuntivos
es legtimo inferir u obtener el otro
disyuntivo,
de
esta
manera
justifica, garantiza la legitimidad o
validez de la operacin de deduccin.
Es
decir,
este
conjunto
de
proposiciones estn relacionadas de
modo tal, que la proposicin, llamada
conclusin: El ladrn Jos entr
por la ventana. Est fundada o se
infiere
de
las
otras
dos
proposiciones, llamadas premisas. En
ste caso, la regla lgica del modus
tollendoponens
o
silogismo
disyuntivo,
nos
autoriza,
nos
prescribe ha inferir u obtener la
conclusin: El ladrnJos entr por
la ventana. En smbolos:
A B,
_
A__/ B
Ejemplo 2. El agua hervir, dado
que (expresin derivativa que se
coloca despus de la conclusin) si la
temperatura est a 1000 C entonces
el agua hervir. La temperatura est
a 1000 C Al formalizarlo, tenemos
como resultado la frmula lgica:
q [(pq) p], que es una ley
lgica (tautologa) denominada Ley
Lgica del Modus PonendoPonens.
Procedemos
a
reestructurar
el
razonamiento deductivo dado, para
obtener un razonamiento deductivo
equivalente,
tal
como:
Si
la
temperatura est a 1000 C entonces
el agua hervir. La temperatura est
a 1000 C. Por consiguiente, el agua
hervir.
Este
sistema
de

proposiciones
formalizadas,
equivalente
al
sistema
de
proposiciones
inicialmente
dado,
tambin podemos verla o percibirla
como
una
representacin
del
argumento o razonamiento deductivo
dado.
Los
componentes,
reestructurados,
de
ste
razonamiento deductivo son:
Premisa 1: Si la temperatura est a
1000 C entonces el agua hervir.
Premisa 2: La temperatura est a
1000 C./ Conclusin: Por consiguiente,
El agua hervir.
Formalizando
el
razonamiento
Premisa 1:
p q.
Premisa 2:
_p_____/ Conclusin:
q.
La
regla
lgica,
Modus
PonendoPonens,
prescribe
lo
siguiente: A partir de un condicional
y la afirmacin de su antecedente es
legtimo inferir su consecuente.
Ejemplo 3. Si hace calor, Juan va a la
piscina. Si Juan va a la piscina,
arregla la casa despus de almorzar.
Luego, si hace calor, se arregla la
casa
despus
de
almorzar.Procedemos a formalizarlo
como frmula lgica, teniendo como
resultado la frmula de la lgica
proposicional [(pq) (q r)]
(pr), que es una ley lgica
(tautologa) denominada Ley Lgica
Silogismo Hipottico o Transitividad
Este conjunto de proposiciones,
formalizadas,
tambin
podemos
verlas o percibirlas como una
representacin
del
argumento
orazonamiento deductivo, dado. Los
componentes, reestructurados, de
ste razonamiento deductivo son:
Premisa 1:
Si hace calor, Juan va a la piscina.
Premisa 2:
Si Juan va a la piscina, arregla la casa
despus de almorzar.
Conclusin:
Luego, si hace calor, se arregla la
casa despus de almorzar.
Formalizando
el
razonamiento
Premisa 1:
p q.
Premisa 2:
q r/ Conclusin:
p r.
La regla lgica, Silogismo Hipottico
o
Transitividad,
prescribe
lo
siguiente:
A
partir
de
dos
condicionales, donde el consecuente
del primero es el antecedente del
segundo es legtimo inferir el
condicional
formado
por
el
antecedente del primero y el
consecuente del segundo
Cundo
un
conjunto
de
proposiciones no es un razonamiento
deductivo? Cuando no hay ninguna
proposicin, de las dadas, que se
afirme sobre la base de las otras.
Tomemos
como
ejemplo
las
proposiciones siguientes: Llueve
mucho. Ser mejor que no salgamos.
Podemos postergar la excursin para
maana.
Efectuando
la
formalizacin se tiene la siguiente
frmula:
p q r. Si bien estas proposiciones
estn relacionadas en cuanto al
contenido, no hay ninguna que se
afirme sobre la base de las otras. En
consecuencia, no se trata de un
razonamiento deductivo.
Conclusin y premisas son trminos
relativos. Una misma proposicin
puede
ser
premisa
en
un
razonamiento deductivo y conclusin
en otro. Esta circunstancia origina
cadenas
de
razonamientos
deductivos.
PROBLEMAS LGICOS
APLICANDO LA REGLA DE
INFERENCIA DEL MODUS
PONENDOPONENS
[(p q) p] q
Dadas las premisas infiera o derive

una conclusin.
1.
2.
3.
4.
5.
6.
10.
Si Venus es un planeta
entonces Venus brilla con luz
refleja. Venus es un
planeta.
Si son las cinco, la oficina est
cerrada. Son las cinco.
Si Juan va a la Unin, se
encuentra con Pedro. Juan va a la
Unin.
Si llovi anoche, las pistas
estn mojadas. Llovi anoche.
Si voy de paseo, me encuentro
con Ana. Voy de paseo.
Si la polica hace patrullaje
urbano, captura a los delincuentes.
La polica hace patrullaje urbano.
Resolucin
Formalizacin: (p qp
Si
hay
igualdad
de
oportunidades, hay justicia social.
Hay igualdad de oportunidades.
11.
Si las computadoras bajan de

precio, las personas se educaran.
Las computadoras bajan de
precio.
12.
Dado que los objetos caen,

existe gravedad. Los objetos
caen.
13.
Si Lus no ha pasado de ao, no

viaja a la Argentina. Lus no ha
pasado de ao.
14.
Si el papel de tornasol se
vuelve rojo, la solucin es un
cido. El papel de tornasol se
vuelve rojo.
15.
Si el satlite entra en rbita, el

proyecto espacial ser un xito. El
satlite entra en rbita.
Razonamiento
P1: p q
P2: p_____/q: La polica captura a los
delincuentes.
Regla lgica utilizada para hacerla
inferencia: Modus PonendoPonens.
7.
Si el Atestado Policial prueba

que estafaste, sers privado de tu
libertad. El Atestado Policial prueba
que estafaste. Resolucin
Formalizacin: (p qp
Razonamiento
P1: p q
P2: p_____/q: sers privado de t libertad
Regla lgica utilizada para hacerla inferencia:
Modus PonendoPonens.
8.
9.
Si
los
terremotos
fenmenos
naturales,
terremotos obedecen a
fsicas.
Los
terremotos
fenmenos naturales.
son
los
leyes
son
Si Gabriel es un alumno-polica
que prctica buenos hbitos, ser
un
polica
disciplinado
y
responsable. Gabriel es un alumnopolica
que
prctica
buenos
hbitos.
A.
INFERENCIA DEL
MODUS TOLLENDO TOLLENS
[(p q) q] p
una conclusin.
1.
Dado que los objetos caen

entonces existe gravedad. No es
cierto que los objetos can.
2.
Si es estrella, ese astro tiene
luz propia. Ese astro no tiene luz
propia. Resolucin
Formalizacin: (p q (q)
Razonamiento
P1: p q
P2: q _____/p: no es estrella.
inferencia: Modus TollendoTollens.
3.
Si llueve, la ropa se moja. La

ropa no se moja. Resolucin
Formalizacin: (p q (q)

[(p q) p] q
[( p q) q] p
Razonamiento
P1: p q
P2: q _____/p: no llueve.
inferencia: Modus TollendoTollens.
4.
Si Carlos no viaja a Tumbes, no

se encontrar con Gabriel. Carlos
se encontr con Gabriel.
5.
Si Juan no sta en clase

entonces est de servicio. Juan no
est de servicio.
6.
Si Pedro compr el libro

entonces es propietario del libro.
Pedro no es propietario del libro.
7.
Si un objeto flota en el agua

entonces es menos denso que el
agua. No es menos denso que el
agua.
8.
Si eres bondadoso y honrado,

sers
premiado.
No
sers
premiado.
9.
Si = 1500 entonces Sen =
. Sen .
10. Si Vctor es un graduado
universitario entonces Vctor no
es mecnico. Vctor es mecnico.
11.
Teniendo en cuenta que hace

fri, bien se ve que la gente se
abriga. La gente no se abriga.
12. Si hoy es da de pago, ir de
compras. No ir de compras.
13. Si Pedro se encuentra en casa,
la luz est encendida. La luz no
est encendida.
14. Si vienes, me voy. No me voy.
15. Si estudio lgica matemtica,
mejoro
mi
razonamiento
deductivo.
No
mejoro
mi
razonamiento.
16. Si son las siete de la maana,
el avin parti. El avin no parti.
INFERENCIA DEL MODUS
TOLLENDO PONENS O SILOGISMO
DISYUNTIVO

una conclusin.
1.
Me llamo Julio o Jorge. No me

llamo Julio.
2.
No viajo a Trujillo o no viajo a
Arequipa. Viajo a Arequipa.
3.
El polica viaj en auto o avin.
El polica no viaj en avin.
4.
Las Fuerzas Operativas de la
Polica Nacional del Per van al
Estadio Nacional o al Mercado de
Santa
Anita.
Las
Fuerzas
Operativas de la Polica Nacional
no van al Estadio Nacional.
5.
Maria juega Voley o Bsquet.
Maria no juega bsquet.
6.
El paciente tiene sarampin o
tifoidea. El paciente no tiene
sarampin.
7.
En Piura llueve o hace calor. En
Piura no llueve.
8.
El sol es estrella o satlite. El
sol no es satlite.
9.
En Irak hay guerra o paz. En
Irak no hay paz.
10. Fujimori ser extraditado o
liberado.
Fujimori
no
ser
liberado.
11.
Los funcionarios policiales
trabajan
con
hiptesis
o
refutaciones de hiptesis. Los
funcionarios policiales no trabajan
con refutaciones de hiptesis.
12.
El reo es culpable o inocente

del delito que se le imputa. El reo
no es inocente del delito que se le
imputa.
13.
13. El ladrn entr

por la
puerta o la ventana. Por la puerta
no entr, como lo ha demostrado
la investigacin policial.
14.
Maritza se dedica a la funcin

policial o se dedica a la funcin
jurisdiccional. Maritza no se
dedica a la funcin jurisdiccional.

15.
El accidente de trnsito fue

causado por ebriedad del chofer o
falla mecnica del vehculo. El
accidente de trnsito no fue
causado por falla mecnica, de
acuerdo a la investigacin policial.
INFERENCIA DE SILOGISMO
HIPOTTICO O TRANSITIVIDAD
DEL CONDICIONAL:
[(p q) (q r)] (p r)
DEL BICONDICIONAL:
[(p q) (q r)] (p r)
una conclusin
una conclusin.
1. Si un polica es profesional y
tico, es responsable de su
buena
conducta.
Si
es
responsable de su buena
conducta,
evita
realizar
acciones
delictivas.
Resolucin
Formalizacin: [(pq) r] (r s)
Razonamiento
P1: (pq) r
P2: r s /(pq) s: Si un polica es
profesional y tico, entonces evita
realizar acciones delictivas
2. Si se denuncia la comisin de
un delito, la policaefecta la
investigacin.Si la polica
efecta
la
investigacin,
establece la responsabilidad
de
los
involucrados.
Resolucin
Formalizacin: (p q) (q r)
Razonamiento
P1: p q
P2: q r /p r:
Conclusin: p r: Si se denuncia la
comisin de un delito, entonces la polica
establece la responsabilidad de los
involucrados.
3. Si Elizabeth viaja a Estados

Unidos, visitar a su pap. Si
visita a su pap,
pasar
buenas vacaciones.
4. Si los ladrones asaltan el
Banco de la Nacin, el cajero
aprieta el botn de alarma. Si
el cajero aprieta el botn de
alarma, la patrulla policial
interviene a los ladrones.
5. Si el Gobierno est a favor de
las nacionalizaciones de las
empresas, est en contra de
la empresa privada. Si el
Gobierno est en contra de la
empresa
privada,
es
comunista.
6. Si
Bertrand
Russell
fue
neopositivista, conform el
Circulo de Viena. Si conform
el Circulo de Viena, confiaba
en la Lgica Simblica.
7. Si Luisa obtiene buenas
notas, le dan una beca. Si le
dan una beca, viaja a
Colombia.
8. Si hay abundancia de peces,
habr abundante harina de
pescado. Si hay abundante
harina
de
pescado,
se
incrementa la exportacin.
9. Si sube la gasolina, subir la
harina de trigo. Si sube la
harina de trigo, subir el
precio del pan.
INFERENCIA DEL DILEMA
CONSTRUCTIVO
Dados los razonamientos deductivos
siguientes. Verifique, si dichos
razonamientos son vlidos o
invlidos, utilizando cualesquiera de
las tcnicas de validacin que se le
ha enseado y usted ha aprendido.
1. Si llueve, jugaremos ajedrez.

Si el campo est seco,
jugaremos ftbol. O llueve o
el campo est seco. / O
jugaremos al ajedrez o
ftbol.
2. Si voy al cine, no estudio. Si
no voy a la fiesta, viene
Felipe a Estudiar. Voy al cine
o no voy a la fiesta. / No
estudio o viene Felipe a
estudiar. Resolucin
Formalizacin:
(p q) (rs) (p r )
Razonamiento
razonamientos son vlidos o

invlidos, utilizando cualesquiera de
las tcnicas de validacin que se le ha
enseado y usted ha aprendido.
1.
Si me encuentro con Pedro,

voy a Chosica. Si me encuentro
con Eduardo, voy a Barranco. No
voy a Chosica o no voy a
Barranco. / O no me encuentro
con Pedro o no me encuentro con
Eduardo.
2.
Si voy a Chosica, no me
encuentro con Pedro. Si me
encuentro con Eduardo, no voy a
Barranco. O me encuentro con
Pedro o voy a Barranco. / O voy
a Chosica o me encuentro con
Eduardo. Resolucin
P1: p q
Formalizacin:
P2: r s
(p q) (rs) (q s )
P3: p r / (q s): No estudio o

viene Felipe a estudiar.
Razonamiento
P1: p q
P2: r s
3. Si se mantiene la paz, las

ciencias progresan. Si se
fomenta la guerra, los
pueblos se empobrecen. O
se mantiene la paz o se
fomenta la guerra. / Las
ciencias progresan o los
pueblos se empobrecen.
Resolucin
Formalizacin: (p q) (r s) (p
r )
P3: q s / (pr): No voy a

Chosica o no me encuentro con
Eduardo.
inferencia: Dilema destructivo.
Razonamiento
Si te dedicas a la ciencia, sers un

cientfico. Si cultivas las artes,
sers un artista. O no sers un
cientfico o no sers un artista. /
O no te dedicas a las ciencias o no
cultivas las artes. Resolucin
Formalizacin:
P1: p q
(p q) (rs) (qs )
P2: r s
Razonamiento
P3: p r / (q s): Las ciencias

progresan o los pueblos se
empobrecen.
P1: p q
INFERENCIA DEL DILEMA
DESTRUCTIVO
Dados los razonamientos deductivos
siguientes. Verifique, si dichos
P2: r s
P3: q s / (pr): No te dedicas
a la ciencia o no cultivas las artes.
inferencia: Dilema destructivo.

2 Logica

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

2 Logica

Diunggah oleh

Hak Cipta:

Format Tersedia

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

evaluando primero las proposiciones

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

El conectivo lgico es un operador

Estas oraciones aseverativas negativas se

Conectivos Lgicos y Operaciones Lgicas representan

Existen dos tipos de proposiciones:

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

puede aplicar a otras proposiciones didicas o

No es que A // No se da la posibilidad que A // No

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

de las oraciones aseverativas primigenias. En

que Jos ingres a la marina.

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

Proposiciones Disyuntivas Dbiles o

mensajes con los individuos con quienes nos

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

bien por lneas curvas.

Sean las oraciones aseverativas Franco va al

por la tarde e iremos al cine o al parque de

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

excluyente) / O bien A o bien B // O A o tan

O Rodrigo naci en Europa o Amrica.

Si + presente del indicativo + presente del

De dos idiomas: ingls y francs, el polica habla

vista semntico, es cuando el hablante asume

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

sufrido una transformacin de elisin, o sea, se

consecuente y la proposicin consecuente

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

Ni bien A entonces B// Siempre que A

Con tal que trabajes es obvio que ganas dinero.

Bajo la condicin de estudiar, ingresar a la

Cuando tenga pasaporte pues viajar.

Si los jueces del poder judicial dictan

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

proceso legal, las garantas judiciales, los

Conectivo Lgico u Operador Lgico

Funcin: anlogo al conectivo u operador

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

Morirs si estas con sida.

ambas son falsas. En los dems casos es

El sueldo mnimo equivale a s/. 750 no

No hay tuberculosis, puesto que(si) no hay

A si y slo B// A es equivalente a B// A siempre

Conectivo Lgico u Operador Lgico

S y slo si n es par, n es mltiple 2.

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

insisti en su estudio. p q es equivalente a

Slo es verdadera, cuando ambas proposiciones

Habr reforma s y slo hay cambio

Existe Estado de derecho si y slo si se

No A y no B// No A, ni B// Ni A, ni B//

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

Proposiciones de Negacin Alternativa o

Es la proposicin compuesta que presenta el

Funcin: vincular dos proposiciones negadas,

p q, que son dos proposiciones negadas,

Slo es falsa, cuando ambas proposiciones

c) Prohibido hacer bulla. .e

e) Cuatro es divisible por 2.

f) Quito es la capital de Bolivia.