2 Logica PDF

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA
LÓGICA
PROPOSICIONAL
COMPETENCIA EN LÓGICA PROPOSICIONAL:
DESARROLLA CONCEPTOS Y PROCEDIMIENTOS DE LA LÒGICA PROPOSICIONAL, PARA

TRANSFORMAR E INTERPRETAR, DE MANERA COHERENTE, EL LENGUAJE ORDINARIO EN
SU FUNCIÓN INFORMATIVA HASTA CONVERTIRLO EN LENGUAJE SIMBÓLICO-LÒGICA
PROPOSICIONAL, REEXPRESANDO LA INFORMACIÓN RECOGIDA DE LAS SITUACIONES
REALES ACONTECIDAS, PARA SU ANÁLISIS, SU APLICACIÓN EN LA SOLUCIÓN DE
PROBLEMAS Y EN LA TOMA ASERTIVA DE LAS DECISIONES
1
SESIÓN N°01 evaluando primero las proposiciones

atómicas o simples y luego evalúa las
LOGICA proposiciones compuestas o moleculares,
formadas mediante el uso de los conectivos
La lógica es una ciencia muy importante lógicos. El cálculo proposicional recurre a
que sirve de apoyo a la matemática símbolos: variables proposicionales,
moderna, aunque en la vida diaria, nos conectivos lógicos u operadores lógicos
ayuda a resolver situaciones que (constantes lógicas), reglas de formación de
expresiones (sintaxis), símbolos auxiliares o
ocurren a nuestro alrededor, como por
signos de agrupación, valores veritativos
ejemplo: desentrañar el misterio de un (valores de verdad).
asesinato o determinar la paternidad de
un niño. Sin embargo, la lógica no está ENUNCIADOS
en lo que acontece, no pertenece al Enunciado.- Es una serie determinada de signos,
mundo concreto; sino surge de la mente que forman un segmento lingüístico.
Usualmente es toda frase u oración. Ejemplos
del hombre y refleja cierta estructura y
de enunciados en la lengua española:
procesos mentales, productos de la
La Policía Nacional del Perú
creación de la mente humana. La Policía nacional del Perú y la Fuerza
armada.
No obstante, el conocimiento o saber ¡Alto!
lógico, no tan solo se usa dentro del ¿Quién anda ahí?
campo filosófico o del pensamiento, sino Perro que labra no muerde
en todas las formas del conocimiento, Mi auto nuevo
dado que en todas las áreas se requiere 2+2=5
de un ordenamiento de los elementos Todas las gallinas son aves
que implica un razonamiento. Dos más tres es igual a cinco
Los principios y las reglas de la lógica, Prohibido hacer bulla
se usan en la construcción del análisis 5x + y > 34
de un problema específico y nos “x gira alrededor del sol”.
permiten establecer un orden de las “x es mecánico”.
partes a tratar y hacer un razonamiento “x + y = 0”
que nos lleve a establecer un juicio “x es número real”.
objetivo. Por ejemplo, si necesitas “x es padre de y”.
calcular el área de un triángulo, ¿qué “x > y”
harías? “x + 3 = 7”
Queda pues claro que en la vida diaria
del hombre común, así como en el
ENUNCIADOS ABIERTOS.
campo de la ciencia, la lógica nos da las
Son expresiones que contienen variables y
herramientas necesarias para
que no tienen la propiedad de ser verdadero
argumentar correctamente.
o falso.
Lógica Proposicional.- Es aquella parte de Ejemplos:

la lógica formal que estudia las x < 5 es un enunciado abierto, porque no
proposiciones como un todo indiviso, como podemos afirmar que es “V” o “F”.
bloques unitarios, con total abstracción de Solo cuando la variable “x” toma un
su estructura interna. No analiza las valor numérico se hace “V” o “F”.
palabras individuales que componen la Así tendremos:
proposición. Examina las conexiones Si x = 3 : 3 < 5 es “V”
lógicas existentes entre las proposiciones Si x = 8 : 8 < 5 es “F”
consideradas, es decir las conexiones
lógicas que existen entre las proposiciones
a través de los conectivos lógicos u
operadores lógicos. Toma en cuenta su
propiedad de ser verdaderas o falsas,
2
PROPOSICIONES Débil
Proposición.- Es un enunciado lingüístico
aseverativo (afirmativo o negativo) con  Disyunción
propósito informativo, libre de pq Opoq
ambigüedades, que tiene la propiedad de
ser verdadero o falso, pero no ambos a la
∆ Exclusiva
vez. Expresan la afirmación o negación de Si p

algo con respecto al referente. Afirmativa:
Admite cualidad o propiedad. Ejemplo: El  Implicación pq entonces
área del circulo es *r2”. Negativa: Rechaza
cualidad o propiedad. Ejemplo: El número q
dos no es impar. La proposición describe
algún hecho o aspecto del universo fáctico o  Replicador pq p si q
formal
 Bicondicional pq p si sólo si q
Ejemplo: Negación
P: Lima es capital del Perú (V)  pq Ni p ni q
Q: Mozart escribió Trilce (F) Conjuntiva
R: 4 + 9 = 13 (V)
Existen dos tipos de proposiciones: Binegación
-Proposición Simple o Atómica:  pq No p o no q
Es aquella proposición que carece de Disyuntiva
conectivo lógico u operador lógico. Pueden
ser predicativas o relacionales. Ejemplos: Nota:
La Tierra es un planeta.
La Lunaessatélite de la tierra. El conectivo lógico “” es un operador para la
Paris es la capital de Argentina. “negación conjuntiva”, llamada también
-Proposición Compuesta o Molecular: “Binegación”.
Es aquella proposición que tienen conectivo
El conectivo lógico “” es un operador para la
lógico u operador lógico. Los conectivos
lógicos u operadores lógicos se representan “Binegación disyuntiva”, también se le llamada
o denotan así: “” , “”, “”, “”, “”, “Negación alternativa”, o “Incompatibilidad”.
“”, “”, “”, “”
Juan y Luís son deportistas. Proposición Negativa. “”
Luís es ingeniero o médico. De manera general, la oración aseverativa
O Franco se va al colegio o se va a pasear. negativa en lengua cotidiana se caracteriza
Si Juan el deportista, mantiene una dieta por llevar la palabra “no” antes del verbo.
estricta. Ejemplos:
n es par si y sólo si n es múltiplo de 2. Paúl no es peruano.
El número 2 no es impar.
Estas oraciones aseverativas negativas se
Conectivos Lógicos y Operaciones Lógicas
representan en la lógica proposicional
CONECTIVO OPERACIÓN SIMBOLIZA- LENGUAJE
utilizando una variable proposicional y el
operador monádico “” Desde el punto de
LÓGICO LÓGICA CION ORDINARIO
vista de la lógica proposicional estas
proposiciones se representan así:
 Negación p No p
p: no (Paúl es peruano).
 q: no (El número 2 es impar).
Conjunción pq pyq El operador lógico “” se puede aplicar a una
.
proposición simple o atómica y también se
 Disyunción pq poq puede aplicar a otras proposiciones diádicas o
moleculares.
3
La expresión “no es el caso que”, “ es falso Ejemplos

que” se usan generalmente para negar Es absurdo que el Edgar patee con las dos piernas.
proposiciones compuestas. Ejemplo: No es el No es cierto que el cuadrado sea un polígono.
caso que la casa sea negra y la puerta roja. En Francisco Pizarro nunca descubrió América.
este caso tenemos una proposición conjuntiva, Nunca Francisco Pizarro descubrió América.
negada:  (p q). No es el caso que si llueve, De ningún modo iré a tu casa.
Es inadmisible que 3 + 3 = 9.
haga calor. En este caso tenemos una
No es verdad que toma refrescos.
proposición condicional, negada:  (r  s) Es objetable que salga a pasear.
En el lenguaje lógico-matemático, la negación Es falso que tenga dinero.
de una negación equivale siempre a una Es inconcebible que Martín salga desaprobado.
afirmación. Ejemplo: “no es verdad que no En modo alguno los ofidios poseen extremidades.
está en casa” equivale a decir “está en casa” y, En forma alguna los peces son anfibios.
en general “no-(no-A)” es lo mismo que “A”. No hay cumplimiento de leyes.
Es inobjetable que A A A. No ocurre que María canta.
No es innegable que no A AA. No acaece que el carro es blanco.
En nuestra lengua natural, lengua española, no No es el caso que Luís sea propietario del
siempre es así, sino que a veces, utilizamos la computador.
acumulación de negaciones para dar mayor Es irrefutable que la suma de los ángulos internos
énfasis a nuestra expresión. “No iré nunca” es de un triángulo es 360 grados.
para nosotros más o menos lo mismo que Es mentira que en el Perú hay democracia.
“nunca iré”. Jamás vayas al cine en la mañana.
Conectivo Lógico u Operador Lógico “”. Es imposible que exista vida en el planeta Venus.
Es incorrecto que 2 + 3 = 10.
Función.- Negar una proposición afirmativa.
Es erróneo que 1 6 = 9.
Regla Metalógica
Nunca sucede que los peces no nadan en el aire.
Si p es verdadera, p es falsa; y viceversa. Es incierto que los alumnos de primaria ingresan a
la universidad.
Tabla de verdad: Es innegable que las ballenas tengan extremidades.
No es innegable que ballenas sean ovíparas.
p p De ninguna forma se da 5<2.
V F No es inobjetable cierto que el elefante no demora
F V 20 meses para nacer.
No es falso que sea imposible que el pulpo sea
un molusco.
Conectores equivalentes a “”. Tampoco el elefante demora 20 meses para
No A // Nunca A // Jamás A // Tampoco A // Es nacer.
absurdo que A // Es imposible que A // No ocurre
que A // No es verdad que A // Es inadmisible que Proposiciones Conjuntivas “”“ . “
A// No acaece que A // No es innegable que A // Sean las oraciones aseverativas “Juan es
Es erróneo que A // Es incierto que A // De deportista” y “Luís es deportista.” Estas
ninguna forma se da que A // No es el caso que A// oraciones la podemos reescribir mediante una
No es cierto que A // Es Inconcebible que A // Es oración aseverativa compuesta “Juan y Luís
mentira que A // Es incorrecto que A // Es falso
que A // Es negable que A // Es refutable que A // son deportistas”, en este caso, las oraciones
Es objetable que A // En modo alguno A // En dadas han sufrido una transformación de
forma alguna A // De ningún modo A // De ninguna elisión, o sea, se han omitido una o más
manera A // Nunca sucede que A // Bajo ninguna palabras, pero se mantiene el sentido completo
condición A // No siempre que A // No es de las oraciones aseverativas primigenias. En
inobjetablemente cierto que A// No es innegable
que A // Nadie que sea A // No es que A // No se el uso cotidiano de la lengua, de manera
da la posibilidad que A // No es inobjetable que A // general, no hablamos ni escribimos “Juan es
deportista y Luís es deportistas.” sino “Juan y
4
Luís son deportistas.” Esta oración compuesta Si A e incluso B // simultáneamente A con B //

en la lógica proposicional es una proposición Tanto A como B // Aún cuando A , B  A B
molecular con operador diádico “” o “.“ // Tanto A como cuando B // Tomar A como
Siendo una proposición molecular la podemos cuando B // A , B también // Siempre ambos
representar mediante las variables A con B // A vemos que también B //
proposicionales “p” para representar a la
proposición simple o atómica “Juan es Ejemplos
deportista” y “q” para representar a la
proposición simple o atómica “LuísLa ETS es PNP Puente Piedra y la ETS San Bartolo son
deportista”, siendo el conector u operador escuelas de formación policial.
diádico “” que representa a la conjunción La PNP es una institución del estado y
“y” o su equivalente, de la lengua española. garantiza el orden interno.
Por consiguiente, en lógica proposicional, la Los alumnos de la ETS PNP Puente Piedra
proposición molecular o compuesta con garantizarán la seguridad ciudadana además de
conectivo binario (diádico) “”, se representa ser ciudadanos responsables.
Juan y Luís son deportistas.
mediante la fórmula “pq”.
Es verano sin embargo hace frío.
Juan es médico y deportista.
Conectivo Lógico u Operador Lógico “” La batalla ha terminado aunque la guerra
“.” continúa.
Roxana no sólo bailo sino también cantó.
Función.- Se usan para aumentar información
Grau fue un héroe, Bolognesi también.
del mismo nivel. Algunos tienen un matiz
Lidia es muy sensual pero inocente.
enfático.
No sólo es aplicado también bondadoso.
Regla Metalógica o Principio Lógico No sólo es sabio, también bueno.
Sólo es verdadera, cuando ambas No sólo Pedro sino también Luís estudian.
proposiciones atómicas son verdaderas. Es Que Pedro estudia es compatible con que Ana
falsa en todos los demás 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  q que José ingresó a la marina.
V V V El sueldo mínimo equivale a S/. 750, no
V F F obstante
F V F las familias hacen esfuerzos para conseguir
F F F más dinero.
El sol es una estrella además un planeta.
El número dos es par, también es primo.
Conectores equivalentes a “”
No sólo el número dos es par sino también
Y // también // además // así mismo // número primo.
asimismo // del mismo modo que// aunque // La boa es un ofidio al igual que carece de
sin embargo // así como // igualmente // pero// extremidades.
al igual que // tal como // no obstante // Así como trabajas, te alimentas.
incluso// a la vez también // al mismo tiempo Te alimentas así como trabajas.
que // y al mismo tiempo // de la misma Te alimentas así mismo trabajas.
manera // tanto como // además // aún cuando
// empero // sino // a pesar de //
Cierto A lo mismo que B // Así como A, B //
No sólo A también B // No sólo A sino
también B // Que A es compatible con que B //
5
Proposiciones Disyuntivas Débiles o interacción social al compartir e intercambiar

Inclusivas “” mensajes con los individuos con quienes nos
relacionamos o entendemos.
Sean las oraciones aseverativas “Rosa pidió
ayuda a Raquel” o “Rosa pidió ayuda a Conectivo Lógico u Operador Lógico “”
Juana”. Estas oraciones la podemos reescribir Función.- Se usa para señalar la posibilidad de
mediante una oración aseverativa compuesta elegir entre dos opciones. Esta alternativa es
“Rosa pidió ayuda a Raquel o a Juana”, en este débil porque las dos opciones son posibles.
caso, las oraciones dadas han sufrido una
Regla Metalógica.
transformación de elisión, o sea, se han Es verdadera, en todos los casos, excepto,
omitido una o más palabras, pero se mantiene cuando ambas proposiciones atómicas son
el sentido completo de las oraciones falsas.
aseverativas primigenias. En el uso cotidiano Tabla de verdad:
de la lengua, de manera general, no hablamos p q pp q  q
ni escribimos “Rosa pidió ayuda a Raquel o V V V
Rosa pidió ayuda a Juana” sino “Rosa pidió V F V
ayuda a Raquel o a Juana.” Esta oración F V V
compuesta en la lógica proposicional es una F F F
proposición molecular con operador diádico
“”. Siendo una proposición molecular la
podemos representar mediante las variables Conectores equivalentes a “”.
proposicionales “p” para representar a la A o B // A excepto que B // A o también B // A
proposición simple o atómica “Rosa pidió salvo que B // A al menos que B //A ya bien B
ayuda a Raquel.” y “q” para representar a la // A o a la vez B //A y / o B // A o incluso B // a
proposición simple o atómica“Rosa pidió menos que A, B //A alternativamente B // A a
ayuda a Juana.”, siendo el conector u operador menos que B // A a no ser que B // A o además
diádico “” que representa a la conjunción B // A y bien o también B // A o incluso B // A o
“o” de la lengua española. Por consiguiente, en sino B// A o bien B // A o en todo caso B //
lógica proposicional, la proposición molecular Y bien A o también B // Salvo que A, B // a
o compuesta con conectivo binario (diádico) menos que A, no B  A  B //
“”, se representa mediante la fórmula “pq”.
Ejemplos:
Nota:
En el lenguaje matemático, por convención,
De dos idiomas: inglés y francés, Charlie habla
“o” tiene siempre un significado incluyente.
por lo menos un idioma.
Esto implica a veces una patente diferencia
Luís es ingeniero o médico.
con el uso del lenguaje ordinario que llama la
Se llama Francisco o Paco.
atención a quien esta convención no se le ha
La historia es descriptiva o explicativa.
hecho bien explícita y familiar. Ejemplo: “3 es
Carmen trabaja a menos que estudie.
menor o igual que 5” es una expresión
Jorge es abogado salvo que sea ingeniero.
matemática verdadera, aunque todos sabemos
Descartes fue francés excepto que sea italiano.
bien que lo verdadero es que “3 es menor que
A menos que ingreses, te compran carro.
5”. “5 es menor o igual que 5” es una
José es responsable a menos que David también lo
expresión matemática verdadera, aunque todos
sea.
sabemos bien que lo verdadero es que “5 es
Salvo que David sea responsable José lo es.
igual que 5”. Se podría expresar el sentido de
David es responsable o bien José lo es.
esta convención diciendo que el matemático en
Estudias medicina o a la vez matemática.
su uso de la “o” se considera obligado a decir
la verdad, pero no se considera obligado a Cantas o también bailas.
El triángulo es un polígono o también una figura
decir nada más que la verdad. Lo cual, no es la
geométrica.
forma habitual de proceder en nuestra
6
Las figuras planas están formadas por líneas rectas o sentido excluyente de “O….o….”: “Saldremos
bien por líneas curvas. por la tarde e iremos al cine o al parque de
atracciones” es lo mismo que decir “O iremos al
Proposiciones Disyuntivas Fuertes o cine o al parque de atracciones.” En la lógica
Exclusivas proposicional se representa mediante la fórmula
“” “p  q”. Significa en este caso que, tiene lugar
Sean las oraciones aseverativas “Franco va al exactamente o se cumple una de las dos
colegio.” o “Franco se va a pasear.”, el sentido proposiciones. Según este sentido “o p o q” sólo
semántico de una es verdadera, cuando sólo una de las
es diferente al sentido semántico de la otra; con proposiciones atómicas es verdadera. En otras
estas dos oraciones aseverativas podemos palabras, “o p o q”es verdadera, si p es
formar una oración aseverativa compuesta, que verdadera y q es falsa; si p es falsa y q es
nos denote un sentido semántico excluyente, es verdadera; en todos los demás casos es falsa. En
decir, que se cumple uno y sólo uno de los dos el lenguaje ordinario, cuando queremos poner
sentidos semánticos, los mismos que son de manifiesto y de manera bien clara, que se
diferentes entre si, para lo cual, escribimos la trata del sentido excluyente, usamos “o bien... o
oración aseverativa compuesta siguiente: “O bien” o incluso nos hacemos más explícitos:
Franco va al colegio o Franco se va a pasear.” “No insistas, haremos una sola cosa, vamos al
Esta oración compuesta la podemos reescribir cine o vamos al parque de atracciones”. Como
así “O Franco se va consecuencia de lo dicho hasta ahora, en el
al colegio o se va a pasear.” en este caso, la lenguaje matemático, si se desea utilizar el
oración compuesta ha sufrido una significado excluyente, es preciso hacerlo bien
transformación de elisión, o sea, se han omitido explícito como se ha indicado, con frases tales
una o más palabras, pero se mantiene el sentido como: “o bien p o bien q.”
completo de la oración compuesta primigenia.
En el uso cotidiano de la lengua, de manera Conectivo Lógico u Operador Lógico “”
general, no hablamos ni escribimos “O Franco Función.- Se usa para señalar la posibilidad
va al colegio o Franco se va a pasear.” sino “O de elegir entre dos opciones. Esta alternativa
Franco se va al colegio o se va a pasear.” Esta es fuerte porque una sola de las opciones
oración aseverativa compuesta, en la lógica puede darse, se refuerza repitiendo “o” delante
proposicional, es una proposición molecular o de cada proposición.
compuesta con operador diádico “”. Siendo Regla Metalógica.
una proposición molecular la podemos Sólo es verdadera, cuando sólo una
representar mediante la variable “p” para de las proposiciones atómicas es verdadera.
representar a la proposición simple o atómica En todos los demás casos es falsa.
“Franco va al colegio.” y la variable “q” para
representar a la proposición simple o atómica Tabla de verdad:
“Franco se va a pasear.”, siendo el conector u p q p  q
operador diádico “” que representa a la V V F
conjunción “O…..o…..” de la lengua española, V F V
que denota sentido excluyente, es decir, que se F V V
cumple una y sólo una entre dos proposiciones. F F F
Por consiguiente, en lógica proposicional, la
proposición molecular o compuesta con Conectores equivalentes a “”.
conectivo binario (diádico) “”, se representa
A o exclusivamente B // A o sólo B // O A o B //Ya
mediante la fórmula “p q”. Otro ejemplo: Una bien A ya bien B // A o solamente B // A no biimplica
niña se empeña en que su padre la lleve el B // A no es equivalente B // A o
domingo por la mañana al parque de atracciones prioritariamente B //A o únicamente B // A
y por la tarde al cine de su barrio. El padre le excepto únicamente B // A excepto que B (en
dice “No, Saldremos por la tarde e iremos al sentido excluyente) // A a menos que B (en
cine o al parque de atracciones”. Este es el sentido excluyente) // A salvo que B (en sentido
7
excluyente)// A alternativamente que B (en Estas oraciones expresan una condición de

sentido excluyente) // A o bien B (en sentido realización posible. La oración principal se
excluyente) / O bien A o bien B // O A o tan refiere a un hecho real, futuro y probable.
sólo B // O es A o es B//
Si + presente del indicativo + presente del
Ejemplos indicativo: expresa una condición en el
presente que se quiere presentar como
O Rodrigo nació en Europa o América. probable de realizar.
De dos idiomas: inglés y francés, el policía habla Si vienes temprano, cenamos juntos.
solo un idioma.
Charlie es un policía habla inglés pero no francés o Si + presente del indicativo + futuro
habla francés pero no inglés. perifrásico (ir + a + infinitivo): expresa una
El Armero ordenó coger una pistola o un revolver condición en el futuro que se quiere presentar
pero no ambos. como probable de realizar.
O Gabriel nació en Lima o en Arequipa. Si vienes temprano, vamos a cenar juntos.
O bien la luna es un planeta o bien un satélite.
Ocho es par o impar. Si + presente del indicativo + futuro
O Comerá galletas o sólo caramelos. imperfecto del indicativo
O por la mañana descansas o me voy a la Si vienes temprano, cenaremos juntos.
playa. Si me llaman de la otra empresa, entonces
O 9 es múltiplo de tres o es múltiplo de 4. dejare este trabajo.
O viajó el lunes o el martes.
O Tudela està vivo o está muerto. Si + presente del indicativo + imperativo
O estudias o trabajas. Si necesitas cualquier cosa, llámame.
Proposiciones Condicionales o Implicativas La oración condicional construida con el

“” verbo en modo indicativo:
Las oraciones condicionales son oraciones El verbo en modo indicativo, desde el punto de
compuestas que constan de dos oraciones vista semántico, es cuando el hablante asume
inseparables. La primera, se denomina oración la acción del verbo como un hecho real y
subordinada o prótasis, que formula o expresa objetivo, de cuya realización se siente muy
una condición para que se cumpla la acción de seguro, pues enuncia el hecho como pura
la segunda oración, denominada oración constatación de la realidad. Por ejemplo:
principal o apódosis, que expresa los efectos o “Descargó la mercadería del coche.”,
resultados.La oración subordinada expresa una “Cosecharemos el algodón.” “Los perros
condición de la que depende el cumplimiento asustan a los ladrones.” El hablante presenta
de la oración principal. El conector más un hecho de validez general porque se apega a
característico o más frecuente para encabezar e la realidad. Su punto de vista es objetivo,
introducir una oración subordinada es la referencial, de actitud enunciativa o
conjunción condicional “si”: Si vas por la aseverativa del hecho, como pura constatación
autopista, tardarás menos.Si vienes entonces de la realidad. Cuando la oración condicional
te invitaré un postre. Si ahorro,podré irme de se considera como un hecho real o necesario,
vacaciones a Centroamérica.Si tuviera más se emplea el modo indicativo del verbo.
dinero, me iría a Centroamérica. Si hubieras Ejemplo: Si estudias, aprobarás.
venido, te habrías divertido mucho.Si la
situación empeorara,habría que llevarlo al Sea la oración condicional “Si el pejerrey es un
hospital.Si quisieras,podrías hacerlo. Si pez entonces el pejerrey tiene respiración
ahorrara un poquito más,podría irme de braquial.” Esta oración está compuesta por una
vacaciones. oración subordinada, llamada prótásis (la
condición): “Si el pejerrey es un pez” y la
oración principal, llamada apódosis (los
efectos): “entonces el pejerrey tiene respiración
8
braquial.” La oración condicional primigenia la siguiente: La primera proposición se llama,

podemos reescribir así “Si el pejerrey es un “antecedente”, la segunda proposición se
pez entonces tiene respiración braquial.”, en llama, consecuente. Desde el punto de vista
este caso, la oración compuesta original ha cognitivo, la proposición antecedente formula
sufrido una transformación de elisión, o sea, se o expresa una condición para que se realice la
han omitido una o más palabras, pero se acción, efecto o resultado de la proposición
mantiene el sentido completo de la oración consecuente y la proposición consecuente
condicional primigenia. En el uso cotidiano de expresa acción, efecto o resultado, cuyo
la lengua, de manera general, no hablamos ni cumplimiento se da, si previamente se cumple
escribimos “Si el pejerrey es un pez entonces el la condición dada en la proposición
pejerrey tiene respiración braquial.” sino“Si el antecedente, es decir, la proposición
pejerrey es un pez entonces tiene respiración consecuente depende de la proposición
braquial.” Esta oración condicional aseverativa antecedente.
en la lógica proposicional es una proposición
molecular o compuesta con operador diádico Regla Metalógica.
“” (Si …entonces…). Siendo una proposición Sólo es falsa, cuando el antecedente es
molecular la podemos representar mediante las verdadero y el consecuente es falso. En todos
variables proposicionales “p” para representar a los demás casos es verdadera.
la proposición simple o atómica “así “el
pejerrey es un pez” y “q” para representar a la Tabla de verdad:
proposición simple o atómica “el pejerrey p q p  q
tiene respiración braquial.”, siendo el V V V
conector u operador diádico “” que representa V F F
a la expresión “Si…entonces…” de la lengua F V V
española, Por consiguiente, la proposición F F V
compuesta o molecular, condicional “Si el
pejerrey es un pez entonces tiene respiración Sinonimos de “Si”
braquial.” en la lógica proposicional se
Porque// Ya que/ Puesto que// Dado que//
representa mediante la fórmula “p  q”. En la
Siempre que// Basta que// En el caso de que//
lengua natural, ordinaria o cotidiana existen
Cuando// Cada vez que// Con la condición de
muchos sinónimos, tanto para la conjunción
que// Con tal de que/Pues// Es implicado por//
condicional “si”, que es la que propone el
Teniendo en cuenta que// Sólo cuando// Es
antecedente o condición suficiente; como para la
suficiente//
conjunción consecutiva “entonces.”, que
propone el consecuente o condición necesaria.
Con el conocimiento de dichos sinónimos es Sinonimos de “Entonces”
posible construir gran cantidad de proposiciones Aunque// así pues// así que// luego// en
implicativas. consecuencia// consecuentemente// con que//
de manera que// pues// tanto que// por lo
tanto// se infiere// se deduce// implica// Por
Conectivo Lógico u Operador Lógico “” eso// es obvio// por consiguiente// de allí que//
por ello// bien se ve que// sòlo si// solamente
p q
si// únicamente si //exclusivamente si//
donde: prioritariamente si//
p : Antecedente
Conectores equivalentes a “”
q : Consecuente
A implica B// A luego B// A
consecuentemente B// A en consecuencia B//
Función.- vincula dos proposiciones que A por tanto B// A solo si B// A de ahí que B//
tienen la peculiaridad o característica A de manera que B// Si A entonces B// Con tal
que A entonces B// Basta que A entonces que
9
B// Con la condición de que A entonces B// Cuando tenga pasaporte pues viajaré.
Dado que A entonces B// Es implicado por A
entonces B// Puesto que A entonces B// En la medida en que entrenes de allí que
Cuando A así pues B// Pues A entonces B// triunfarás.
Porque A entonces B// Ni bien A entonces B//
Siempre que A entonces que B// Ya que A Con tal que trabajes es obvio que ganas dinero.
entonces B// Porque A por eso B// Si A por eso
B// A menos que A, B// Siempre que A, B// Siempre que estudies, ingresaras a la
Una vez que A, B// Cada vez que A es porque universidad.
B// En vista que A es evidente que B// Si A,
B// En la medida que A de allí B// En la Bajo la condición de estudiar, ingresaré a la
medida que A de allí que B// En el caso de A universidad.
en este caso B// Cuando a así pues B// Cuando
A pues B// En virtud de que A es evidente Una vez que yo estudié, debo ingresar.
que B// En el caso de que A en tal sentido B//
Para A es condición necesaria B// Toda vez Al estudiar, es posible que pueda ingresar.
que a en consecuencia B// Cada vez que A
entonces B// Con tal que A es obvio que B// El que Miriam trabaje en la Universidad
Dado A por eso B// Dado que A por eso B// En Nacional de Piura es condición suficiente para
cuanto A por tanto B// De A deviene B// qué este asegurada.
Siempre que A por consiguiente B// Siempre
que A es obvio que B// A es condición La detección del sida implica los análisis que
suficiente para B// Ya que A bien se ve que B// sean necesarios para detectar ésta enfermedad.
A impone a B// De A derivamos B// Si A, B//
En la medida que A de allí B// Puesto que A, Estudió en el Instituto de Enseñanza Pre
B// Es condición suficiente A para B// Universitaria de la Universidad Nacional de
Piura (IDEPUNP) por lo tanto postularé a la
Ejemplos Universidad Nacional de Piura.
Si el alumno estudia entonces aprobará la
Ambas triunfarán, si María trabaja y Kasandra
asignatura de Lógica.
estudia.
Si el alumno estudia, aprobará el curso.
El alumno aprobará el curso si estudia.
Cada vez que los metales se dilatan obviamente
Dado que el alumno estudia aprobará el curso.
el oro se dilata.
Puesto que el alumno estudia aprobará el curso.
Porque el insecto es invertebrado por eso es
Si Juan el deportista, mantiene una dieta estricta.
volador.
Si hay vida en la nebulosa Andrómeda, existen
seres extraterrestres.
Los dinosaurios no se extinguieron solamente si
(entonces) evolucionaron.
Ya que hay nubes, bien se ve que lloverá.
La demanda aumenta únicamente porque
Cuando tenga visa, viajaré a los Estados Unidos.
(entonces) los precios suben.
Dado que sembré a tiempo por eso cosecharé
Porque la oferta aumenta, por eso los precios
pronto.
disminuyen.
Dado que mi tío es cruel por eso sus hijos sufren.
A menos que ingreses, te compraran carro.
Dado que llegas tarde por eso te despedirán del
Para construir la democracia es necesario
trabajo.
respetar la constitución.
10
Tabla de verdad
p q p  q
Si los jueces del poder judicial dictan
V V V
sentencias condenatorias, contrarias al texto
V F V
claro y expreso de la ley, envían a prisión a
F V F
personas, de manera irregular, violan el debido
F F V
proceso legal, las garantías judiciales, los
derechos fundamentales de la persona humana,
entonces los jueces del poder judicial están
Conectores equivalentes a “”
cometiendo delito contra la administración de A porque B// A si B// A sólo cuando B// A se
justicia, en la modalidad de prevaricato. 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 condición de que B// A en
Si los jueces del poder judicial dictan vista de que B// A pues B// A solo si B// A para B//
sentencias contrarias al texto expreso de la ley, A pero si B// A suficiente que B// A es implicado
no motivadas, ni sustentadas ni por B// A con tal de que B// A es condición
fundamentadas, entonces los jueces del poder necesaria para B// A con la condición de que B//
judicial están violando las garantías judiciales Sólo si A , B// Cada vez A, B// Es condición
del condenado. necesario A para B// a cada vez que B, A// Para A es
condición suficiente B// Cada vez que A es porque
Proposiciones Replicativas “” B// Sólo A, si B// Para A es suficiente B// A supone
Es la proposición molecular que presenta en B//
orden invertido antecedente y consecuente,
con respecto a la proposición condicional:
“Consecuente….si Antecedente”. En símbolos Ejemplos.
q  p (replicador), donde p es antecedente, q El profesor no controló la asistencia, puesto
es consecuente y es el conectivo lógico, que (si) la oficina de dirección del colegio
llamado “replicador”. Ejemplo: “Saldré, si estaba cerrada y no estaba el portero.
vienes a buscarme”, presenta el conectivo
lógico binario “”, q, consecuente y el Pedro compró un libro sólo cuando (si) tenía
antecedente encabezado por si p. En dinero.
símbolos: q  p. La fórmula: q  p tiene
sentido, ya que el replicador () es el Iré de viaje y me divertiré si me sacó la
invertido del condicional. Ejemplo: Solo el pejerrey lotería.
tiene respiración braquial, si el pejerrey es un pez”.
Realizar la transformación de elisión, es decir,
omisión en la oración de una o más palabras para Se pararon las luces porque (si) se
una construcción gramatical completa; interrumpió el fluido eléctrico.
manteniendo el sentido completo de la oración:
“Sólo el pejerrey tiene respiración braquial, si Roberto aprobará el curso puesto que(si) dio
es un pez”. En símbolos: “q  p”. Proposición un buen examen.
atómica q, llamada consecuente: “El pejerrey tiene
respiración braquial”. Proposición atómica p,
llamada antecedente: “El pejerrey es un pez”. El número entero b es primo, si b es divisible
por 1 y por sí mismo.
Conectivo Lógico u Operador Lógico“” Toledo será presidente siempre que(si) al
Función: análogo al conectivo u operador postular gane las elecciones.
lógico“”
Habrá ingresantes dado que(si)hubieron
Regla Metalògica: Sólo es falsa, cuando el postulantes.
antecedente es verdadero y el consecuente es
falso. En todos los demás casos es verdadera. Existe la democracia porque(si) existen los
derechos humanos.
11
Ingresará a la universidad porque(si) ha Regla Metalógica:

estudiado. “Sólo es verdadero, cuando ambas
proposiciones atómicas son verdaderas o
Morirás si estas con sida. ambas son falsas. En los demás casos es
falsa.”
Compra libros porque(si) son útiles.
Tabla de verdad:
p q pp q q
El sueldo mínimo equivale a s/. 750 no
V V V
obstante las familias hacen esfuerzos para
V F F
conseguir más dinero, ya que(si) el Perú está
F V F
pasando por un momento crítico.
F F V
No hay tuberculosis, puesto que(si) no hay
infección de bacilos. Conectores equivalentes a “”
A si y sólo B// A es equivalente a B// A siempre
que y sólo cuando B// A es lo mismo que B//
Proposiciones Bicondiconales “” A por lo cual y según lo cual B// A se define
como B// A es idéntico a B// A es igual a B// A
Es la proposición compuesta que presenta el
igualmente B// A es igual entonces a B// A
conectivo lógico binario (diádico) “ … si y sólo
siempre y cuando B// A si de la misma forma
si ...”. En símbolos: p  q. Este conectivo B// A siempre que y sólo si B// A siempre que y
lógico se denomina bicondiconal. Como su sólo cuando B// A del mismo modo que B// A es
nombre lo indica significa dos condicionales, condición suficiente y necesaria para B// A porque
es decir está compuesta por dos proposiciones y solamente si B // Es necesario y suficiente A
condicionales que tienen ciertas para que B// A es suficiente y B también// Si y
peculiaridades. Son dos proposiciones sólo si A entonces B // Si y sólo si A , B// A es
condicionales que se caracterizan por ser una de la misma forma que B // A ya que y
reciproca de la otra; las mismas que están solamente porque B//
enlazadas por el conectivo lógico binario “y”.
Ejemplo: “n es número par si y sólo si n es Ejemplos.
múltiplo del número dos”. En símbolos: p 
q, se observa que hay dos proposiciones
condicionales, tales como: “Si n es número par Te graduarás de policía si y solo si apruebas todas
entonces n es múltiplo del numero dos” y “Si n las asignaturas.
es múltiplo del número dos entonces n es La Policía Nacional del Perú recuperará su
número par”. En símbolos: (p  q) (q  p) prestigio si y solo si los alumnos de la ETS PNP
o también (p  q)  (p  q). El uso de la son preparados sobre la base de valores.
expresión “si y sólo si” es relativamente Habrá cosecha siempre que y sólo cuando llueva.
reciente en el lenguaje matemático. En el
lenguaje más tradicional se expresaba “A es Hace frío si de la misma forma hace calor.
condición necesaria y suficiente para B”, hoy
la expresión más usada y equivalente a la 5 < 8 si y sólo si 5 < 6 y 6 < 8
anterior es “A si y sólo si B”. La demanda procede cuando y sólo cuando
es consistente.
Conectivo Lógico u Operador Lógico“” Sí y sólo si n es par, n es múltiple 2.

Función: vincular dos proposiciones
condicionales, que tienen la peculiaridad o Los rayos catódicos tienen carga negativa del
característica de ser una reciproca de la otra; mismo modo los rayos anódicos tienen carga
las mismas que están enlazadas por el positiva.
conectivo lógico binario “y”.
12
La sugerencia de Rosa es idéntica a la orden nombre de función de Nicod, aunque fue

de Pablo. descubierta por Sheffer, fue Nicod quien
insistió en su estudio. p  q es equivalente a
1 = 2 -1 es equivalente a 3 - 2 = 4 - 3. pqp q Ni p, ni q.
Es necesario y suficiente que Sandra viaje a

Conectivo Lógico u Operador Lógico“”
España para que estudie abogacía.
Función: vincular dos proposicionesnegadas,
Estar con fiebre es igual entonces a estar cuya forma p  q es equivalente a la forma p
enfermo. q, que son dos proposiciones negadas,
enlazadas por el conectivo lógico .
Toledo será presidente siempre que y sólo si
gana las elecciones.
Regla Metalógica:
Sólo es verdadera, cuando ambas proposiciones
La lógica se define como el estudio del
atómicas son falsas. En los demás casos es falsa.
razonamiento correcto.
Tabla de verdad
Habrá reforma sí y sólo hay cambio p q p  q
estructural. V V F
V F F
Existe Estado de derecho si y sólo si se F V F
respeta la constitución. F F V
Iré al cine siempre y cuando vaya contigo.
Conectores equivalentes a “”
Toda investigación es científica ya que y No A y no B// No A, ni B// Ni A, ni B//
solamente porque se fundamenta en datos
objetivos, probados o demostrados.
Ejemplos
Proposiciones de Negación Conjunta o
Binegación “” Ni cantas ni bailas.
Es la proposición compuesta que presenta el
No ingresó a la universidad y no postula a la católica.
conectivo lógico binario  , para realizar la
operación lógica p  q, denominada Ni Colón conquistó el Perú ni Pizarro descubrió
“Negación Conjuntiva” que significa América.
“ni...ni…” . Ejemplo: Sean las proposiciones
atómicas “Lima es un puerto”, “Callao es una Ni viajará a México ni regresará a su país.
laguna”. Le aplicamos a ambas proposiciones Ni Ricardo Palma fue el escritor, ni Mariatigui fue
el conectivo lógico “no…” y obtenemos las
poeta.
proposiciones negativas siguientes: “Lima no
es un puerto”, “Callao no es una laguna”.
Reescribimos ambas proposiciones: no (Lima No ganarás la rifa y no ganarás el bingo.
es un puerto); no (Callao es una laguna).
Aplicamos a ambas proposiciones el conectivo Ni ganarás la rifa, ni ganarás el bingo.
lógico binario “y”, y obtenemos la proposición
siguiente: no (Lima es un puerto) y no (Callao Ni son proposiciones, ni son enunciados abiertos.
es una laguna) que equivales a decir: Ni Lima
es un puerto, ni Callao es una laguna. A esta
proposición molecular se le denomina En el Perú ni hay trabajo, ni hay justicia.
“negación conjuntiva”, “negación conjunta” o
“Binegación”. En símbolos: p  q. A éste Ni trabajas ni estudias
conectivo lógico también se le conoce con el
13
Ni Cesar Vallejo es francés ni Antonio Machado es Función: vincular dos proposicionesnegadas,

boliviano. cuya forma p  q es equivalente a la forma
p q, que son dos proposiciones negadas,
Proposiciones de Negación Alternativa o enlazadas por el conectivo lógico .
Binegación Disyuntiva o Incompatibilidad
“” Regla Metalógica:
Es la proposición compuesta que presenta el Sólo es falsa, cuando ambas proposiciones
conectivo lógico binario (diádico) “”. El atómicas son verdaderas. En los demás casos
conectivo lógico binario “” es utilizado para es verdadera.
realizar la operación lógica denominada
Negación alternativa o Binegación disyuntiva TABLA DE VERDAD
o incompatibilidad, denotada por el símbolo: pq p  q
p  q, se lee “no p o no q. La binegación VV F
disyuntiva es la negación de las proposiciones VF V
FV V
no p y no q, enlazadas al mismo tiempo por el FF V
conectivo lógico . En símbolos:
pqp q. Ejemplo: Sean las proposiciones Conectores equivalentes a “”
atómicas “Yo compro el auto”, “Yo voy al No A excepto que no B// A es incompatible con B//
mercado”. Le aplicamos a ambas No A a menos que no B//
proposiciones el conectivo lógico “no…” y Ejemplos
obtenemos las proposiciones negativas
No compro auto o no voy al mercado.
siguientes: “Yo no compro el auto”, “Yo no
voy al mercado”. Aplicamos a ambas No juego por alianza o no es su futbolista.
proposiciones la elipsis, es decir suprimimos No comentes o no respondo de mí.
en las proposiciones dadas aquellas palabras
que no son indispensables para la claridad de No eres pintor o no eres artista.
las mismas. En éste caso suprimimos la No es divisor de 20 o no es número primo.
palabra “Yo”. Luego las proposiciones dadas
las podemos reescribir así: “no compro el Los cetáceos no respiran por braquias o no son
auto”, “no voy al mercado”. A ambas terrestres.
proposiciones le aplicamos el conectivo lógico
binario “o” (funciona como disyunción
1. Escribe “e" si es un enunciado y “p” si es
inclusiva), y obtenemos la proposición llamada
proposición en:
negación alternativa, binegación disyuntiva o
incompatibilidad: “No compro el auto o no a) 3 es mayor que 2. …e y p….
voy al mercado”. En símbolos: p  q. A éste b) ¡Viva el Perú! …e…….
conectivo lógico también se le conoce con el
nombre de función de Sheffer. c) Prohibido hacer bulla. .…e……
p  q p  qp q. d) 5 < 6 …e y p..
Con la incompatibilidad lo único que se quiere e) Cuatro es divisible por 2. …e y p….

decir es que una misma persona no puede f) Quito es la capital de Bolivia. …e y p…
ser, a la vez, dos cosas; así en el ejemplo "es
incompatible ser juez y abogado", se g) 7  5 …e y p..
manifiesta que una persona no puede actuar h) César Vallejo escribió “Los dados
a la vez como juez y como abogado, por eternos” …e y p …
tanto, de ser verdaderas las dos
proposiciones atómicas, la molecular tendría i) Copérnico es el autor de la teoría
el valor de falso. heliocéntrica. …e y p….
j) x 3 …e y p..
Conectivo Lógico u Operador Lógico“”
14
k) Si me pagan en la UNMSM, entonces (V ) Solamente cuando el antecedente es

viajaré al Cuzco. …e y p.. verdadero y el consecuente es falso, la
l) José C. Mariátegui es autor de “El proposición condicional es falsa.
artista y la Época” o “Temas de ( V) Basta que el consecuente sea verdadero

Educación” ..e y p… para que la proposición condicional sea
m) No es el caso que un número sea verdadera.
divisible entre dos y que no sea par. A) FV B) FF C) VV D) VF

…e y p.. E) No se puede determinar
n) Si a un número par le sumo otro número

03. Señale verdadero (V) o falso (F):
par, entonces el número resultante es (V ) “Si y sólo sí” es una conectiva
también par. ..e y p… bicondicional
o) ¿Quién es el Rector de la UNMSM?
( F )Basta que uno de los componentes de una
…e…. proposición conjuntiva sea verdadero,
2. Escribe “C” si es una proposición para que la proposición conjuntiva sea
compuesta o molecular y “S” si es verdadera.
proposición simple o atómica: A) VV B) VF C) FV D) FF
1) Pizarro jugó, aunque estuvo lesionado. E) No se puede determinar
……C………….
04. Es una proposición que admite el valor V sólo
2) 9 es múltiplo de 3 y 12 es múltiplo de 2 y 3. cuando las dos proposiciones componentes
……C……….. son verdaderas:
A) Conjunción
3) Cuando tenga visa, viajaré a los B) Disyunción débil
Estados Unidos. ………C……….. C) Disyunción fuerte
D) Implicación
4) Dado que sembré a tiempo por eso E) Negación
cosecharépronto. .………C…………
05. Es una proposición en la cual basta que una de
las proposiciones sea verdadera, para que toda
5) No compro auto o no voy al mercado. ella sea verdadera
………C..……….. A) Conjunción
B) Disyunción Débil
6) No eres pintor o no eres artista. C) Bicondicional
D) Implicación
……..C….……….
E) Negación
06. Es una proposición que es verdadera sólo
cuando las dos proposiciones tienen el mismo
PROBLEMAS PROPUESTOS valor de verdad.
A) Disyunción
01. Señale verdadero (V) o falso (F):
B) Bicondicional
( F ) Basta que el antecedente sea falso para
C) Conjunción
que la proposición condicional sea falsa.
D) Implicación
( F )Una proposición bicondicional es E) Negación
verdadera solamente cuando sus dos
componentes son verdaderas.
07. Es una proposición falsa sólo cuando forman la
combinación V y F, en ese orden.
A) VV B) VF
A) Disyunción
C) FV D) FF
B) Bicondicional
E) No se puede determinar
C) Conjunción
02. Señale verdadero (V) o falso (F): D) Implicación
E) Negación
15
r q es V
08. Dada la proposición : “Si estudio, triunfo.

q V t es F
Estudio, por lo tanto triunfo”. Corresponde a un
esquema: Determine los valores de verdad de p, q, r y t
A) Tautológico
B) Consistente A) VVVV B) VVFF C) VFVF
C) Contradictorio
D) FVFF E) FFFF
D) Indeterminado
E) Falso 12. Si la proposición compuesta:
( p q)  (r V t ) es falsa
09. Dada la proposición: “Si llueve, el suelo se
Indicar las proposiciones que son verdaderas:
moja”. Los valores de la matriz principal de su
tabla de verdad son:
A) p y r B) p y q C) r y t
A) FVFV
D) q y t E) p; r y t
B) VFVF
C) VVVV 13. Si la proposición: ( p  q)  r, es falsa,
D) VFVV determinar, ¿Cuáles de las proposiciones son
E) FFVV falsas?
A) p y q B) p y r
C) p; q y r D) q y r E) r y q
10. Si la proposición : “No es cierto que, estudiemos y no
aprobemos”, es verdadera, entonces podemos
14. Los valores de verdad de las proposiciones p,
afirmar.
q, r y s son respectivamente V, F, F, V.
A) Aprobamos y no estudiamos
Obtener los valores de verdad de:
B) No es el caso que, estudiamos o aprobamos ( V ) [(p V q) V r ]  s
C) Estudiamos o no aprobamos (V ) r (s  q)
D) Aprobamos o no estudiamos (F ) (p V r)  (r s)
E) Estudiamos y aprobamos
A) VFF B) VVV
C) FFF D) FVV
11. Si se sabe que:
E) VVF
p  r es F
16
correspondencia con la en la realidad

objetiva, /Juan tiene dos manos/.
SESIÓN N° 02 En otras palabras, la propiedad
VALORES DE VERDAD Y TABLAS DE VERDAD designada como "verdad" o
“falsedad” es la medida en que las
Valores Veritativos (Valores de proposiciones atómicas corresponden
Verdad).- Son símbolos denotados a la realidad a la que se refieren.
(indicados) por: “V” que representa Nada más, pero también nada menos.
el valor de “verdadero” y “F” que
representa el valor de “falso”; Parecería aceptable que la polaridad
también pueden utilizarse los "verdadero- falso" sólo es relevante a
símbolos de “1” para representar el las proposiciones cuyo contenido
valor de “verdadero” y “0” para forma parte de la naturaleza, de la
representar el valor de “falso”. realidad empíricamente verificable.
Estos signos no son signos lógicos El punto que me interesa subrayar es
sino metalógicos. que de todo lo que los seres humanos
nos decimos unos a otros cada día,
Una proposición simple o sólo una pequeña fracción cae dentro
atómicadesde el punto devista de la jurisdicción de la polaridad
semántico tiene un sólo valor de “verdadero-falso”; el resto de lo que
verdad, puede ser o verdadero “V” nos decimos puede ser inspirado,
o falso “F”, pero no ambos a la vez.
patético, torpe, valorativo o de
Esquemáticamente lo expresamos
opinión, optimista, profundo,
así:
inquisitivo, emotivo, exhortativo,
dubitativo interrogativo, desiderativo,
p exclamativo, refranes, fantástico o
V ficticio: de la literatura, de los
F comics, de las supersticiones, de la
religión, de los mitos o leyendas;
¿Cuándo decimos que una
pero no tienen (ni puede tener)
proposición atómica es “V” y
relación alguna con la verdad. Hay
cuándo decimos que es “F”?
resistencia a aceptar este concepto
Decimos que una proposición restringido de verdad. Este concepto
atómica es verdadera “V” cuando restringido de verdad excluye áreas
dicha proposición guarda del pensamiento humano tales como:
correspondencia con los hechos o la filosofía, la religión, la demagogia
realidad objetiva, ejemplo: la y ciertos tipos de literatura fantástica
proposición “El cisne es blanco”, es o poética. Lo que quiero decir es que
verdadera sólo si, guarda la polaridad “verdadero- falso” no
correspondencia con la realidad consume la totalidad de las vivencias
objetiva, /el cisne es blanco/. humanas y que afortunadamente
existen muchas otras aperturas para
Decimos que una proposición canalizar la enorme riqueza de la
atómica es falsa “F” cuando dicha existencia del Homo sapiens. El
proposición no guarda calificativo de "verdadero" o de
correspondencia con los hechos o “falso” sólo debería aplicarse a las
realidad objetiva, ejemplo: la proposiciones que o describen,
proposición “Juan tiene cinco refieren con fidelidad o que no
manos”, es falsa sólo si, no guarda describen, no refieren con fidelidad
fenómenos naturales específicos. Y
17
como éste es el oficio específico de la de las reglas metalógicas que permite

ciencia, mi conclusión es que la establecer el valor de verdad de un
polaridad “verdadero-falso” sólo esquema o fórmula proposicional,
puede aplicarse al conocimiento considerando todas las combinaciones
científico. posibles de los valores de verdad de
las variables que la componen. Las
tablas de verdad son interpretaciones
Valores de Verdad para las semánticas de las posibilidades de
proposiciones moleculares verdad “V” y falsedad “F” que tienen
La única manera de determinar la las proposiciones compuestas. El
relación entre la verdad de las número de posibilidades (opciones)
proposiciones compuestas o de verdad “V” y falsedad “F” que
moleculares y la de sus componentes tienen las proposiciones compuestas
(proposiciones atómicas) es es igual a 2n. Donde n indica el
definiendo el significado de los número de proposiciones simples
conectivos lógicos u operadores (variables proposicionales) que,
lógicos por estipulación semántica. intervienen como componentes de la
Por ejemplo, la regla metalógica de la proposición molecular. En símbolos:
negación, de la conjunción, de la opciones = 2n. La tabla de verdad
disyunción débil, disyunción fuerte, permite hallar la matriz principal que
del condicional, de la biimplicación, define al esquema proposicional. Por
de la binegación y de la binegación ejemplo, si esta matriz resulta
disyuntiva definen por estipulación tautológica, es decir, en todos los
semántica el significado de sus
respectivos conectivos lógicos u
operadores lógicos, es decir, el
comportamiento de un operador
lógico suele definirse mediante su
correspondiente regla metalógica. Las
reglas metalógicas, que estipulan el
significado, uso, comportamiento de
los conectivos lógicos, son verdaderas
definiciones semánticas, a manera de
postulados de significación. La
verdad o falsedad de una proposición
molecular puede conocerse
universalmente sin la necesidad de la
mundos posibles es verdadero el
evidencia empírica; depende de las
operador principal, el razonamiento
reglas metalógicas que estipulan el dado será valido.
uso de los conectivos lógicos Considerando la distribución de los
presentes en la proposición valores de verdadero y falso, en la
compuesta. De esta manera, la matriz principal de la tabla de verdad de
verdad de las proposiciones las fórmulas proposicionales, éstas se
moleculares depende de las clasifican en: tautológicas, contingentes
significaciones atribuidas a los y contradictorias.
conectivos lógicos.
Fórmulas proposicionales tautológicas
Las tablas de verdad son una (T). Son aquellas cuya matriz principal
contiene únicamente valores de verdadero.
representación esquemática o gráfica
18
 p  qq r 
Fórmulas proposicionales contingentes o

consistentes (Q). Son aquellas cuya matriz
principal contiene tanto valores de verdadero
como de falso.
Ejercicio 2. Evaluar la fórmula:
(pq)(qr
Fórmulas proposicionales contradictorias

(). Son aquellas cuya matriz principal
contiene únicamente valores de falso. PROBLEMAS APLICACIÓN
1. Sean p: “José es estudioso ” , y q: “José
es alto ”. Escribir las siguientes
proposiciones en forma simbólica, con p
y q:
a) José es estudioso y es alto.
……pq….
b) José no es estudioso o no es alto.
…pq...
c) No es verdad que José es alto o
Evaluación de fórmulas mediante tablas de
estudioso.
verdad …qp….
d) Es falso queJosé es alto o que es
Evaluar una fórmula mediante las
estudioso. …qp..
e) José es alto, pero no es estudioso.
tablas de verdad consiste en obtener …qp….
los valores de verdad (V y F) del
operador lógico o conectivo lógico 2. Simbolizar: "José estudia y trabaja, pero
practica fútbol"
principal de la fórmula, a partir de
todas las opciones de verdad o a) (p  q)  r
falsedad que tiene cada una de las b) p  (q  r)
variables proposicionales. c) pq
d) pqr
Ejercicio 1. Evaluar la fórmula:
e) (p  q)  r
19
~ [ ( ~ p y q)  ( ~ r  ~ s) ]
3. Simbolizar: "No es el caso que, Rubén
canta y toca cajón" a) f fff
b) fvvf
a) ~ p q c) fvfv
b) ~p V q d) vvff
c) ~p  ~ q
d) ~(p  q) 9. Se sabe que la negación de :
e) p V ~q P  ( ~ q V r ) ; e s verdadera ,
entonces el valor de verdad de:
4. Simbolizar: "No es el caso que, hace frío y ( q  r )  { ( q r )  t } e s :
no se congele" Obs. t no esta definida
a) ~(p  ~ q) a)V b)F c) VóFd)NA
b) ~p  ~ q
c) p  ~q 10.Los valores de verdad de p,q, r son :
d) ~p V ~ q ~[(~ p V q) V ( r  q)]  [ ( ~pV q)  ( q  ~ p)]si
e) ~(p V ~q) el enunciado es verdadero
a) f f v
5. Simbolizar: "Es falso que si el ciclotrón b) v v f
bombardea al átomo, entonces no se acelera c) v f f
la velocidad de los protones". d) v f v
a) ~p  ~q e) f ff
b) ~p  q
c) ~(p  ~q) 11. Si la proposición ( p  ~q)  ( r  ~ s)
d) ~p  q es falsa , el valor de verdad de las
e) (p  ~q) proposiciones : q , p , r , s
f) respectivamente son
6. Sean p “ Gabriel es estudioso ” , y q a) f v vv
“Gabriel es alto ”. Escribir los siguientes b) f v f f
enunciados en forma simbólica con “ p y q “. c) v vvv
a)Gabriel es estudioso y es alto p Λ q d) v f v v
b) Gabriel no es estudioso o no es alto -p v-q
c) No es verdad que Gabriel es bajo o 12. De la falsedad de:
estudiosop v q ( p  ~ q ) V ( ~ r  ~ s), se deduce
d) No es el caso que Gabriel es alto o que es que:
estudioso –(p v q) a ) ~ (~ q V ~ s)  ~ p
e) Gabriel es alto pero no es estudioso b ) ~ (~ r  s)  ( ~ p  ~ q)
pq c) P  ~ [ q  ~(s  r ) ]
Sonrespectivamente :
7. Completa : a) f f v
a) V v F = V b) v v f
b) F vF =F c) v f f
c) V  V= V d) v f v
d) F Λ F= F e) f ff
e) V  F=F 13. Si ( p ) = V
f) F v V=V ( ~ q) = F
g) V Λ V= V (r) =V
h) F  V=F Determinar el valor de verdad o falsedad
i) F  V=V a ) [ ( p q )  ( ~ r V q ) ] ~ q
j) V Λ F=F b) [ ( ~ p  r )  ( q V p ) ]
c) [ ( p  r ) V x ]  ( ~ q  ~ r )
8. Si la proposición es verdadero, hallar el
valor de cada variable en:
14. Si se sabe que :
20
S p = V,r  s = F , q  p  f c. Contingencia
Determinar el valor de los siguientes d. p
diagramas: e. q
a) ( ~ r  q)  ( s  p )
23) Sea el esquema: (A V B), la matriz
b) [ ( p V ~ s) r ]  ~ r correspondiente es:
c) ( p  ~ q ) V ( ~ r  ~ s ) 1. VVVV
2. Consistente
15. Si la negación de la siguiente formula 3. VFVV
lógica es verdadera , hallar los valores 4. Contradictoria
de verdad de cada uno de ellos. 5. Tautológica.
~{( p s )  [ ( p  r ) V ( ~ qs)] }
Son ciertas:
a) f fff A) 2 y 3 B) 1 y 5 C) Sólo 4
b) f v v f D) 2 y 4 E) Sólo 5
c) f v f v
d) v v f f 24) Si la proposición:
e) v f ff (p q)  (rs] es falsa, el valor de verdad
de q, p, r, s ( en ese orden es)
16. Mediante la aplicación de las reglas metalógicas
A) FVVV B) VVVF C) VFVV
de los operadores o conectivos lógicos y el uso
D) FVFF E) VVFF
de tablas de verdad ejecute la evaluación de las
fórmulas lógicas siguientes: 25) Determine si las siguientes proposiciones son
tautologías o contradicciones.
1) pq I. ( r  s)  ( r s)
2) pq II. [(p V q)  p] p
3) pq III. (pq)[(pq)(pVq)p]
4) p q
5) pq  r A) C, T, C B) T, C, T C) T, T,T
6) p q  r) D) C, C, C E) C, C,T
7) (p q)  (r  s 
8) (p  q)  r 26) Hallar la tabla de verdad de :
9) {[p  r q]  r  s}  q (p  q) (q V p)
10) {[ p  s q]  r q}  [(
p ( r  s] A) VVFF B) VVFV C) VFFV
11) [(pq)  (pr)  (p p)]  [(q  s] D) VFFF E) VVVF
12) {[(p q)  (r  s)]  (p  s)}  ( r  q)
13) {[(p q)  (r  s)]  (p vs)}  ( r  q) 27) Si :
[(p  q)  (p p)]  [(r s)  q]
14) {(p q)  [ p(q r)]}(r p)
15) (p  q)  (r  s)
Es verdadera, cuáles son los valores de p, q, r,
16) [(p  q) q]  p
s respectivamente.
17) [(p  q r] r
18) [(pq) q r)]  (p r)
A) VFFF B) VFVV C) FVFF
19) [(pq) q r)]  (p vr) D) FVVV E) Sin solución
20) p  (q  r)
21) Evalúe el siguiente esquema: pq. El 28) Si se sabe que:
esquema es de tipo : [(p  r)  q]  [(p V p) V (p q)]
A) Contradictorio
B) Consistente es verdadera, hallar los valores de p,q,r
C) Tautológico A) VVV B) FFF C) FVF
D) Indeterminado D) VFV E) No se determina
E) B y D
29) Si la proposición:
22) Simplificar: [(p  q) (p V w)]  s es falsa, se afirma que la
(p q)  ( q V p) siguiente proposición:
[s V( p W) ] V (p  q)
a. Tautología es:
b. Contradicción A) Verdadera
21
B) Falsa A) I y II B) I y III
C) No se afirma nada C) II y III D) Todas E) Sólo II
D) Toma ambos valores de verdad
E) Faltan datos 31) Si la proposición:
( p q) (p  r) es verdadera
30) Si la siguiente proposición compuesta es falsa:
( p q)  (q r) ¿Cuántas son verdaderaS?
Luego: I. ( s  r)  ( p V s)
II. (s  q )  (p V r)
I. (p  q) no es falsa III. ( q  r) V ( p  r)
II. q V s es verdadera
III. q  p es verdadera A) Sólo I B) Sólo II C) I y II
D) I y III E) Todas
Son ciertas:
LEYES LÓGICAS O TAUTOLOGÍAS

I. LEYES LÓGICAS O TAUTOLOGÍAS
6.2. [( p  q)  q]  p
Leyes Lógicas.- Son fórmulas lógicas
cuyas tablas de verdad tienen por
resultado únicamente valores de verdad 4. LEYES DE TRANSITIVIDAD O
“verdaderos”. También se les denomina SILOGISMO HIPOTÉTICO
“tautologías”. 7.1.DEL CONDICIONAL
Características fundamentales de la ley [(p  q)  (q  r)]  (p  r)

lógica:
7.2.DEL BICONDICIONAL
1) La ley permanece al plano
teórico; 2) Su enunciado es [(p  q)  (q  r)]  (p  r)
susceptible de verdad o falsedad;
3) Se expresa en el interior del
cálculo lógico; 4) Su expresión es 5. LEY DEL DILEMA CONSTRUCTIVO
un enunciado lógico; 5) La ley
pertenece al lenguaje lógico. 6) La [(p  q)  (r  s) (p  r)]  (q s )
ley usa los functores o conectivos
u operadores lógicos.
LEYES LÓGICAS IMPORTANTES 6. LEY DEL DILEMA DESTRUCTIVO
1. LEY DEL MODUS PONENDO PONENS O [(p  q)  (r  s)( q s)]  ( p r)

MODUS PONENS
7. LEY DEL DILEMA SIMPLE
[(p  q)  p]  q
[(p  r)  (q  r) (p  q)] r
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
22
conclusión correcta a partir de unas premisas

dadas. . El uso de las reglas de inferencia
SESIÓN 03 garantizan la validez o legitimidad del acto
llamado “operación deductiva” o “inferencia”.
EL RAZONAMIENTO DEDUCTIVO Las características fundamentales de las

reglas lógicas son:
Las Argumentaciones a. La regla se sitúa en el plano práctico, dice
cómo debe hacerse una operación
deductiva.
Un argumento o razonamiento es un sistema
b. Su enunciado es normativo, prescriptivo, y,
de proposiciones (dos o más) en el que una de
por eso, la regla puede ser buena o mala,
ellas, llamada conclusión, se pretende que esté útil o inútil, eficiente o deficiente.
fundada en o se infiera de la/s otra/s, llamada/sc. Se expresa al exterior del cálculo, justifica,
premisa/s. La argumentación puede ser inductiva o garantiza la legitimidad o validez de
deductiva. la deducción.
Un razonamiento deductivo es un sistema de d. Su expresión es enunciado metalógico.
proposiciones (dos o más) en el que se e. La regla pertenece al metalenguaje.
pretende que una de ellas, llamada f. La regla menciona los functores u
“conclusión”, se infiera o derive con el operadores lógicos.
g. A toda regla lógica le corresponde su
carácter de necesidad de la/s premisa/s.
respectiva ley lógica.
Ejemplo de un razonamiento deductivo: “El
REGLAS DE INFERENCIA IMPORTANTES
ladrón entró por la puerta o la ventana. Por
la puerta no entró, como lo ha demostrado la 1. REGLA DEL MODUS PONENDO PONENS O
investigación policial. Por lo tanto, el ladrón MODUS PONENS (MPP)
entró por la ventana.” Tomando el
A partir de un condicional y la afirmación
razonamiento deductivo del ejemplo dado, de su antecedente, es legítimo inferir u
líneas arriba, procedemos a formalizarlo obtener su consecuente
como fórmula lógica, teniendo como Esquema:
resultado la fórmula de la lógica AB
proposicional: [(p  q) p]  q), que es una A
ley lógica (tautología) denominada “Modus B
Tollendo Ponens o Silogismo Disyuntivo.”
2. REGLA DEL MODUS TOLLENDO
Razonamiento Deductivo u operación de TOLLENS O MODUS TOLLENS (MTT)
deducción es aquella operación que consiste en A partir de un condicional y negación de su
que dadas ciertas proposiciones, llamadas consecuente, es legítimo inferir u obtener la
“premisas” se obtenga, se infiera, se derive se negación de su antecedente.
deduzca con el carácter de necesidad una Esquema:
proposición, llamada “conclusión.”, es decir, se AB
pretende que una de ellas, llamada “conclusión”, B
se infiera en forma necesaria de la/s premisa/s.  
Una deducción es una secuencia de enunciados,
los cuales pueden ser o bien premisas o bien se 3. REGLA DEL MODUS TOLLENDO
PONENS O SILOGISMO DISYUNTIVO
han obtenido de la aplicación de un conjunto de (SD)
reglas de inferencia a enunciados anteriores. A partir de una disyunción débil y la negación
de uno de sus disyuntivos, es legítimo inferir u
Reglas de Inferencia.- Son normas, prescripciones, obtener el otro disyuntivo. Esquemas:
licencias que indican cómo debe hacerse la
operación de deducción, a fin de obtener una
23
A B A B consecuente de los dos condicionales dados.

Esquema:
~B ~ A A  B
C  B
A B A C
B
4. REGLAS DE TRANSITIVIDAD O
SILOGISMO HIPOTÉTICO (SH)
A partir de dos condicionales, donde el Los componentes de los razonamientos
consecuente del primero es el antecedente deductivos son las premisas (proposiciones que
del segundo, es legítimo inferir u obtener elimplican a la conclusión), la conclusión
condicional formado por el antecedente del (proposición implicada por las premisas) y las
primero y el consecuente del segundo.
expresiones derivativas. Las expresiones
Esquema:
derivativas tienen por objeto indicar cuál es la
AB
conclusión y cuáles son las premisas. No siempre
BC figuran en los razonamientos, algunas veces están
A  C implícitas. Son de dos tipos: las que se anteponen
a la conclusión, como “luego”, “por tanto”, “por
A partir de dos bicondicionales, de la forma
AB, BC, es legítimo inferir u obtener el consiguiente”, etc., y las que se colocan después
bicondicional de la forma AC. Esquema: de la conclusión, antepuestas a alguna de las
A  B premisas, como “ya que”, “puesto que”, “dado
BC que”, “como” y otras.
A  C Un signo lógico que hace las veces de las
5. REGLA DEL DILEMA CONSTRUCTIVO expresiones derivativas (que separa a las
premisas de la conclusión) es una barra “
Dados dos condicionales y la disyunción _______/“ que se coloca después de las
de sus antecedentes, es legítimo inferir u premisas encolumnadas, al lado derecho se
obtener la disyunción de sus escribe la conclusión.
consecuentes. Esquema:
En los ejemplos que siguen a continuación
A B se podrá observar la barra, que hace las
C  D veces de las expresiones derivativas. Los
AC siguientes ejemplos ilustran los dos tipos de
B  D expresiones derivativas.
6. REGLA DEL DILEMA DESTRUCTIVO Ejemplo 1. “El ladrón “José” entró por la
Dados dos condicionales, y la disyunción de puerta o por la ventana. Por la puerta no
la negación de sus consecuentes, es
entró, como lo ha demostrado la
legítimo inferir u obtener la disyunción de
las negaciones de sus antecedentes. investigación policial. Por lo tanto,
Esquema: (expresión derivativa que se antepone a la
A B conclusión) el ladrón “José” entró por la
CD ventana.” Los componentes del
B D razonamiento deductivo dado son:
 A C
Premisa 1: El ladrón “José” entró por la
7. REGLA DEL DILEMA SIMPLE puerta o por la ventana.
Dados dos condicionales, que tienen el mismo
consecuente, y la disyunción de sus
antecedentes, es legítimo inferir u obtener el
24
Premisa 2: Por la puerta no entró./ temperatura está a 1000 C entonces el agua

Conclusión: Por lo tanto, el ladrón “José” hervirá. La temperatura está a 1000 C. Por
entró por la ventana. consiguiente, el agua hervirá.” Este sistema
de proposiciones formalizadas, equivalente
Formalizando el razonamiento deductivo, al sistema de proposiciones inicialmente
dado, tenemos: dado, también podemos verla o percibirla
como una representación del argumento o
razonamiento deductivo dado. Los
componentes, reestructurados, de éste
Premisa 1: pq razonamiento deductivo son:
Premisa 1: Si la temperatura está a 1000 C
Premisa 2: __ p / Conclusión: q entonces el agua hervirá.
La regla lógica “Modus TollendoPonens o Premisa 2: La temperatura está a 1000 C./

Silogismo Disyuntivo” prescribe lo Conclusión: Por consiguiente, El agua
siguiente: “A partir de una disyunción débil hervirá.
Formalizando el razonamiento deductivo,
y la negación de uno de sus disyuntivos es
dado, tenemos:
legítimo inferir u obtener el otro
Premisa 1: p q.
disyuntivo”, de esta manera justifica, Premisa 2: _p_____/ Conclusión: q.
garantiza la legitimidad o validez de la La regla lógica, “Modus PonendoPonens”,
operación de deducción. Es decir, este prescribe lo siguiente: “A partir de un
conjunto de proposiciones están condicional y la afirmación de su
relacionadas de modo tal, que la antecedente es legítimo inferir su
proposición, llamada conclusión: “El ladrón consecuente.”
“José” entró por la ventana.” Está fundada
o se infiere de las otras dos proposiciones, Ejemplo 3. “Si hace calor, Juan va a la
llamadas premisas. En éste caso, la regla piscina. Si Juan va a la piscina, arregla la
casa después de almorzar. Luego, si hace
lógica del modus tollendoponens o
calor, se arregla la casa después de
silogismo disyuntivo, nos autoriza, nos almorzar.”Procedemos a formalizarlo como
prescribe ha inferir u obtener la conclusión: fórmula lógica, teniendo como resultado la
“El ladròn“José” entró por la ventana.” En fórmula de la lógica proposicional [(pq) 
símbolos: (q r)]  (pr), que es una ley lógica
(tautología) denominada “Ley Lógica
A  B, Silogismo Hipotético o Transitividad” Este
conjunto de proposiciones, formalizadas,
_A__/  B también podemos verlas o percibirlas como
una representación del argumento
Ejemplo 2. “El agua hervirá, dado que orazonamiento deductivo, dado. Los
(expresión derivativa que se coloca después componentes, reestructurados, de éste
de la conclusión) si la temperatura está a razonamiento deductivo son:
1000 C entonces el agua hervirá. La Premisa 1:
temperatura está a 1000 C” Al formalizarlo, Si hace calor, Juan va a la piscina.
Premisa 2:
tenemos como resultado la fórmula lógica:
Si Juan va a la piscina, arregla la casa
después de almorzar.
q  [(pq)  p], que es una ley lógica
(tautología) denominada “Ley Lógica del
Conclusión:
Modus Ponendo Ponens.” Procedemos a
Luego, si hace calor, se arregla la casa
reestructurar el razonamiento deductivo
después de almorzar.
dado, para obtener un razonamiento
deductivo equivalente, tal como: “Si la
25
Formalizando el razonamiento deductivo, 3. Si Juan va a la Unión, se encuentra con

dado, tenemos: Pedro. Juan va a la Unión.
Premisa 1: p  q. 4. Si llovió anoche, las pistas están mojadas.
Premisa 2: q  r/ Conclusión: p r. Llovió anoche.
5. Si voy de paseo, me encuentro con Ana.
La regla lógica, “Silogismo Hipotético o Voy de paseo.
Transitividad”, prescribe lo siguiente: “A 6. Si la policía hace patrullaje urbano,
partir de dos condicionales, donde el captura a los delincuentes. La policía hace
patrullaje urbano.
consecuente del primero es el antecedente
Resolución
del segundo es legítimo inferir el
Formalización: (p  qp
condicional formado por el antecedente del
Razonamiento
primero y el consecuente del segundo”
P1: p  q
¿Cuándo un conjunto de proposiciones no
P2: p_____/q: La policía captura a los
es un razonamiento deductivo? Cuando no delincuentes.
hay ninguna proposición, de las dadas, que
Regla lógica utilizada para hacerla
se afirme sobre la base de las otras. inferencia: Modus PonendoPonens.
Tomemos como ejemplo las proposiciones
7. Si el Atestado Policial prueba que
siguientes: “Llueve mucho. Será mejor que
estafaste, serás privado de tu libertad. El
no salgamos. Podemos postergar la Atestado Policial prueba que estafaste.
excursión para mañana.” Efectuando la Resolución
formalización se tiene la siguiente fórmula: Formalización: (p  qp
Razonamiento
p q  r. Si bien estas proposiciones están
relacionadas en cuanto al contenido, no hay P1: p  q
ninguna que se afirme sobre la base de las P2: p_____/q: serás privado de tú libertad
otras. En consecuencia, no se trata de un Regla lógica utilizada para hacerla
razonamiento deductivo. inferencia: Modus PonendoPonens.
Conclusión y premisas son términos

8. Si los terremotos son fenómenos
relativos. Una misma proposición puede ser
naturales, los terremotos obedecen a
premisa en un razonamiento deductivo y leyes físicas. Los terremotos son
conclusión en otro. Esta circunstancia fenómenos naturales.
origina cadenas de razonamientos
deductivos. 9. Si Gabriel es un alumno-policía que
práctica buenos hábitos, será un policía
PROBLEMAS LÓGICOS disciplinado y responsable. Gabriel es un
APLICANDO LA REGLA DE INFERENCIA DEL alumno-policía que práctica buenos
MODUS PONENDOPONENS hábitos.
[(p  q)  p]  q
10.Si hay igualdad de oportunidades, hay
justicia social. Hay igualdad de
Dadas las premisas infiera o derive una oportunidades.
conclusión.
1. Si Venus es un planeta entonces Venus 11. Si las computadoras bajan de precio, las
brilla con luz refleja. Venus es un personas se educaran. Las
planeta. computadoras bajan de precio.
2. Si son las cinco, la oficina está cerrada.
Son las cinco.
26
12. Dado que los objetos caen, existe

gravedad. Los objetos caen. 6. Si Pedro compró el libro entonces es
propietario del libro. Pedro no es
13. Si Luís no ha pasado de año, no viaja a propietario del libro.
la Argentina. Luís no ha pasado de año.
7. Si un objeto flota en el agua entonces es
14. Si el papel de tornasol se vuelve rojo, la menos denso que el agua. No es menos
solución es un ácido. El papel de denso que el agua.
tornasol se vuelve rojo.
8. Si eres bondadoso y honrado, serás
15. Si el satélite entra en órbita, el proyecto premiado. No serás premiado.
espacial será un éxito. El satélite entra 9. Si  = 1500 entonces Sen = ½. Sen ½.
en órbita. 10. Si Víctor es un graduado universitario
entonces Víctor no es mecánico. Víctor
es mecánico.
A. APLICANDO LA REGLA DE INFERENCIA DEL
MODUS TOLLENDO TOLLENS 11. Teniendo en cuenta que hace frió, bien
[(p q)  q]  p se ve que la gente se abriga. La gente
no se abriga.
Dadas las premisas infiera o derive una 12. Si hoy es día de pago, iré de compras.
conclusión. No iré de compras.
1. Dado que los objetos caen entonces 13. Si Pedro se encuentra en casa, la luz
existe gravedad. No es cierto que los está encendida. La luz no está
objetos caén. encendida.
2. Si es estrella, ese astro tiene luz propia. 14. Si vienes, me voy. No me voy.
Ese astro no tiene luz propia. 15. Si estudio lógica matemática, mejoro mi
Resolución razonamiento deductivo. No mejoro mi
razonamiento.
Formalización: (p  q (q)
16. Si son las siete de la mañana, el avión
Razonamiento partió. El avión no partió.
P1: p  q
APLICANDO LA REGLA DE INFERENCIA DEL
P2: q _____/p: no es estrella.
MODUS TOLLENDO PONENS O SILOGISMO
Regla lógica utilizada para hacerla DISYUNTIVO
inferencia: Modus TollendoTollens. [(p  q)  p]  q
3. Si llueve, la ropa se moja. La ropa no se [( p  q)  q]  p
moja. Resolución
Formalización: (p  q (q)
Dadas las premisas infiera o derive una
Razonamiento
conclusión.
P1: p  q
P2: q _____/p: no llueve. 1. Me llamo Julio o Jorge. No me llamo
Julio.
Regla lógica utilizada para hacerla 2. No viajo a Trujillo o no viajo a Arequipa.
inferencia: Modus TollendoTollens.
Viajo a Arequipa.
3. El policía viajó en auto o avión. El policía
no viajó en avión.
4. Si Carlos no viaja a Tumbes, no se
4. Las Fuerzas Operativas de la Policía
encontrará con Gabriel. Carlos se
Nacional del Perú van al Estadio
encontró con Gabriel.
Nacional o al Mercado de Santa Anita.
Las Fuerzas Operativas de la Policía
5. Si Juan no ésta en clase entonces está
Nacional no van al Estadio Nacional.
de servicio. Juan no está de servicio.
27
5. Maria juega Voley o Básquet. Maria no evita realizar acciones delictivas.

juega básquet. Resolución
6. El paciente tiene sarampión o tifoidea. Formalización: [(pq)  r]  (r s)
El paciente no tiene sarampión.
Razonamiento
7. En Piura llueve o hace calor. En Piura no
llueve. P1: (pq)  r
8. El sol es estrella o satélite. El sol no es P2: r s /(pq)  s: Si un policía es
satélite. profesional y ético, entonces evita
9. En Irak hay guerra o paz. En Irak no hay realizar acciones delictivas
paz.
10. Fujimori será extraditado o liberado.
Fujimori no será liberado. 2. Si se denuncia la comisiòn de un delito,
11. Los funcionarios policiales trabajan con la policìaefectùa la investigaciòn.Si la
hipótesis o refutaciones de hipótesis. policía efectúa la investigación,
Los funcionarios policiales no trabajan establece la responsabilidad de los
con refutaciones de hipótesis. involucrados. Resolución
Formalización: (p  q)  (q r)
12. El reo es culpable o inocente del delito Razonamiento
que se le imputa. El reo no es inocente
P1: p  q
del delito que se le imputa.
P2: q r /p  r:
13. 13. El ladrón entró por la puerta o la Conclusión: p  r: Si se denuncia la
ventana. Por la puerta no entró, como comisión de un delito, entonces la
lo ha demostrado la investigación policía establece la responsabilidad de
policial. los involucrados.
14. Maritza se dedica a la función policial o

se dedica a la función jurisdiccional. 3. Si Elizabeth viaja a Estados Unidos,
Maritza no se dedica a la función visitará a su papá. Si visita a su papá,
jurisdiccional. pasará buenas vacaciones.
15. El accidente de tránsito fue causado por 4. Si los ladrones asaltan el Banco de la
ebriedad del chofer o falla mecánica del Nación, el cajero aprieta el botón de
vehículo. El accidente de tránsito no fue alarma. Si el cajero aprieta el botón de
causado por falla mecánica, de acuerdo alarma, la patrulla policial interviene a
a la investigación policial. los ladrones.
APLICANDO LA REGLA DE INFERENCIA DE

SILOGISMO HIPOTÈTICO O TRANSITIVIDAD 5. Si el Gobierno está a favor de las
nacionalizaciones de las empresas, está
DEL CONDICIONAL: en contra de la empresa privada. Si el
[(p  q)  (q  r)]  (p  r) Gobierno está en contra de la empresa
privada, es comunista.
DEL BICONDICIONAL:
[(p  q)  (q  r)]  (p  r) 6. Si Bertrand Russell fue neopositivista,
conformó el Circulo de Viena. Si
Dadas las premisas infiera o derive una conformó el Circulo de Viena, confiaba
conclusión en la Lógica Simbólica.
Dadas las premisas infiera o derive una
conclusión. 7. Si Luisa obtiene buenas notas, le dan
1. Si un policía es profesional y ético, es una beca. Si le dan una beca, viaja a
responsable de su buena conducta. Si Colombia.
es responsable de su buena conducta,
28
8. Si hay abundancia de peces, habrá P1: p  q

abundante harina de pescado. Si hay
P2: r s
abundante harina de pescado, se
incrementa la exportación. P3: p  r / (q s): Las ciencias
progresan o los pueblos se
9. Si sube la gasolina, subirá la harina de empobrecen.
trigo. Si sube la harina de trigo, subirá
APLICANDO LA REGLA DE INFERENCIA DEL
el precio del pan.
DILEMA DESTRUCTIVO
Dados los razonamientos deductivos
APLICANDO LA REGLA DE INFERENCIA DEL siguientes. Verifique, si dichos
DILEMA CONSTRUCTIVO razonamientos son válidos o inválidos,
Dados los razonamientos deductivos utilizando cualesquiera de las técnicas de
siguientes. Verifique, si dichos validación que se le ha enseñado y usted ha
razonamientos son válidos o inválidos, aprendido.
utilizando cualesquiera de las técnicas de
validación que se le ha enseñado y usted ha 1. Si me encuentro con Pedro, voy a
Chosica. Si me encuentro con Eduardo,
aprendido.
voy a Barranco. No voy a Chosica o no
voy a Barranco. / O no me encuentro
con Pedro o no me encuentro con
1. Si llueve, jugaremos ajedrez. Si el Eduardo.
campo está seco, jugaremos fútbol. O
llueve o el campo está seco. / O
2. Si voy a Chosica, no me encuentro con
jugaremos al ajedrez o fútbol.
Pedro. Si me encuentro con Eduardo,
no voy a Barranco. O me encuentro con
2. Si voy al cine, no estudio. Si no voy a la Pedro o voy a Barranco. / O voy a
fiesta, viene Felipe a Estudiar. Voy al Chosica o me encuentro con Eduardo.
cine o no voy a la fiesta. / No estudio Resolución
o viene Felipe a estudiar. Resolución
Formalización:
(p q)  (rs)  (q s )
Formalización:
Razonamiento
(p q)  (rs)  (p r )
P1: p  q
Razonamiento
P2: r s
P1: p q
P3: q  s / (pr): No voy a Chosica
P2: r s o no me encuentro con Eduardo.
P3: p r / (q s): No estudio o Regla lógica utilizada para hacerla
viene Felipe a estudiar. inferencia: Dilema destructivo.
Si te dedicas a la ciencia, serás un
3. Si se mantiene la paz, las ciencias científico. Si cultivas las artes, serás un
progresan. Si se fomenta la guerra, los artista. O no serás un científico o no serás
pueblos se empobrecen. O se mantiene un artista. / O no te dedicas a las
la paz o se fomenta la guerra. / Las ciencias o no cultivas las artes. Resolución
ciencias progresan o los pueblos se Formalización:
empobrecen. Resolución
(p  q)  (rs)  (qs )
Formalización: (p  q)  (r s)  (p r )
Razonamiento
Razonamiento
29
P1: p  q
P2: r s
P3: q s / (pr): No te dedicas a la
ciencia o no cultivas las artes.
Regla lógica utilizada para hacerla
inferencia: Dilema destructivo.
30
31

2 Logica PDF

Cargado por

Copyright:

Formatos disponibles

2 Logica PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

2 Logica PDF

Cargado por

Copyright:

Formatos disponibles

ESCUELA TECNICA SUPERIOR PNP PUENTE PIEDRA

DESARROLLA CONCEPTOS Y PROCEDIMIENTOS DE LA LÒGICA PROPOSICIONAL, PARA

SESIÓN N°01 evaluando primero las proposiciones

Lógica Proposicional.- Es aquella parte de Ejemplos:

vez. Expresan la afirmación o negación de Si p

La expresión “no es el caso que”, “ es falso Ejemplos

Luís son deportistas.” Esta oración compuesta Si A e incluso B // simultáneamente A con B //

Proposiciones Disyuntivas Débiles o interacción social al compartir e intercambiar

excluyente)// A alternativamente que B (en Estas oraciones expresan una condición de

Proposiciones Condicionales o Implicativas La oración condicional construida con el

braquial.” La oración condicional primigenia la siguiente: La primera proposición se llama,

Ingresará a la universidad porque(si) ha Regla Metalógica:

Conectivo Lógico u Operador Lógico“” Sí y sólo si n es par, n es múltiple 2.

La sugerencia de Rosa es idéntica a la orden nombre de función de Nicod, aunque fue

Es necesario y suficiente que Sandra viaje a

Ni Cesar Vallejo es francés ni Antonio Machado es Función: vincular dos proposicionesnegadas,

Con la incompatibilidad lo único que se quiere e) Cuatro es divisible por 2. …e y p….

k) Si me pagan en la UNMSM, entonces (V ) Solamente cuando el antecedente es

artista y la Época” o “Temas de ( V) Basta que el consecuente sea verdadero

divisible entre dos y que no sea par. A) FV B) FF C) VV D) VF

n) Si a un número par le sumo otro número

08. Dada la proposición : “Si estudio, triunfo.

correspondencia con la en la realidad

como éste es el oficio específico de la de las reglas metalógicas que permite

Fórmulas proposicionales contingentes o

Ejercicio 2. Evaluar la fórmula:

Fórmulas proposicionales contradictorias

LEYES LÓGICAS O TAUTOLOGÍAS

Características fundamentales de la ley [(p  q)  (q  r)]  (p  r)

LEYES LÓGICAS IMPORTANTES 6. LEY DEL DILEMA DESTRUCTIVO

1. LEY DEL MODUS PONENDO PONENS O [(p  q)  (r  s)( q s)]  ( p r)

3. LEYES DEL MODUS TOLLENDO PONENS

conclusión correcta a partir de unas premisas

EL RAZONAMIENTO DEDUCTIVO Las características fundamentales de las

A B A B consecuente de los dos condicionales dados.

Premisa 2: Por la puerta no entró./ temperatura está a 1000 C entonces el agua

La regla lógica “Modus TollendoPonens o Premisa 2: La temperatura está a 1000 C./

Formalizando el razonamiento deductivo, 3. Si Juan va a la Unión, se encuentra con

Conclusión y premisas son términos

12. Dado que los objetos caen, existe

5. Maria juega Voley o Básquet. Maria no evita realizar acciones delictivas.

14. Maritza se dedica a la función policial o

APLICANDO LA REGLA DE INFERENCIA DE

8. Si hay abundancia de peces, habrá P1: p  q

También podría gustarte