UNIDAD 1: Lógica

Matemática
Tema 1.3: Proposiciones

Jhonny Barrera J. Ing.

jbarrera@ups.edu.ec
Lógica de proposiciones

▰ El lenguaje matemático está formado por una parte del lenguaje natural, al cuál
se le agregan variables y símbolos lógicos que permiten una interpretación
precisa de cada frase.

▰ Formalmente, una proposición es un enunciado declarativo que puede ser

verdadero o falso, pero no ambos a la vez.

▰ Las proposiciones se representan mediante variables proposicionales

simbolizadas mediante letras: p, q, r ,s , t, etc

▰ Con la combinación de variables proposicionales y conjunciones se obtienen

sentencias.
Lógica de proposiciones
La propiedad fundamental de una proposición, es que ella puede ser
verdadera o falsa, pero no ambas cosas a la vez.

El valor de verdad de una proposición simple depende exclusivamente del

enunciado de la proposición.
Para que una expresión lingüística sea proposición debe cumplir con los
siguientes requisitos:
1) Ser oración.
2) Ser oración aseverativa, y
3) Ser o bien verdadera o bien falsa
Lógica de proposiciones
Todas las proposiciones son oraciones, pero no todas las oraciones son
proposiciones.
Las oraciones interrogativas, exhortativas, imperativas, desiderativas,
exclamativas o admirativas no son proposiciones porque ninguna de ellas
afirma o niega algo y, por lo tanto, no son verdaderas ni falsas. Tampoco los
juicios de valor

Ejemplos:

▪ ¿Qué es la lógica?
▪ Debemos honrar a nuestros héroes.
▪ Sea en hora buena.
▪ ¡Por Júpiter! ¡Casi me saco la lotería
▪ Valentín es bueno
Lógica de proposiciones
Toda proposición es una oración aseverativa, pero no toda oración
aseverativa es una proposición.

Ejemplos:
▪ El triángulo es inteligente.
▪ Eduardo es un número racional.
▪ x + 3 = 5 m) a es la capital del Perú.
▪ El principal sospechoso de los atentados del 11 de setiembre de 2001 en
los Estados Unidos.
▪ El actual Presidente de la República del Perú

son ejemplos de oraciones aseverativas, mas no de proposiciones, porque no

tiene sentido decir de ellas que son verdaderas o falsas. S
Proposiciones.

Una proposición es atómica (simple o elemental), si ninguna parte de ella

es a su vez una proposición.

Ejemplos de proposiciones simples o atómicas:

“Dos es un número par".

"Tres es mayor que cuatro".
"Tres más cinco es mayor que cuatro".

Se usan letras minúsculas p, q, r, s,...etc., para denotar proposiciones simples o

atómicas.
Proposiciones.

Las proposiciones atómicas (simples o elementales) carecen de conjunciones

gramaticales típicas o conectivas (‘y’, ‘o’, ‘si... entonces’, ‘si y sólo si’) o del adverbio
de negación ‘no’.
Ejemplos:
a) San Marcos es la universidad más antigua de América.
b) La lógica es distinta a la matemática.

Las proposiciones atómicas de acuerdo a sus elementos constitutivos pueden

clasificarse en predicativas y relacionales.

Las proposiciones predicativas constan de sujeto y predicado.

Ejemplos:
c) El número 2 es par.
d) El espacio es relativo.
Proposiciones.

Las proposiciones relacionales constan de dos o más sujetos vinculados entre sí.

Ejemplos
• Silvia es hermana de Angélica.
• 5 es mayor que 3
Proposiciones compuestas.
Una proposición es molecular (compuesta o coligativas) si está formados
por 2 o mas proposiciones simples y de conectivos que los unen.

El valor de verdad de una proposición compuesta depende completamente

del valor de verdad de cada proposición simple y del modo como se les
reúne o conecta para formar la proposición compuesta.

Ejemplos:

• Hoy es Lunes y cuatro es un número par

• Si salgo a correr entonces usaré ropa deportiva y calzado cómodo
Tipos de proposiciones compuestas

Negación. Es aquel conectivo que niega la proposición, y normalmente se utiliza

anteponiendo “no”, o sus expresiones equivalentes como ‘nunca’, ‘jamás’,
‘tampoco’, ‘no es verdad que‘, ‘no es cierto que’, ‘es falso que’, ‘le falta’, ‘carece de’,
‘sin’, et

Simbólicamente la negación se puede representar en lenguaje matemático, de tres

formas diferentes:

• Anteponiendo el símbolo “ p” , significa “no p”.

• Sobreponiéndole una barra “ p “

• Anteponiendo el símbolo “p”, significa “no p”.

Tipos de proposiciones compuestas

Ejemplos:

• Nunca he oído esa música.

• Jamás he visto al vecino.
• Es imposible que el átomo sea molécula.
• Es falso que el juez sea fiscal.
• Al papá de Nelly le falta carácter.
Tipos de proposiciones compuestas
Conjunción. Es aquel conectivo que une dos proposiciones, incluyéndolas
obligatoriamente a ambas. Se utiliza “y” como conectivo de conjunción o sus
expresiones equivalentes como ‘e’, ‘pero’, ‘aunque’, ‘aun cuando’, ‘tanto...
como...’, ‘sino’, ‘ni... ni‘, ‘sin embargo’, ‘además

Ejemplo:

• Dos es par y tres es impar

• Silvia es inteligente, sin embargo es floja.

Simbólicamente la conjunción “y” se representa en lenguaje matemático con

el símbolo 
y  
Tipos de proposiciones compuestas
Conjunción.
En las proposiciones conjuntivas no es necesario que sus proposiciones
componentes estén relacionadas en cuanto al contenido; es suficiente la presencia
de la conjuncion ‘y’.
Una proposición conjuntiva es conmutativa, es decir, se puede permutar el orden de
sus proposiciones componentes sin alterar la conjunción. Esto es posible en la
lógica, pero no en el lenguaje natural.

Ejemplos:

• Tanto el padre como el hijo son melómanos.

• Manuel e Ismael son universitarios.
• La materia ni se crea ni se destruye.
• Iré a verte aunque llueva.
• Ingresaré a la universidad aun cuando no apruebe el examen de admisión.
Tipos de proposiciones compuestas
Disyunción. Es aquel conectivo que une dos proposiciones ofreciendo una
alternativa entre una proposición o la otra, así como también ofrece la
posibilidad que sean ambas. Se usa la conjunción “o” o sus expresiones
equivalentes como ‘u’, ‘ya... ya’, ‘bien... bien’, ‘ora... ora’, ‘sea... sea’, ‘y/o’, etc.

“Dos es mayor que siete o siete es mayor que dos".

La disyunción inclusiva admite que las 2

proposiciones se den conjuntamente, y su
símbolo es 

p v q
Tipos de proposiciones compuestas
Disyunción excluyente o exclusiva.- Es una proposición que no acepta
que las dos proposiciones ocurran al mismo tiempo.

Ejemplos:
▻ Me caso con Rosita o con Doris
▻ Hoy a las 3 voy al parque La Alameda o
a El Ejido.

▰ Su notación es: 
p  q
Tipos de proposiciones compuestas
Disyunción excluyente o exclusiva.-

En español no existe un signo especial para la disyunción inclusiva y otro para la

exclusiva, es decir, en ambos casos se usa la misma partícula ‘o’; mientras que
en lógica sí existen signos especiales para distinguirlas.

Ejemplos:

Pedro es tío o es sobrino.

Elena está viva o está muerta.
Roberto es profesor o es estudiante.
Silvia es soltera o es casada.
Tipos de proposiciones compuestas
Implicación o Condicional.- Esta proposición establece una condición para
que se cumpla la otra proposición. La primera se conoce como antecedente
y la segunda consecuente. Se usa la conjunción ´si... entonces...’, o sus
expresiones equivalentes como ‘si’, ‘siempre que’, ‘con tal que’, ‘puesto que’,
‘ya que’, ‘porque’, ‘cuando’, ‘de’, ‘a menos que’, ‘a no ser que’, ‘salvo que’,
‘sólo si‘, ‘solamente si’. Ejemplos:

“Si se cumple p, entonces se cumple q”

Ejemplo: Si hoy llueve entonces se moja el piso

p → q
Tipos de proposiciones compuestas

Implicación o Condicional.-
Toda proposición implicativa es condicional, pero no toda proposición condicional
es implicativa.
Para que una proposición condicional sea lógicamente correcta no es necesario
que haya relación entre el antecedente y el consecuente, es decir, que la verdad
en una proposición condicional es independiente de las relaciones que puedan
existir o no entre los significados del antecedente y el consecuente.
Por ejemplo:
Si la tierra gira alrededor del sol, entonces Lima es capital del Perú” es verdadera
Tipos de proposiciones compuestas
Bicondicional o doble implicancia.
Es aquel conectivo de la forma: “se cumple p si y solo si se cumple q”, o
sus expresiones equivalentes como ‘ si y solamente si ‘, ‘cuando y sólo
cuando’, ‘ si..., entonces y sólo entonces...’, etc.

Ejemplo: Aprobaré la materia si y solo si estudio oportunamente

p  q

Esto significa que también se cumple la situación

inversa, es decir que como se cumple q, también
se cumple p
Tipos de proposiciones compuestas
Bicondicional o doble implicancia.
Las proposiciones bicondicionales se caracterizan porque establecen dos
condicionales, pero de sentido inverso.

Por ejemplo,
La proposición bicondicional ‘el triángulo es equilátero si y sólo si tiene tres lados
iguales’ establece dos condicionales de sentido inverso: ‘si es triángulo equilátero,
entonces tiene tres lados iguales’ y ‘si el triángulo tiene tres lados iguales, entonces es
equilátero’.

En toda proposición bicondicional el antecedente es condición necesaria y suficiente

del consecuente y el consecuente es condición necesaria y suficiente del antecedente.
Valores de verdad
El valor de verdad de una proposición compuesta depende completamente del valor de
verdad de cada proposición simple y del modo como se les reúne o conecta para formar
la proposición compuesta.

Verdad lógica o Tautología.- Son aquellas proposiciones que siempre son verdad, sin
importar los valores de verdad de las proposiciones que la componen.

Contingencia .- Son aquellas proposiciones que pueden ser verdad o falso, dependiendo de
los valores de verdad de las proposiciones que le componen

Contradicciones.- Son aquellas proposiciones que siempre son falsas, sin importar los
valores de verdad de las proposiciones que la componen.
Conectiva dominante

La última conectiva introducida será la CONECTIVA DOMINANTE de la

sentencia.
Es importante distinguirla, porque es a la que permitirá determinar el valor
de verdad de la fórmula.

• p  (r → s) 
• ¬(p → (q  r)) ¬
• ¬p  (p  (p → p)) 
• ¬((p  q)  ¬(p  q)) el primer ¬
• (((p → q)  p) → q)  p el segundo 
Conectiva dominante

Ejemplos: ((p  q) → p) (pq)→p

(q → p) → ( p → q)  (p  q)   p
Álgebra de proposiciones

Ejercicios:
Comprobar que :  ( p  q)  pq

Si la doble implicación de
las dos expresiones
resulta verdad en
cualquier caso, las
expresiones son
equivalentes

Comprobar que la sentencia p  q   p  q es equivalente

EJERCICIOS
Álgebra de proposiciones
Ejercicio:

p→q  pq

p q p→q p q pq
V V V F V V

V F F F F F

F V V V V V

F F V V F V
Álgebra de proposiciones
Ejercicios:
Compruebe que las sentencias p  q  (p  q)  (q  p) son equivalentes
Ejercicios

a) Kant es filósofo, pero Frege es lógico

Forma lógica: Kant es filósofo y Frege es lógico
p: Kant es filósofo.
q: Frege es lógico.
p vq

b) No iremos al teatro a menos que venga Raúl.

Forma lógica: Si Raúl viene, entonces iremos al teatro
p: Raúl viene.
q: iremos al teatro.
p→q

c) Einstein no es filósofo, sino físico.

Forma lógica: Einstein es físico y Einstein no es filósofo.
p: Einstein es físico.
q: Einstein es filósofo.
p~q
Ejercicios

d) Euclides no es médico ni físico.

Forma lógica: Euclides no es médico y Euclides no es físico.
p: Euclides es médico.
q: Euclides es físico
~p~q

e) Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.

Forma lógica:
Vilma no ingresó a la universidad y Silvia no ingresó a la universidad y Angélica no ingresó
a la universidad.
p: Vilma ingresó a la universidad.
q: Silvia ingresó a la universidad.
r: Angélica ingresó a la universidad.
~p~q~r
Ejercicios

f) Sin carbono, oxígeno, nitrógeno e hidrógeno, no hay vida.

Forma lógica: Si no hay carbono y no hay oxígeno y no hay nitrógeno y no hay hidrógeno,
entonces no hay vida.
p: hay carbono.
q: hay oxígeno.
r: hay hidrógeno.
s: hay nitrógeno.
t: hay vida.
(~ p  ~ q  ~ r  ~ s) → ~ t

g) Tanto Pelé como Maradona son atletas porque son futbolistas.

Forma lógica:
Si Pelé es futbolista y Maradona es futbolista, entonces Pelé es atleta y Maradona es atleta.
p: Pelé es futbolista.
q: Maradona es futbolista.
r: Pelé es atleta.
s: Maradona es atleta.
(pvq)→(rs)
Ejercicios

h) César es profesor o es alumno, pero no puede ser ambas cosas a la vez.

Forma lógica: César es profesor o César es alumno y es falso que César sea profesor y
César sea alumno.
p: César es profesor.
q: César es alumno.
(pvq)~(pq)

i) Las Fuerzas Armadas participan en el desarrollo económico y social del país, pero no
son deliberantes.
Forma lógica: Las Fuerzas Armadas participan en el desarrollo económico del país y las
Fuerzas Armadas participan en el desarrollo social del país y las Fuerzas Armadas no son
deliberantes.
p: las Fuerzas Armadas participan en el desarrollo económico del país.
q: las Fuerzas Armadas participan en el desarrollo social del país.
r: las Fuerzas Armadas son deliberantes.
( p  q)  ~ r
EJERCICIOS PROPUESTOS
Ejercicios

Estructurar las siguientes proposiciones:

• Este bote es de cristal.
• Pedro no es arquitecto pero si ingeniero.
• Puedo conducir si me encuentro bien.
• Las proposiciones pueden ser compuestas o simples.
• Los espárragos pueden ser blancos o verdes.
• El ordenador es gris o negro.
• Marcos sale a correr o escalar.
• El universo es infinito.
• La raíz cuadrada de 25 es 5, o -5.
• No todos los números primos son impares.
• La familia ha pasado las vacaciones en Ibiza y París.
• Hace frío solamente si está nevando
• Mi perro es blanco y negro.
• Me matriculo en la universidad si apruebo el examen.
GRACIAS POR SU ATENCIÓN

Jhonny Barrera J. Ing.

jbarrera@ups.edu.ec