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: qp 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 )