Lógica matemática, proposiciones valor de verdad, conectores
lógicos
La lógica proposicional es una parte de la lógica matemática que
sigue reglas y técnicas para formalizar el lenguaje común, mediante
el uso de variables proposicionales y conectivos lógicos.
1.1.- Proposición: Es una oración que puede ser falsa o verdadera pero no ambas; se
representa por letras minúsculas.
Ejemplo 1: Oraciones que son Ejemplo 2: Oraciones que no son
proposiciones: proposiciones:
p: Ecuador se encuentra en América. p: 2x – 4 = 3
q: Nueve es un número par. q: ¡Auxilio!
r: Carlos estudia y trabaja. r: ¿Cómo estás?
s: 17 – 38 = – 2 s: Lava el auto, por favor.
Tipos de proposiciones.
Proposición simple: Tienen un sujeto, un verbo y un complemento. No hay términos de
enlaces entre oraciones, como, por ejemplo: “no”, “y”, “o”, “si”, “entonces”, entre otros.
Proposición compuesta: Son proposiciones que tienen términos de enlace entre oraciones
o la palabra “no” (negación).
Ejemplo 3: Proposiciones simples: Ejemplo 4: proposiciones que no son simples:
p: 5 es un número primo. p: Mario come galletas y bebe leche.
q: Claudia es mi hermana. q: No te encontré.
r: Pitágoras fue un matemático. r: Si me gano la lotería entonces me compro
una casa.
Valor de verdad: El valor de verdad de una proposición es la cualidad de veracidad que
describe adecuadamente la proposición.
Tabla de verdad: Una tabla de verdad es una representación de los posibles valores de
verdad que podría tomar una proposición. Sirven para mostrar los valores, las relaciones
y los resultados posibles al realizar operaciones lógicas.
1.2.- Operadores Lógicos: Son símbolos que enlazan dos o más proposiciones simples
para formar una proposición compuesta. Permiten operar entre proposiciones.
Negación (~): Su función es negar la proposición. Sea p una proposición, la negación de
p es la proposición ~p, que se lee “no p”, lo que cambia el valor de verdad de la
proposición.
Ejemplo 5: Negación de proposiciones:
p: Tengo un billete de cinco dólares.
~p: No tengo un billete de cinco dólares.
q: No quiero hacer el viaje.
~q: Quiero hacer el viaje.
r: Ariel nació en 2008
~r: Ariel no nació en 2008
1
Conjunción: Utiliza el símbolo “˄” y significa “y”. Dada las proposiciones
p, q, la conjunción p y q es aquella proposición que solo es verdadera
cuando ambas son verdaderas. En cualquier otro caso, es falsa.
Ejemplo 6:
p: Obtengo buenas notas
q: Apruebo el año escolar
La conjunción entre p y q es:
p ˄ q: Obtengo buenas notas y apruebo el año escolar.
Disyunción: Utiliza el símbolo “v” y la palabra “o”. Dada las proposiciones
p, q, la disyunción p o q es aquella proposición que es verdadera
cuando alguna de las proposiciones es verdadera. Si las dos
proposiciones con falsas, obviamente el valor también es falso.
Ejemplo 6:
p: Tengo un libro de matemática.
q: Tengo un libro de emprendimiento
La disyunción entre p y q es:
p v q: Tengo un libro de matemática o tengo un libro de emprendimiento.
Disyunción exclusiva: Utiliza el símbolo “v” y la palabra “o”. Dada las
proposiciones p, q, la disyunción exclusiva p o q es aquella proposición
que es verdadera cuando una y solo una de las proposiciones es
verdadera. Si ambas proposiciones son verdaderas o ambas son falsas,
será falso.
Ejemplo 7:
p: Estoy en Quito
q: Estoy en Guayaquil
La disyunción exclusiva entre p y q es:
p v q: O estoy en Quito o estoy en Guayaquil.
Condicional (→): Una implicación o proposición condicional está
formada por dos proposiciones de esta manera p → q. Se lee “Si p,
entonces q”, y es falsa cuando la primera proposición es verdadera y
la segunda es falsa.
Existen otras proposiciones relacionadas con la condicional p → q, las
cuales se denominan: recíproca, inversa y contrarrecíproca (o contrapositiva).
La recíproca, es representada simbólicamente por: q → p.
La inversa, es representada simbólicamente por: ~p → ~q.
La contrarrecíproca, es representada simbólicamente por: ~q → ~p.
Ejemplo 8:
p: Juan gana el concurso.
q: Juan dona $ 1000.
La condicional entre p y q es:
p → q: Si Juan gana el concurso, entonces dona $ 1000.
La reciproca sería:
q → p: Si Juan dona $ 1000, entonces gana el concurso.
La inversa sería:
~p → ~q: Si Juan no gana el concurso, entonces no dona $ 1000.
La contrarrecíproca sería:
~q → ~p: Si Juan no dona $ 1000, entonces no gana el concurso.
2
Bicondicional (↔): Es una doble implicación o proposición
bicondicional. Está formada por dos proposiciones de esta manera p
q. Se lee “p si y solo si q”, y es verdadera cuando p es verdadera si y
solo si q también es verdadera. O bien p es falsa si y solo si q también
lo es.
Ejemplo 9:
p: Un triángulo es equilátero.
q: Un triángulo es equiángulo.
La bicondicional entre p y q es:
p ↔ q: Un triángulo es equilátero si y sólo si es equiángulo.
Resumen de las tablas de verdad de los operadores lógicos
Tautología: Es una proposición compuesta que es cierta para todos los valores de verdad
de sus proposiciones, es decir, su valor de verdad depende de las relaciones establecidas
entre las proposiciones.
Ejemplo 10:
Contradicción: Es una proposición compuesta si en todos los casos posibles de su columna
principal su valor de verdad es falso.
3
Aplico lo aprendido
1) Indique si cada enunciado es o no una proposición.
a) 7415 es un número par
b) ¿Qué hora es?
c) Los números divisibles para 8 son divisibles para 2.
d) ¡Pare, por favor!
e) El atardecer en la playa es romántico.
f) La edad de Belkis es Yuliana es 16 años.
g) Guayaquil es la capital económica de Ecuador.
h) Galápagos es considerado Patrimonio Cultural de la Humanidad.
i) Mi familia y yo viajaremos a la Sierra en fin de año.
j) Ayer estuvo soleado pero hoy llueve torrencialmente.
k) Mi palabra se siente levantada por un caballo lírico que salta.
l) El mejor gobierno es el que Gobierna menos.
m) Hubo escasez de lluvias.
n) 5(3 + 4) = 36.
o) 3 es un número par.
p) Turismo.
q) ¿Qué estás haciendo?
r) 3 – x = 7.
s) ¡Márchate!
t) Neil Armstrong caminó sobre la Luna.
u) El sabor del color azul es dulce.
v) 314159 es un número primo.
w) x2 + 2x + 1 = 0.
x) Disparen al ladrón.
y) La edad del universo es unos 15 millones de años.
z) 4 es divisible para 2.
2) Expresa simbólicamente las siguientes proposiciones:
a) Los estudiantes de la UESM estudian mucho, entonces tendrán buenas notas.
b) No es el caso que estudies licenciatura y arquitectura.
c) Samsung es una marca de celulares o es una marca de televisores.
d) Habrá cosecha si y solo llueve.
e) Si Oscar realiza una recarga electrónica, entonces podrá realizar llamadas.
f) Obtengo buenas notas y gano una beca.
g) Tengo una moneda de 1 dólar o una de 0,50 centavos.
h) En una casa hay jardín si y solo esa casa es habitada por una familia.
i) O estoy en El Empalme o estoy en Quevedo.
j) Si no tienes el pasaporte vigente, entonces no podrás viajar.
3) Niega las siguientes afirmaciones:
a) No es cierto que – 5 es mayor que – 3.
b) Postulé a una maestría en Ciencias.
c) No es cierto que 4 sea un número primo.
d) Yahoo es un buscador de información.
e) La mandarina es una fruta de la Costa.
f) No es cierto que rojo es un color primario.
g) Fernando es diseñador y pintor.
h) Pitágoras fue un reconocido filósofo.
i) Mi estatura es 1,50 o 1,60.
4
4) Escriba en lenguaje común, utilizando los conectores lógicos.
a) p: Carla es deportista y q: Carla es bailarina.
p˄q pvq (p ˄ q) v q
b) p: Miguel viaja a México y q: Miguel viaja a Colombia.
p˄q pvq (p v q) ˄ q
c) Sean p: Estudio matemática, q: Estudio inglés.
p˄r qvr (p v q) ˄ r
5) Realiza la tabla de valores de las siguientes expresiones e indica si es tautología,
contradicción o contingencia.
a) d)
b) e)
c) f)
6) Encuentra el valor de verdad de las siguientes proposiciones compuestas sin usar
tablas de verdad.
a) – 2 elevado al cuadrado da un número positivo y da un número par.
p: ____________________________________________
q: ____________________________________________
p˄q
b) Diego cocina sopa y prepara arroz o cocina sopa o prepara arroz.
p: ____________________________________________
q: ____________________________________________
(p ˄ q) v (p v q)
5
7) Dadas las proposiciones simples:
p: Necesito un doctor. r: Tengo un accidente.
q: Necesito un abogado. s: Estoy enfermo.
Una traducción al lenguaje formal de la proposición compuesta “Si estoy enfermo,
necesito un doctor; y si tengo un accidente, necesito un abogado”, es:
a) (s → p) ˄ (¬r → q) c) (s v p) ˄ (r → q)
b) (s → p) ˄ (r → q) d) (s → p) ˄ (r ˄ q)
8) Dadas las proposiciones simples:
p: Pedro realizó un paseo en grupo
q: Pedro realizó la tarea de matemática.
r: Encontré a Pedro en el balneario del rio limón.
Una traducción al lenguaje formal de la proposición compuesta “Pedro realizó un
paseo en grupo y realizo no realizó la tarea de matemática, puesto que encontré
a Pedro en el balneario del rio limón”, es:
a) r → (¬p v ¬q) c) (¬p v ¬q) → r
b) (p ˄ ¬q) → r d) r → (¬p ˄ q)
9) Dadas las proposiciones simples:
p: Hoy es domingo.
q: Tengo que estudiar matemáticas
r: Aprobaré el curso
Una traducción al lenguaje formal de la proposición compuesta “Hoy es domingo
pero tengo que estudiar matemáticas o no aprobaré el curso”, es:
a) (p ˄ q) v r c) (p ˄ q) v ¬r
b) p ˄ q ˄ r d) (p v q) v r
10) Halla los valores de verdad de las siguientes fórmulas lógicas.
a) c)
b) d)
11) Indaga y resuelve.
Un letrero aparece en la entrada a un concierto. “Para ingresar, las personas
deben presentar su boleto y ser mayores de edad, o bien estar acompañadas de
una persona adulta”. Representa el enunciado mediante una fórmula lógica y
evalúa la tabla para identificar los casos en los que una persona no podrá entrar
al concierto.
