Unidad 1 Lógica Matemática
Unidad 1 Lógica Matemática
Unidad 1 Lógica Matemática
SIMPLES.- Una proposición es simple cuando no tiene un operador y esta formada por un
sujeto, un verbo y un predicado- ejemplo
• Me encanta la playa NO
• Mi carro es negro SI 0
• Me llamo Raúl SI 0
• En la luna viven los gatos? NO
• Me gusta estudiar NO
• 2–3=5 SI 0
• x–3=1 NO
• x≥4 NO
• Mañana se acabará el mundo NO
• Lava el auto por favor NO
Tablas de verdad
Tablas de verdad o tabla de valores de
verdad, es una tabla que muestra el valor
de verdad de una proposición compuesta.
Para construir una tabla de verdad, se
utilizara la siguiente fórmula 2n, donde “n”
viene a ser el número de proposiciones.
Ejemplos:
1. Realice la tabla de verdad de la proposición p
2n = 21 = 2x1 = 2
p
1
0
Ejemplos:
1. Realice la tabla de verdad de las proposiciones p y q.
2n = 22 = 2x2 = 4
p q
0 0
0 1
1 0
1 1
2. Realice la tabla de verdad de las proposiciones p, q y r.
2n = 23 = 2x2x2 = 8
p q r
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
p q r s
0 0 0 0
2. Realice la tabla 0 0 0 1
de verdad de las 0 0 1 0
proposiciones p, 0 0 1 1
q , r, s
0 1 0 0
2n = 24 = 2x2x2x2x = 0 1 0 1
16 0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
Operadores Lógicos
Negación “¬”
La negación de una proposición es una nueva
proposición que tiene un valor de verdad opuesto
a la proposición original. Es decir, si el valor de
verdad de una proposición p es verdadero,
entonces el valor de verdad de ¬p es falso.
p ¬p
1 0
0 1
Esta proposición compuesta se denota por ¬p
se lee: negación de p
Los términos gramaticales de la negación son:
• No
• Ni
• No es verdad que
• No es cierto que
• Es falso que
Ejemplos
p: Tengo internet
¬p: No tengo internet
r: Tengo un carro
¬r: No es verdad que tengo carro
Conjunción “∧”
La conjunción es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ∧.
Esta proposición compuesta se denota por p ∧ q y se lee p y q.
REGLA.- Si 2 proposiciones son verdaderas su conjunción también será
verdadera.
p q p∧q
clave 1 1 1
1 0 0
0 1 0
0 0 0
Los términos gramaticales de la
conjunción son:
• Y
• Pero
• Mas
• Signos de puntuación: , . ;
• Sin embargo
• Además
• También
Ejemplos
p: Tengo un marcador negro
q: Tengo un marcador rojo
p ∧ q: Tengo un marcador negro y tengo un marcador rojo
q ∧ ( p ∨ q)
p q p∨q 1
1 1 1 0
1 0 1 1
0 1 1 0
clave
0 0 0
Los términos gramaticales de la disyunción
son:
• O
• O también
• O incluso
Ejemplos
p: Voy al parque
q: Voy a jugar pelota
p ∨ q: Voy al parque o voy a jugar pelota
t: Te comes la lasaña
u: Te comes el waffle
t V u: Te comes la lasaña o también te comes el waffle
Disyunción Exclusiva “⊻”
La disyunción exclusiva es la proposición compuesta que resulta
de conectar dos proposiciones, p y q, mediante el conectivo ⊻.
Esta proposición compuesta se denota por p ⊻ q y se lee O p o q
REGLA.- Cuando una de las proposiciones es verdadera su
resultado será verdadero.
p q p⊻q
1 1 0
clave 1 0 1
clave 0 1 1
0 0 0
Los términos gramaticales de la disyunción exclusiva
son:
• O…, o…
Ejemplos
t: Te comes la lasaña
u: Te comes el waffle
t V u: O te comes la lasaña o te comes el waffle
Condicional “→”
La condicional es la proposición compuesta que resulta de
conectar dos proposiciones, p y q, mediante el conectivo →
Esta proposición compuesta se denota por p → q y se lee: p
implica q.
En esta proposición compuesta, la proposición simple p se
llama antecedente, mientras que la proposición simple q se
llama consecuente.
REGLA.- Cuando la primera proposición es verdadera y la
segunda falsa su valor de verdad será falso
Los términos gramaticales de la
condicional son:
• Si p, entonces q
• p implica q
• p solo si q
• p solamente si q
• Si p, q
• Cuando p, q
Ejemplos
Si apruebo el pre, entonces me compran un carro
p: Apruebo el pre
q: Me compran un carro
En el lenguaje formal: p → q
r: Voy al cine
s: Arreglo mi habitación
r → s: Voy al cine solo si arreglo mi habitación
En el lenguaje formal: r → s
Los términos gramaticales de la condicional que
cambia mi antecedente por el consecuente son:
• q si p
• q cuando p
• q siempre que p
• q cada vez que p
• q ya que p
• q porque p
• q pues p
Ejemplos
Tomamos cola siempre que comemos torta
v: Tomamos cola
w: Comemos torta
En el lenguaje formal: w → v
p: Voy a la piscina
q: Hace sol
p → q: Voy a la piscina ya que hace sol
En el lenguaje formal: q → p
p q p→q
1 1 1
clave
1 0 0
0 1 1
0 0 1
Bicondicional “↔”
La bicondicional es la proposición compuesta que resulta de
conectar dos proposiciones, p y q, mediante el conectivo ↔
Esta proposición compuesta se denota por p ↔ q y se lee: p si y
solo si q.
REGLA.- Si dos proposiciones son iguales su resultado será
verdadero
p q p↔q
clave 1 1 1
1 0 0
0 1 0
0 0 1
clave
Los términos gramaticales de la bicondicional
son:
• Si y solo si
• Si y solamente si
• Cuando y solo cuando
Ejemplos
p: Voy al parque
q: Voy a jugar pelota
p ↔ q: Voy al parque si y solo si voy a jugar pelota
p ↔ q LENGUAJE FORMAL
Ejercicios:
• Transforme al lenguaje formal las siguientes oraciones y realice su
respectiva tabla de verdad:
p q p∧q
1. Fui al banco pero el banco estaba cerrado.
1 1 1
1 0 0
Identificar nuestros operadores lógicos
0 1 0
Definir nuestras variables proposicionales
0 0 0
p: Fui al banco
q: El banco estaba cerrado
Unimos correctamente nuestras variables proposicionales con su
respectivo conector.
p∧q
2. Pedro juega básquet o María juega futbol.
Tautología:
Una tautología es una expresión lógica que es verdadera para todos los
posibles valores de verdad de sus componentes atómicos. Las proposiciones
dan el resultado positivo.
Contradicción:
Son aquellas fórmulas que son falsas para cualquier valoración de los símbolos
proposicionales que contiene. Las proposiciones dan el resultado negativo.
Contingencia:
Son aquellas fórmulas cuyo valor de verdadero falsedad depende de la
valoración de los símbolos proposicionales que contiene. Las proposiciones
dan un resultado negativo y positivo
EJEMPLOS
1.- (~ p v q) → (r ʌ p)
2.- (p → ~ r) v (~ p ʌ q )
3.- (p ʌ q) → p
4.- (p → q) ʌ ( p ʌ ~q)
5- p v (q → r)
RESOLVER
RESOLVER
REALIZAR LA TABLA DE VERDAD
Muchas Gracias
Ing. Julissa Erazo Vaca