Logica Proposicional Usat 2019 - I Ing. Sistemas y Comp

Facultad de Ingeniería
Escuela de Ingeniería de Sistemas y Computación
LÓGICA PROPOSICIONAL
David Gonzáles López

I. ¿QUE ES LA LÓGICA?
- Etimológicamente viene de la palabra griega  (logos) ; que significa pensamiento o

razón.
- Estudia el buen hablar, el buen decir, el razonar correctamente.
- La lógica es el estudio de los métodos y principios que se usan para distinguir el

razonamiento bueno (correcto) del malo (incorrecto). (Copy, 1998).
- La lógica es la ciencia que estudia las leyes del pensamiento, su estructura, sus formas y
relaciones ( Ibarra, 1998)
- La Lógica es una ciencia que estudia los métodos o procedimientos que aplican definiciones
y leyes o reglas con el propósito de determinar la validez o invalidez de las inferencias (
Rosales, 1994)
- La Lógica es la disciplina que trata de los métodos de razonamiento (Veerarajan, 2008)
- Otros en lugar de razonamiento usan inferencia (matemáticas)
- Razonamiento correcto= Inferencia válida
- En la filosofía contemporánea se usa argumento válido.
II. OBJETO DE ESTUDIO DE LA LÓGICA
La lógica estudia LA INFERENCIA
La inferencia es un proceso mental( psicológico) que consiste en pasar de un conjunto de

premisas a una conclusión.
También, la inferencia es una estructura de proposiciones que consiste en pasar de un

conjunto de premisas a una conclusión.
Así :
P1
P2
.
.
Pn
C
También : ( P1 , P2 ,... , Pn )  C
Donde: P1 , P2 , ... , Pn son premisas y C : la conclusión
1
Los matemáticos usan inferencia porque el razonamiento es un fenómeno psicológico

relacionado con el pensamiento que puede ser subjetivo, una ciencia como la lógica y la
matemática no deben ser subjetivos.
Ejemplos de razonamientos o inferencias:
Lima está en el Perú
El Perú está en América
Luego, Lima está en América
Si hacemos publicidad por Tv, habrá muchas ventas
No hubo muchas ventas
Luego, No se hizo publicidad por Tv.
Jean Piaget aportó a la psicología o a la historia universal
Jean Piaget no aportó a la historia universal
Por lo tanto, Jean Piaget aportó a la psicología
La USAT está en Chiclayo o Trujillo
La USAT no está en Trujillo
Luego, La USAT está en Chiclayo
III. IMPORTANCIA DE LA LÓGICA
- Es el fundamento del conocimiento matemático y de la gran mayoría de las ciencias. El

razonamiento lógico se emplea en matemáticas para demostrar teoremas, en ciencias de la
computación para verificar la coherencia de los programas de computadora, en las ciencias
físicas y naturales, para sacar conclusiones de los experimentos, y en las ciencias sociales y
en la vida cotidiana, para resolver problemas.
- Hace posible el avance de la ciencia y la Tecnología.
- Gracias a la lógica podemos hacer predicciones. Predecir significa pasar de una verdad
presente a una verdad futura.
- Nos proporciona reglas y técnicas para determinar si es o no valido un argumento dado.
2
IV. LÓGICA PROPOSICIONAL
La lógica proposicional es la rama del conocimiento que trata sobre la verdad o falsedad de
las proposiciones y de cómo la verdad se transmite de una proposiciones(premisas) a otras
(conclusión).
4.1. Enunciados y valor de verdad
Enunciado. Es toda expresión linguística, que constituye una frase u oración.
Es todo concepto, juicio u oración.
Ejms:
- Pizarra
- ¿Qué edad tienes?
- El Perú está en América.
- Hola
- (2)(5) – 3=8
- María es profesora.
- Juana es hermosa.
- x 3 7
- Prohibido fumar.
- 5 es un número par
- 2x  y  5
- La lógica es una ciencia.
- La suma de los ángulos internos de un triángulo es 180º.
-El Perú y Ecuador limitan con el océano pacífico.
Proposición. Es un enunciado que tiene la propiedad de ser verdadero o falso, pero no ambos
a la vez. La verdad o falsedad de una proposición es lo que se llama valor de verdad.
Ejemplos:
Son proposiciones lógicas:
a) Las fórmulas científicas ya demostradas.
1. (a  b) 2  a 2  2ab  b 2 ; a, b  R
2. Si a  b  a 2  b 2 ; a , b  R
3
b) Las leyes o hipótesis científicas aceptadas.
1. “Todo cuerpo ejerce una fuerza de atracción sobre otro”
2. “El cambio de movimiento es proporcional a la fuerza motriz impresa y ocurre según la

línea recta a lo largo de la cual aquella fuerza se imprime” ( 2ª ley de Newton)
c) Los enunciados cerrados o definidos. Aquellos enunciados que pueden ser calificados(de
manera real o hipotética) como verdadero o falso.
1.       180 , si  ,  y  son ángulos internos correspondientes a un mismo

triángulo.
2. x  y  50; si x  10 , y  30
3. La USAT tiene convenios internacionales.
4. Todos los hombre son mortales
5. 7 es número par.
6. El agua se congela a cero grados centígrados.
7. 2+1=3
8. Carlos, José y Nelly son hermanos.
9. Jaime es Psicólogo o Licenciado en Economía
10. La distancia mas corta entre dos puntos es la línea recta.
Conclusión: Toda proposición es un enunciado, pero no todo enunciado es proposición.
No son proposiciones lógicas ( expresiones no proposicionales)
a) Las creencias, mitos o leyendas.
1. “Dios es un ser misericordioso”
2. Manco Capac y Mama Ocllo fueron enviados por el sol”
b) Las metáforas o refranes.
1. “El Perú es un mendigo sentado en un banco de oro”
2. “Has el bien sin mirar a quien”
3. “Chiclayo ciudad de la amistad”
c) Las supersticiones.
1. “Hoy día martes 13, no te cases ni te embarques ni de tu casa te apartes”
4
2. pasé por debajo de una escalera entonces tendré mala suerte”
d) Las preguntas, órdenes, exclamaciones, comunicación de sentimientos y actitudes, deseos,

emociones, etc.
1. ¿Qué edad tienes?
2. Cierra la puerta
3. Prohibido fumar
4. ¡Viva el Perú!
5. Quisiera visitar los museos mas importantes del mundo.
6. El viento de la noche gira en el cielo y canta (Pablo Neruda)
7. Hermosas azucenas tienes en los cabellos, yo no he visto de esas en el jardín (Jorge

Isaacs)
e) Las palabras que expresan conceptos.
1. Pizarra
2. Mesa
3. Universidad
4. Hola
5. Cinco
Observación
Pérez (2009) manifiesta que la proposición es una expresión declarativa que puede ser
calificable de verdadera o falsa. No sucede así con la simple oración que a pesar de tener
sentido completo no tiene valor de verdadera o falsa. Como ejemplos de oraciones se pueden
dar los siguientes: ¿qué hora es, por favor? , ¡Ojalá haga buen día mañana! o los mandatos:
“Publíquese y cúmplase”.
Enunciado abierto ( Proposicion abierta)
Son aquellos cuyo valor de verdad depende del valor que se le asigne a las variables x , y ,
etc.
Llamado también función proposicional, es un enunciado en el que intervienen una o mas

variables, que admiten la posibilidad de convertirse en una proposición lógica cuando la
variable asume un valor determinado. Los enunciados abiertos usan palabras como. “el”, “ella”
y los símbolos x, y, z etc. no son proposiciones pero cuando se reemplazan estas palabras o
símbolos por un determinado objeto o valor resultan ser proposiciones.
5
Ejemplos:
1. Ella es una actriz peruana
2. x 2  8x  16
3. m  n  3
4. Sea " n" un número impar.
4.2 Simbolización de proposiciones
A las proposiciones las podemos denotar o simbolizar por las letras minúsculas del
Abecedario, generalmente por : p,q,r,s,t,… etc.
Como ocurre en otras ciencias, es necesario en lógica utilizar un lenguaje simbólico especial
que elimine los rasgos que no nos interesan y pongan de manifiesto lo que si nos interesan.
En lógica nos interesa saber cómo están combinadas las proposiciones, y no nos interesa en
absoluto su significado. Por ello necesitamos unos símbolos que prescindiendo del significado
de las proposiciones nos indiquen la forma en que se combinan. Estos símbolos constituyen
un lenguaje formal.
Las proposiciones simples o atómicas pueden ser sustituidas por letras minúsculas p,q,r, s, t,
etc. denominadas variables proposicionales.
La operación consiste en sustituir las expresiones del lenguaje natural por símbolos lógicos,
a la cual llamaremos formalización y la proposición debidamente formalizada la llamaremos
fórmula.
Ejemplos:
1. Mario Vargas llosa obtuvo el premio Nobel de Literatura 2010
Fórmula: p  Mario Vargas llosa obtuvo el premio Nobel de Literatura 2010
2. Siete es número par
Fórmula: p  Siete es número par
3. Juan estudia derecho y psicología
p  Juan estudia derecho
q  Juan estudia psicología
Fórmula o simbolización: p  q
4. Si estudio todos los días, entonces aprobaré lógica
p  Estudio todos los días
q  Aprobaré lógica
Fórmula o simbolización: p  q
6
4.3. Conectivos lógicos
Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan,
unen o enlazan a las proposiciones simples formando proposiciones compuestas. Los
operadores o conectivos básicos son:
CONECTIVO SIMBOLO NOMBRE DE LA PROPOSICIÓN
No  Negación
Y  Conjunción
o  Disyuntiva inclusiva
o. . . o. . .  Disyuntiva exclusiva
Si . . . entonces  Condicional
. . . si y sólo si . . .  Bicondicional
4.4. Clases de Proposiciones
a) Proposiciones simples, atómicas o no estructurales.
Son aquellas que tienen un solo sujeto, un solo verbo y un solo predicado, y sin el término
“no” en su estructura.
Carecen de conector lógico, no se componen de otras proposiciones.
Ejemplos:
1. Sócrates nació en Atenas.
2. El Perú está en América.
3. (2)(5) – 3=8
4. Cinco es un número impar.
5. La suma de los ángulos internos de un triángulo es 180º.
6. María canta, baila y cocina en su casa. ( No es proposición simple)
7. La luna no es un satélite de la tierra. ( No es proposición simple)
Observación
La proposición “ La Luna no es un satélite de la tierra” no es una proposición simple porque

podemos desintegrarla en:
- La luna es un satélite de la tierra.
- no
7
Simbólicamente es :  p  La Luna no es un satélite de la tierra.
El término “no” es considerado como molécula de una proposición simple. Luego, “La Luna
no es un satélite de la tierra” es una proposición molecular.
Las proposiciones simples o atómicas a su vez pueden ser:
i) Predicativas: Cuando se le atribuye alguna cualidad al sujeto ( utiliza el verbo SER en

cualquiera de sus tiempos).
Ejemplos:
- Chiclayo es llamada ciudad de la amistad.
- La Luna es un satélite de la tierra.
- Federico Villarreal fue un matemático lambayecano.
ii) Relacionales: Cuando se compara un sujeto con otro mediante una relación que puede ser
de orden, tiempo, espacio, parentesco, acción, etc.
Ejemplos:
- Vallejo con Mariátegui fueron literatos contemporáneos. ( Relación de tiempo)
- La selección peruana de vóley jugó un partido intenso con su similar de cuba. (Relación de
acción)
- Carlos es hermano de María (Relación de parentesco)
b) Proposiciones compuestas, moleculares o coligativas.
Son aquellas que están constituidas por más de una proposición unidas por términos llamados
conectivos lógicos. Los conectivos lógicos son: “y” , “o”, “si…entonces”, “si y solo si”, “no” ,
etc.
Ejemplos:
1. Mario Vargas Llosa no es escritor.
2. La pizarra es blanca y el plumón es azul.
3. Doce es número par o múltiplo de 3.
4. Si la atmósfera tiene carga radiactiva entonces la humedad es dañina para la salud.
5. El agua se congela si y sólo si la temperatura está bajo cero.
6. El avión tuvo dificultades pero logró aterrizar.
7. La piscina está temperada si hay calefacción.
8
4.5. Valores de verdad
A la verdad (V) o a la falsedad (F) de una proposición se le llama valor de verdad y se denota
por: V(p)=V ; V(p)=F
A toda proposición podemos atribuirle un valor de verdad. Es verdadero (V) o es falso (F).
Número de valores de verdad
NV  2 n , donde n  número de proposiciones y NV  número de valores de verdad.
Así :
p q r
p V V V
V V V F
p q
F V F V
V V
V F F
V F
F V V
F V
F V F
F F
F V V
F V F
4.6. Operaciones con proposiciones ( Tipos de proposiciones compuestas)
Negación
El conectivo de la negación no une proposiciones, es un conectivo singular, que afecta a

proposiciones simples y compuestas. Se denomina proposición negativa aquella que cambia
el valor de la proposición original. Cumple la función de negar una afirmación o de afirmar una
negación.
Notación:  p
Se lee: “ no p ”
La negación puede traducirse como:
No es cierto que … Nadie que sea … Jamás …
Es falso que … No es el caso que… Es inconcebible que …
Nunca … No es verdad que … Es imposible que …
9
No ocurre que … Es absurdo que … Es erróneo que …
Es mentira que … No acaece que … De ningún modo …
No sucede que … Es inadmisible que … Es incierto que …
Es refutable que … Es falaz que … En modo alguno …
Ejemplos:
1. p  INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la Protección

de la Propiedad Intelectual.
 p  Es falso que INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la

Protección de la Propiedad Intelectual.
2. Lima no está al sur de Chile
p  Lima está al sur de Chile
 p  Lima no está al sur de Chile
3. Negar las siguientes proposiciones
p : Napoleón nació en Italia.
q : 3  2 1
r : 4x  1  7
s : 3x  4  10
t: 57
Solución
 p : Es falso que Napoleón nació en Italia.
 q : 3  2 1
 r : 4x  1  7
 s : 3x  4  10
t : 57
10
Tabla de verdad
p p
V F
F V
Conjunción
La conjunción es la unión de dos o más proposiciones mediante el conectivo “y”
Notación: p  q
Se lee: “ p y q ”
Hay otros términos como pero, sin embargo, además, no obstante, a la vez que, etc. que
hacen el papel de conjunción lógica generalmente.
En nuestro lenguaje podemos emplear:
Pero Aún cuando No obstante
Sin embargo Al igual que Aunque
Además Tanto …como … Más aún
Ala vez Siempre ambos … con … También
Incluso No sólo … sino también … Es compatible con
Así como A pesar de Así mismo
Del mismo modo …con … los dos a la vez De la misma forma que
Ejemplos:
1. Diez es número par y múltiplo de cinco.
p  Diez es número par
q  Diez es múltiplo de cinco
Simbólicamente: p  q
2. Tanto el Perú como Bolivia producen cobre.
p  El Perú produce cobre
11
q  Bolivia produce cobre
3. Roxana estudia al mismo tiempo que escucha música.
4. María está enferma sin embargo asiste a clases.
5. Carlos es político pero honesto.
6. Cuando viajaba al norte perdí mis documentos.
7. Carlos tomó veneno y murió. (No es conjunción)
Observación
La proposición (7) a pesar de que lleva la partícula “y” como término de enlace, no se puede
simbolizar como una conjunción lógica, porque si aplicamos la propiedad conmutativa el
enunciado cambia totalmente de sentido(Rosales, 1994)
Tabla de verdad
p q pq
V V V
V F F
F V F
F F F
Disyunción
Es la unión de dos o más proposiciones por medio del conectivo “ o “
Según el sentido del conectivo “ o “, se puede interpretar de dos maneras: Inclusiva o

exclusiva.
a) Disyunción inclusiva o débil
En esta proposición se pueden dar las dos posibilidades.
Notación: p  q
Se lee: “ p o q ”
En el lenguaje ordinario, el uso del término “ o “ es ambiguo, pero esta ambigüedad se resuelve
comúnmente añadiendo las palabras “ o ambos a la vez” o “pero no ambos a la vez”
12
Otras formas de conexión que nos indican una disyunción inclusiva son:
A menos que O en todo caso
Excepto que O también
Salvo que O incluso
A no ser que O bien
Y bien o también Al menos uno de los dos … o …
O sino Alternativamente
Ejemplos:
1. Doce es número par o múltiplo de cuatro.
p  Doce es número par
q  Doce es múltiplo de cuatro.
Simbólicamente: p  q
2. Mañana estudiaremos Química o sino estudiaremos Física.
p  Mañana estudiaremos Química
q  Mañana estudiaremos Física
Simbólicamente: p  q
3. Jaime estudia Psicología o Administración.
4. Mañana viajo a Trujillo o a Piura.
5. El Lago Titicaca está en Perú o Bolivia.
6. Los peces respiran por branquias o son acuáticos.
7. El actual canciller peruano habla inglés o francés.
13
Tabla de verdad
p q pq
V V V
V F V
F V V
F F F
a) Disyunción exclusiva o fuerte.
En esta proposición se da una sola posibilidad.
Notación: pq
Se lee: “ p o q , pero no ambos”
Otras formas de conexión que nos indican una disyunción exclusiva son:
O…o… … no equivale a …
O bien … o bien … No es cierto que … equivale a …
No es equivalente … con … O solo … o solo …
… a menos que solamente … … salvo que únicamente …
… excepto que sólo … … o bien necesariamente …
… o exclusivamente … … no es idéntico a …
… no es lo mismo que … Salvo que … o …
Ejemplos:
1. O el actual canciller peruano habla inglés o habla francés, pero no ambos ala vez.
p  El actual canciller peruano habla inglés
q  El actual canciller peruano habla francés.
Simbólicamente: pq
14
2. Catorce es número par o impar.
p  El actual canciller peruano habla inglés
q  El actual canciller peruano habla francés.
Simbólicamente: pq
3. Mañana viajo a Trujillo o a Piura a las 7:00 am.
4. Este año viajaré al extranjero salvo que únicamente viaje a Lima.
5. El hombre es un ser racional o irracional.
La fórmula : pq  (p  q)   ( p  q ) cumple con la regla de la disyunción exclusiva. Se

puede usar esta fórmula para interpretar todo conectivo “ o “ que tiene sentido de disyunción
fuerte.
Tabla de verdad
p q pq
p q (p  q)   (p  q)
V V F
V V V F F V
V F V
V F V V V F
F V V
F V V V V F
F F F
F F F F V F
Condicional
Es la unión de dos proposiciones por medio del conectivo “ si … entonces”. La proposición

que aparece entre “si” y “entonces” se llama antecedente, y la proposición que sigue a la
palabra “entonces” se llama consecuente.
Notación: p  q
donde p : se llama antecedente o hipótesis y q : consecuente o conclusión
Se lee: “ Si p entonces q ”
“ p es necesario para q ”
“ q es implicado por p “
“ q se deduce de p ”
“ q solo si p ”
Los términos puesto que, porque, ya que, dado que, de modo que, en vista de que, cuando,
cada vez que, etc. expresen formas condicionales (unen proposiciones condicionalmente),
15
con la característica de que antes de cada una de estas conectivas aparece el consecuente,
y después de ellas el antecedente.
En nuestro lenguaje también podemos emplear :
Si p, entonces q p luego q
Siempre que p entonces q p por tanto q
q siempre que p p por consiguiente q
p es suficiente para q p por ende q
p implica q p por conclusión q
Ya que p bien se ve que q Dado que p por eso q
En cuanto p por tanto q Porque p por eso q
Ejemplos:
1. Si la producción es buena habrá mayor rentabilidad de la empresa.
p  La producción es buena.
q  Habrá mayor rentabilidad de la empresa
Simbólicamente: p  q
2. Si la temperatura está bajo cero el agua se congela
p  La temperatura está bajo cero
q  El agua se congela
3. El agua se congela ya que la temperatura está bajo cero.
p  El agua se congela
q  La temperatura esta bajo cero
Simbólicamente: q  p
4. El avión despegará a menos que la neblina cubra el aeropuerto.
p  El avión despegará.
q  La neblina cubre el aeropuerto.
Simbólicamente:  q  p también :  p  q
16
5. Subirá el precio del pan porque subió el precio de la gasolina.
6. La producción agrícola bajo, dado que hubo escasez de abono.
7. Carlos viajará al extranjero si obtiene su visa.
8. El producto marginal crece cada vez que el producto total decrece.
9. Cuando la temperatura está por encima de 30º hace mucho calor.
Tabla de verdad
p q pq
V V V
V F F
F V V
F F V
Bicondicional
Es la unión de dos proposiciones por medio del conectivo “si y sólo si”
Notación: p  q
Se lee: “ p si y sólo si q ”
“ p es condición necesaria y suficiente para q ”
La proposición bicondicional se puede interpretar como la conjunción de dos condicionales.
Así: p  q  (p  q)  (q  p)
y se lee “ p implica a q y q implica a p ”
Además se tiene:
p  q   (p  q)
También se suele emplear expresiones como:
… siempre y cuando … Es suficiente para que suficiente sea
… es equivalente a … Es condición necesaria y suficiente para
… es lo mismo que … … por lo cual y según lo cual
… cuando y sólo cuando … … cada vez que sólo si …
17
Si y sólo si p, q … si de la forma …
… siempre que y sólo cuando … … implica y está implicado por …
… es idéntico a … Siempre que … y siempre que …
Ejemplos:
1. Un número es divisible por dos si y sólo si es un número par.
p  Un número es divisible por dos
q  Es un número es par.
Simbólicamente: p  q
2. Si un número es divisible por dos entonces es un número par, y si es un número par

entonces es divisible por dos.
p  Un número es divisible por dos
q  Es un número es par.
Simbólicamente: (p  q)  (q  p)
3. El que yo te sonría es lo mismo que yo te enamore.
p  Yo te sonrío
q  Yo te enamoro.
4. Estados Unidos es un país desarrollado equivale a decir Estados Unidos es una potencia
mundial.
p  Estados Unidos es un país desarrollado
q  Estados Unidos es una potencia mundial
5. Aprobaré lógica si y sólo si estudio a conciencia.
6. La condición necesaria y suficiente para cocinar bien es tener buena sazón
6. 25  5 si y sólo si 5 2  25
7. a  c  b  c si y sólo si a  b , a , b  R
8. Un polígono es hexágono regular si y sólo si tiene seis lados iguales.

18
Tabla de verdad
p q pq
V V V
V F F
F V F
F F V
4.7. Simbolización de proposiciones compuestas – ejemplos diversos
La simbolización de proposiciones compuestas consiste en la representación del lenguaje

ordinario o natural mediante el lenguaje simbólico. Para ello se debe tomar en cuenta que
cada proposición simple debe ser simbolizada por una variable proposicional (p , q, r, etc.), y
que los términos de enlace deben ser simbolizados por operadores proposicionales
(conectivos lógicos) que las interpreten.
Toda proposición molecular simbolizada tiene un término de enlace dominante, que le da el

nombre a la proposición compuesta.
Los signos de agrupación (paréntesis, corchetes, llaves) se utiliza en la simbolización para

indicar el alcance de cada operador y de esta manera evitar la ambigüedad en las fórmulas.
En muchos casos sin los signos de agrupación las fórmulas hasta carecerían de sentido.
Simbolizar las siguientes proposiciones compuestas.
1. Si hay lluvias en el norte y el gobierno no distribuye abono, entonces la producción agrícola

no crecerá.
p  Hay lluvias en el norte
q  El gobierno distribuye abono
r  La producción agrícola crecerá
Simbólicamente: ( p   q )   r
2. El Perú no tendrá problemas fronterizos si los hitos demarcados son visibles.
p  El Perú tendrá problemas fronterizos
q  Los hitos demarcados son visibles
Simbólicamente: q   p
3. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad
p  Cientos de vidas podrían salvarse cada año
19
q  La gente utiliza el cinturón de seguridad
Simbólicamente: q  p
4. O Carmen estudia inglés y francés, o visita a sus amigos y busca información.
p  Carmen estudia inglés
q  Carmen estudia francés
r  Carmen visita a sus amigos
s  Carmen busca información

Simbólicamente: (p  q )  (r  s)
5. Es falso que Jaime no sepa tocar guitarra y no componga una melodía, puesto que es
egresado del conservatorio de música.
p  Jaime sabe tocar guitarra
q  Jaime compone una melodía
r  Jaime es egresado del conservatorio de música
Simbólicamente: r  ( p   q )
6. Cuando llovía a cántaros murió Vallejo.
p  Llovía a cántaros
q  Murió Vallejo
En este caso la forma lógica de la proposición es conjuntiva, porque el sentido de la

proposición es “llovía a cántaros y a la vez moría vallejo”
7. Cuando el cielo está nublado hace frío.
p  El cielo está nublado
q  Hace frío
En este caso la forma lógica de la proposición es condicional, porque el sentido de “cuando”

es de “ si … entonces”.
8. Argentina limita con el Océano pacífico aunque el Perú limita también con el Océano
Pacífico.
p  Argentina limita con el Océano Pacífico
20
q  Perú limita con el Océano pacífico
“Aunque” hace el papel de conjunción, como se puede apreciar en el sentido de la proposición.
9. Aunque llueva iré a verte.
p  Llueve
q  Iré a verte
Simbólicamente: ( p   p )  q
En este caso “aunque” indica “llueva o no llueva iré a visitarte”. También puede interpretarse
así: (p  q )  ( p  q )
10. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente después de cada

parto la sangre del recién nacido y, si ésta es Rh positivo, ha de administrarse a la parturienta
el suero apropiado si se desea evitar complicaciones a otros hijos.
p  El Rh de la futura madre es negativo.
q  Debe analizarse inmediatamente después de cada parto la sangre del recién nacido..
r  La sangre del recién nacido es Rh positivo.
s  Ha de administrarse a la parturienta el suero apropiado.

t  Se desea evitar complicaciones a otros hijos.
Fórmula o simbolización: (p  q)   r  (t  s) 
4.8. Tautología, contradicción y contingencia
Tautología. Un esquema molecular es una tautología si en la columna resultante aparecen

valores de verdad verdaderos ( V )
Contradicción. Un esquema molecular es una contradicción si en la columna resultante

aparecen valores de verdad falsos ( F)
Contingencia. Un esquema molecular es una contingencia si en la columna resultante

aparecen valores de verdad: verdaderos y falso ( V, F )
4.9. Equivalencia de las proposiciones
Sean A y B dos proposiciones compuestas. Se dice que la proposición A es equivalente a

la proposición B si tienen tablas de verdad idénticas. También se dice que A equivale a B
cuando unidas A y B por el bicondicional y aplicada la regla correspondiente, se obtiene
como resultado una relación lógicamente verdadera o una tautología.
21
La equivalencia de dos proposiciones A y B se indica como A  B o A  B ( lo que se

lee como A es equivalente a B )
Ejemplo
Sean las proposiciones compuestas A  p  q y B  q  ~ p , determinar si A es

equivalente a B .
Solución
p q ( p  q )  ( q  ~p )
V V V V V F
V F F V F F
F V V V V V
F F V V V V
Observamos que A es equivalente a B
4.10. La implicación
Sean A y B dos proposiciones compuestas. Se dice que la proposición A implica a otra

proposición B cuando unidas por el condicional, estando A como antecedente y B como
consecuente resulta una tautología.
Ejemplo
Sean las proposiciones compuestas A  p  q y A  p  q , determinar si A es equivalente

a B.
Solución
p q ( p  q )  ( pq )
V V V V V
V F F V V
F V F V V
F F F V F
Como el resultado es una tautología, entonces ( p  q ) implica a ( p  q )
22
V. LEYES DE LA LÓGICA PROPOSICIONAL
1. Idempotencia
1.1. p  p  p
1.2. p  p  p
2. Asociativa
2.1. (p  q)  r  p  (q  r )
2.2. (p  q)  r  p  (q  r )
2.3. (p  q)  r  p  (q  r )
3. Conmutativa
3.1. p  q  q  p
3.2. p  q  q  p
3.3. p  q  q  p
4. Distributiva
4.1. p  (q  r )  (p  q )  (p  r )
4.2. p  (q  r )  (p  q )  (p  r )
4.3. p  (q  r )  (p  q)  (p  r )
4.4. p  (q  r )  (p  q)  (p  r )
5. Absorción
5.1. p  (p  q)  p
5.2. p  (p  q)  p
6. Complemento
6.1.  p  p
6.2 p   p   p  p  F
6.3 p   p   p  p  V
6.4  F  V
23
6.5  V  F
6.6 p  p  V
6.7 p  p  V
7. Identidad
7.1 p  V  V  p  p 7.5 V  V  V
7.2 p  F  F  p  F 7.6 V  F  F
7.3 p  V  V  p  V 7.7 F  F  F
7.4 p  F  F  p  p 7.8 F  V  V
8. De Morgan
8.1  (p  q )   p   q
8.2  (p  q )   p   q
9. Definiciones
9.1 p  q   p  q
9.2 p  q  (p  q)  (q  p)
9.3 p  q  (  p  q )  (  q  p)
9.4 pq  (p  q )   ( p  q )
Simplificación de proposiciones
La aplicación de las leyes de la lógica proposicional permite simplificar proposiciones

moleculares, reducir una proposición compuesta a una proposición más simple, generalmente
de menos variables proposicionales y relacionadas con las conectivas "" , "" , o . En
algunos casos se reduce a una tautología o a una contradicción
Ejemplos
1.Simplificar la siguiente proposición: p  (~ p  q)  q
Solución
p  (~ p  q)  q  (p ~ p)  (p  q)  q ……. Ley 4.1
 F  (p  q)  q ……. Ley 6.2
24
 (p  q)  q ……. Ley 7.4
q ……. Ley 5.2
2.Simplificar la siguiente proposición: ~ (p ~ q)  (~ q  p)
Solución
~ (p ~ q)  (~ q  p)  ~ (~ p ~ q)  (~ q  p) ……. Ley 9.1
 (~ ~ p ~ ~ q)  (~ q  p) ……. Ley 8.2
 (p  q)  (~ q  p) ……. Ley 6.1
 ( p  q )  ( p ~ q ) ……. Ley 3.2
 (p  q)  p ~ q ……. Ley 2.1
 p ~ q ……. Ley 5.2
TRABAJO 02
LÓGICA PROPOSICIONAL
1.Construir la tabla de verdad de las siguientes proposiciones, luego indicar si se trata de una
tautología, contradicción o contingencia.
a) (p ~ q)  q  (~ q  p)
b) ~ (~ q  p)  p  (~ p  q)
c) (p  ~ q )  (~ p  q )
d)  (~ p  r) ~ q  ~  (~ r  p)  q 
e) (p ~ q)  (~ p ~ q)
f) (p ~ r) ~ q   (~ q  p) ~ r 
g) ~  ~ (q  p) ~ r   (p ~ q)  r 
h) (~ p  q  r) ~ q  q  (~ p  q)
i) (p ~ q) ~ (p  q)
25
j) (p ~ r) ~ q   ~ (~ r ~ p) ~ q 
2. Si la proposición: (p ~ q)  (~ r  s) es falsa, hallar el valor de verdad de p, q , r y s
3. Dadas las proposiciones q : “ 14 es un número impar “ , p y r cualesquiera tal que

~ (r  q)  (r  p) es verdadera, hallar el valor de verdad de las siguientes proposiciones
compuestas
a) A  r  (~ p ~ q) b) B   r  (p  q)   (q ~ q)
4. Si la siguiente proposición: ~ (~ p  q)  (r  q)  (~ p  q)  (q ~ p) es verdadera,
hallar los valores de verdad de p, q y r
5. Si la proposición (~ p  q )  (~ s  r ) es falsa, hallar el valor de verdad de las siguientes

proposiciones:
a) A  (p ~ q)  (r  s) b) B ~ s  (m  q )
6. Sabiendo el valor de verdad de la proposición compuesta:
~ (p  r)  q  (p  q)s   (sp)  t  es siempre falso.

Determinar el valor de verdad de las proposiciones: p, q, r , s y t
7. Se sabe que :
t  ( r  s)  ~ r
u  ( r ~ s )  r
Si t es falso y u es verdadero, determinar el valor de verdad de (r  u)  (ts)  ~ t
8. Se sabe que :
r  (pq) ~ p
s  (~ p  q)  p
Si r es verdadero y s es falso, determinar el valor de verdad de (p  s)  (r  s) ~ q
9. El valor de verdad de la siguiente proposición: (r  s)  (p ~ s)  (q ~ s) es falso,

hallar el valor de verdad de las proposiciones p, q , r y s
26
10. Sabiendo que:
p q pq
V V V
V F V
F V F
F F V
y si (p  q)  r   s es falso
Hallar los valores de verdad de:
a) p  r b) s  r c) ~ p  q
11. Si ~ p  q  (r  p)  t  es una proposición falsa, hallar el valor de verdad de :
a)  (p ~ q)  r  ~ t
b) ( t  m)  (p  n ) donde m, n son proposiciones.
12. Simbolizar las siguientes proposiciones:
a) Si el auto no tiene suficiente gasolina entonces no llegará al mediodía.
b) Ni Ecuador ni Bolivia son productores de algodón
c) Carmen conseguirá un ascenso como reportera a menos que pierda la entrevista con el
director de prensa
d) Tendremos muchas flores en el jardín, si la estación es propicia y las semillas no están

malogradas.
e) No es el caso que no haya control de precios o los combustibles se encarezcan
f) La piscina está temperada porque hay calefacción, o la piscina está temperada porque habrá
concurso de natación.
g) Si no apruebas o no resuelves este problema de lógica, entonces es falso que, hayas

estudiado o domines la deducción lógica aunque has estudiado. Pero no dominas la
deducción lógica aunque has estudiado.
h) La aguja de la brújula gira en vista de que la embarcación ha cambiado de rumbo, y la

embarcación ha cambiado de rumbo dado que hay tormenta en alta mar.
i) Subirá el precio del pan porque subió el precio de la gasolina, en vista de que si subió el
precio de la gasolina, el gobierno no puede controlar la inflación.
27
j) No es el caso que si María no estudiaba abogacía no habría podido resolver el problema,

dado que María no ha podido resolver el problema porque preside la administración de una
empresa.
k) Aunque el dólar no suba de precio, la moneda peruana se devalúa; sin embargo, aunque
la moneda peruana no se devalúa, los alimentos suben de precio.
l) Tanto la democracia popular como la economía liberal, conducen a un gobierno capitalista,

a menos que se prohíban las importaciones.
m) Aprobaron en el Congreso una ley sobre aranceles dado que intervino el Ministro de
Economía, en vista de que, si no se aprobaba una ley sobre aranceles, no se podían reajustar
los impuestos a la exportación.
13. Simplificar las siguientes proposiciones
a) p  (~ q ~ p)  (p  q)
b) p  (~ q ~ p)  (p  q)
c) p  ~ (p ~ q)  q
d)  q  (p ~ q  r)   (p  q)
e) (~ p  q)  (p  q)
f)  (~ p  q) ~ r  (q ~ r)  ~ r

g) q  (p ~ q) ~ (p ~ q) p
h) (q  p) ~ q ~ (~ p  q)
i)  (~ p  q) ~ q  ~ (q  p)
j)  ~ p  (q  r ~ p)   q    (~ q  p)  q 
k)  (~ q ~ p)  q ~ (p  q) 
l)  (~ q  p) ~ (~ qp)   (~ p ~ q)
ll) (~ p  q) ~ (p ~ r ~ q)  ~ (p ~ q)  p
m) (p ~ q)  (p ~ q) ~ (p  q)
n)  ~ (p ~ r)  r    ~ (r ~ q)  q 
0)  (p ~ q)  (r  p  s ~ q)   (q ~ q)
28
p)  ~ (p ~ r) ~ q   ~ (~ p ~ q)
14. Simplificar la siguiente proposición:
 4
42 2    1  0   
 2
24 4     1

1
 
 1  0  
  4
4 2
2 
15. Simplificar la siguiente proposición:
 3
8 2   8  0   
  1
2  3 8     3 
1 
   8  0 
  8 2 
16. Se definen las operaciones: p  q ~ p ~ q y p  q ~ p  q
Simplificar : (~ p  q) ~ q  (~ q  p)
Referencias bibliográficas:
1. Copy, I. y Cohen, C.(1998). Introducción a la Lógica. México: Limusa Noriega Editores.
2. Ibarra, C. (1998). Lógica. México: Pearson Educación.
3. Perez, G. (2009). Lógica para estudiantes de derecho (2ª ed.). Bogota: Ediciones doctrina
y ley.
4. Rosales; D. (1994). Introducción a la Lógica (3ª ed.). Lima: Editorial Monterrico.
5. Suppes, P. y Hill. S. (2004). Introducción a la lógica matemática. México: Editorial Reverté.
6. Veerarajan, T. (2008). Matemáticas discreta. Editorial Mc Graw Hill: México.
29

Logica Proposicional Usat 2019 - I Ing. Sistemas y Comp

Загружено:

Сведения о документе

Исходное описание:

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Logica Proposicional Usat 2019 - I Ing. Sistemas y Comp

Загружено:

Авторское право:

Доступные форматы

Facultad de Ingeniería

Escuela de Ingeniería de Sistemas y Computación

David Gonzáles López

- Etimológicamente viene de la palabra griega  (logos) ; que significa pensamiento o

- Estudia el buen hablar, el buen decir, el razonar correctamente.

- La lógica es el estudio de los métodos y principios que se usan para distinguir el

- La Lógica es la disciplina que trata de los métodos de razonamiento (Veerarajan, 2008)

- Otros en lugar de razonamiento usan inferencia (matemáticas)

- Razonamiento correcto= Inferencia válida

- En la filosofía contemporánea se usa argumento válido.

II. OBJETO DE ESTUDIO DE LA LÓGICA

La lógica estudia LA INFERENCIA

La inferencia es un proceso mental( psicológico) que consiste en pasar de un conjunto de

También, la inferencia es una estructura de proposiciones que consiste en pasar de un

Donde: P1 , P2 , ... , Pn son premisas y C : la conclusión

Los matemáticos usan inferencia porque el razonamiento es un fenómeno psicológico

Ejemplos de razonamientos o inferencias:

Lima está en el Perú

El Perú está en América

Luego, Lima está en América

Si hacemos publicidad por Tv, habrá muchas ventas

No hubo muchas ventas

Luego, No se hizo publicidad por Tv.

Jean Piaget aportó a la psicología o a la historia universal

Jean Piaget no aportó a la historia universal

Por lo tanto, Jean Piaget aportó a la psicología

La USAT está en Chiclayo o Trujillo

La USAT no está en Trujillo

Luego, La USAT está en Chiclayo

III. IMPORTANCIA DE LA LÓGICA

- Es el fundamento del conocimiento matemático y de la gran mayoría de las ciencias. El

- Hace posible el avance de la ciencia y la Tecnología.

- Nos proporciona reglas y técnicas para determinar si es o no valido un argumento dado.

IV. LÓGICA PROPOSICIONAL

4.1. Enunciados y valor de verdad

Enunciado. Es toda expresión linguística, que constituye una frase u oración.

Es todo concepto, juicio u oración.

- ¿Qué edad tienes?

- El Perú está en América.

- La lógica es una ciencia.

- La suma de los ángulos internos de un triángulo es 180º.

-El Perú y Ecuador limitan con el océano pacífico.

Son proposiciones lógicas:

a) Las fórmulas científicas ya demostradas.

b) Las leyes o hipótesis científicas aceptadas.

1. “Todo cuerpo ejerce una fuerza de atracción sobre otro”

2. “El cambio de movimiento es proporcional a la fuerza motriz impresa y ocurre según la

1.       180 , si  ,  y  son ángulos internos correspondientes a un mismo

3. La USAT tiene convenios internacionales.

4. Todos los hombre son mortales

6. El agua se congela a cero grados centígrados.

8. Carlos, José y Nelly son hermanos.

9. Jaime es Psicólogo o Licenciado en Economía

10. La distancia mas corta entre dos puntos es la línea recta.

Conclusión: Toda proposición es un enunciado, pero no todo enunciado es proposición.

No son proposiciones lógicas ( expresiones no proposicionales)

a) Las creencias, mitos o leyendas.

1. “Dios es un ser misericordioso”

2. Manco Capac y Mama Ocllo fueron enviados por el sol”

b) Las metáforas o refranes.

1. “El Perú es un mendigo sentado en un banco de oro”

2. “Has el bien sin mirar a quien”