SIGNOS DE AGRUPACIÓN
Las proposiciones se pueden agrupar en :
Paréntesis ( ) , Corchetes [ ] , Llaves { }
ORDEN DE LOS OPERADORES LÓGICOS
Si no existen signos de puntuación ni paréntesis se debe considerar el orden de
menor a mayor jerarquía de los operadores lógicos (Negación, Conjunción,
Disyunción, Disyunción Exclusiva, Condicional, Bicondicional), y de izquierda a
derecha para ubicar los signos de agrupación:
Ejemplos: Agrupar según la jerarquía de los Operadores Lógicos.
a) p q → r =
b) p q → r ∨ s =
c) p q r =
d) p→ q → r → s =
e) p → q ↔ r ∨ s =
f) p q r s =
OPERADOR LÓGICO PREDOMINANTE
Si la proposición compuesta está escrita con signos de
agrupación, la ubicación de éstos nos indicará cuál es
el operador predominante:
• (p q) r Es un esquema disyuntivo
• (p q) →( r s) Es un esquema condicional
• (p → q) ↔ (r s) Es un esquema bicondicional
TRADUCCIONES DE LENGUAJE NATURAL A FORMAL
Traduzca al lenguaje formal (simbólico) las siguientes
proposiciones:
1) 2 es un número par y 21 es múltiplo de 3 o 5 es un
número primo.
(p q) ∨ r
2) O está lloviendo y nevando o está soplando el viento.
(p q) v r
3) Luis le dijo a su hijo: Si no terminas tu cena, te irás directo a
dormir y no verás televisión.
p → ( q r)
4) Si tú eres inteligente y no actúas con prudencia, eres un
ignorante en la materia.
(p q) → r
5) Si 5 multiplicado por 12 es 60 y 3 es el cuadrado de 9, entonces,
estudio o juego ajedrez.
(p q) → (r s)
6) Estudio y apruebo el examen de admisión, o repruebo y lo
intento una vez más.
(p q) (q r)
7) Si no está nevando y tengo tiempo, entonces iré a la
ciudad.
(~p q) → r
Enunciar: r ↔ (q p)
Iré a la ciudad si y solo si tengo tiempo y no está nevando.
8) Iré a la ciudad sólo si tengo tiempo. p→ q
Enunciar: qp Tengo tiempo e iré a la ciudad.
9) Está nevando, y no iré a la ciudad. p q
10) Si no pago la luz, entonces me cortarán la corriente
eléctrica. Si pago la luz, entonces me quedaré sin dinero
o pediré prestado.
Solución:
p: Pago la luz.
q: Me cortarán la corriente eléctrica.
r: Me quedaré sin dinero.
s: Pediré prestado.
(~p → q) ∧ [ p → (r ∨ s) ]
11) Estudio todos los días o corro el riesgo de reprobar. O
apruebo con buenas calificaciones o repruebo. Si no
intento aprobar con la máxima nota, no estoy dando lo
mejor de mí.
Solución: [(p ∨ q) ∧ ( r v s)] ∧ (t → u)
p: Estudio todos los días .
q: Corro el riesgo de reprobar.
r: Apruebo con buenas calificaciones.
s: Repruebo.
t: Intento aprobar con la máxima nota.
u: Estoy dando lo mejor de mí.
12) O salgo de casa y compro un libro de historia, o me
quedo en ella y veo televisión. Pero si salgo de casa y no
tengo suficiente tiempo, no compro el libro.
Solución:
p: Salgo de casa.
q: Compro un libro de historia.
r: Veo televisión.
s: Tengo suficiente tiempo.
[(p ∧ q) v (p ∧ r)] ∧ [(p ∧ s) → q]
EJERCICIOS EN CLASE
1) Determine el valor de verdad de las
proposiciones a, b, c; si la proposición:
[ (a ∧ b) → c ] es FALSA
Resp: a = V b= F c= F
4.- EJERCICIOS EN CLASE
2)Determine el valor de verdad de las proposiciones p, q
y r para que el valor de verdad de la proposición
compuesta:
sea Falso
Resp: p=F q=F r =V
EJERCICIOS EN CLASE
3) Sabiendo que: p (q r ) ≡ F;
obtener el valor de verdad de: (p q) r
Resp: V
Si la proposición es falsa, entonces
una de las siguientes proposiciones es falsa.
Identifíquela:
Resp: d) es falsa
p= V q=F r=F
Formas
Proposicionales
Son determinadas por los valores de verdad encontrados en
el resultado de la tabla de verdad.
Contradicción
Tautología Contingencia
o Falacia
Cuando el resultado Cuando el
El resultado tiene
de la tabla de resultado de la
verdad es todo
casos verdaderos
tabla de verdad
verdadero. y falsos.
es todo falso.
Lógica Matemática – Formas Proposicionales
FORMAS PROPOSICIONALES: TAUTOLOGÍA
Ejemplo: Comprobar que la proposición [p ^ (p → q)] → q es una tautología.
p q (p --> q) p ^ (p --> q) [p ^ (p --> q)] --> q
V V V V V
V F F F V
F V V F V
F F V F V
Lógica Matemática – Formas Proposicionales
FORMAS PROPOSICIONALES: CONTRADICCIÓN
Ejemplo: Comprobar que la proposición (p ^ ~p) es una contradicción.
p ~p (p ^ ~p)
V F F
F V F
Lógica Matemática – Formas Proposicionales
FORMAS PROPOSICIONALES: CONTINGENCIA
Ejemplo: Comprobar que la proposición (p --> q) --> ~ p es una
contingencia.
p q (p --> q) ~p (p --> q) --> ~p
V V V F F
V F F F V
F V V V V
F F V V V
LEYES DEL ÁLGEBRA PROPOSICIONAL
Involución (Doble Negación): Absorción Total: Tercio excluido:
~ (~p) ≡ p
p (p q) ≡ p (p p) ≡ V
Idempotencia:
p (p q) ≡ p Contradicción:
(p p) ≡ p (p p) ≡ p (p p) ≡ F
Absorción Parcial:
Conmutativa:
(p q) ≡ (q p) p (p q) ≡ p q Complementación:
p ( p q) ≡ p q ≡F
(p q) ≡ (q p)
Asociativa: p (p q) ≡ p q
F≡V
p (q r) ≡ (p q) r p (p q) ≡ p q
p (q r) ≡ (p q) r Condicional:
Distributiva: (p → q) ≡ p q
p (q r) ≡(p q) ( p r) Bicondicional:
p (q r) ≡ (p q) (p r)
Leyes de Morgan: Identidad:
~ ( p q ) ≡(~ p ~ q )
~ ( p q ) ≡ (~ p ~q )
