Raz.

Matemático

Tema: Lógica proposicional

Docente: Luis Gutiérrez

Objetivo
Potenciar el análisis deductivo para razonamientos más complejos.
Utilizar el lenguaje de los símbolos como método matemático formal
de investigación.
 LÓGICA PROPOSICIONAL

PROBLEMAS CON PROBLEMAS DE LEYES DEL ÁLGEBRA

CONECTORES TABLA DE VERDAD PROPOSICIONAL
LÓGICOS
 CONECTIVOS LÓGICOS
Los conectivos lógicos más frecuentes son:

CONECTIVO OPERACIÓN PROPOSICIÓN SIGNIFICADO Ejemplos:

LOGICA COMPUESTA
- No es cierto que hoy es martes.
 negación p no p
- Pedro estudia o duerme.
 conjunción pq pyq

 disyunción pq poq - El numero 2 es par y el número 3 es primo.

 condicional pq si p entonces q - Si estudias entonces ingresarás.

 bicondicional pq p si y solo si q
- Iré de vacaciones si y solo si ahorro.
∆ disyunción p∆q opoq
exclusiva - O Coral va a la fiesta o va al concierto.
 TABLAS DE VERDAD

p q pq pq pq pq p∆q

V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
Observación:
La jerarquía de las proposiciones es negación, conjunción, disyunción, condicional y
bicondicional; pero tienen mayor jerarquía los signos de agrupación.
 LEYES DEL ÁLGEBRA PROPOSICIONAL
Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en forma más sencilla.
Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso. Algunas de ellas son:
1. Conmutativa 4. Involutiva o doble negación 7. De absorción p q (pq) p  (pq)

pq≡qp (p)≡ p p  (p  q) ≡ p V V V

pq≡qp  ( (  p)) ≡  p p  (p  q) ≡ p V F V

pq≡qp La conjunción de una

disyunción (o viceversa) con
F V V
5. De D´Morgan el mismo elemento dentro F F F
pΔq≡qΔp y fuera resulta que solo
2. Asociativa ~ (p  q) ≡ ~ p  ~ q depende de ese elemento. p  (pq) =p
La negación de una conjunción es una Otros casos: Si en la conjunción
p(qr)≡(pq) r disyunción con sus elementos negados
p  (~ p  q) ≡ p  q de la disyunción (o
p(qr)≡(pq)r ~ (p  q) ≡ ~ p  ~q viceversa) el
La negación de una disyunción es una p  (~ p  q) ≡ p  q elemento común
esta negado
3. Distributiva
conjunción con sus elementos negados
~ p  (p  q) ≡ ~ p 
~p q dentro o fuera
PERO NO AMBOS
6. De la condicional ~ p  (p  q) ≡ ~ p 
~p q entonces resulta lo
p(qr)≡(pq)(pr) p  q ≡ ~p  q que esta afuera y el
no común dentro.
8. De la bicondicional
p  q ≡ ~q  ~p
p q≡(pq)(qp)
p(qr)≡(pq)(pr) Obs: p  q ≡( p  q )  (~p  ~q )
pq≢qp p  q ≡ ~( p Δ q )
Aplicación 1:
Dadas las proposiciones:
q: 25 es un número cuadrado
perfecto
r: 31 es un número par
p: 27 es un número primo
absoluto
Determine el valor de verdad de:
[(p  q)  ( r ∆ q)]  r
Resolución:
Nos piden: El valor de verdad de la expresión dada.
A partir de las siguientes proposiciones:
q: 25 es un número cuadrado perfecto. ……..( V )
r : 31 es un número par. ……………………….…….( F )
p: 27 es un número primo absoluto. ………....( F )
Entonces:

A) V [(p  q)  ( r ∆ q)]  r p q pq pq pq pq p∆q

V V V V V V F
B) F [( V  V )  ( F ∆ F )]  V
C) p V F F V F F V

F V F V V F V
D) q [ V  F ]  V
E) r F F F F V V F

F  V

F
∴ 𝑬𝒍 𝒗𝒂𝒍𝒐𝒓 𝒅𝒆 𝒗𝒆𝒓𝒅𝒂𝒅 𝒆𝒔 𝑭
Aplicación 2: Resolución:
Al desarrollar la tabla de verdad Nos piden: El resultado de la matriz principal.
de.
p v q  p q) De los datos, elaboramos una tabla de verdad para la proposición dada
Indicar el resultado de la matriz
principal:

A) VVVV p q p q p ∆ q p v  q   p q)

B) FVVV
C) VFVF V V F F V F F V F F V
D) FFVV V F F V F F F F F V F
E) FFFF
F V V F F V V V V V F
F F V V V V V F V F V
Matriz
principal

∴ 𝑴𝒂𝒕𝒓𝒊𝒛 𝒑𝒓𝒊𝒏𝒄𝒊𝒑𝒂𝒍: 𝑭𝑭𝑽𝑽

Aplicación 3: Resolución:
¿Cuáles de las siguientes Nos piden: ¿Cuáles de las siguientes proposiciones son siempre verdaderas?
proposiciones son siempre Analizamos cada proposición compuesta:
verdaderas?
I.-  p q) qp I. p   q)  q  p Ley de Absorción
II.- p qq p  ( p  q) ≡ p
~p  (~p  q) ≡ ~p
 p  q p Ley de Absorción
A) Solo II p  (~ p  q) ≡ p  q
B) I y II
C) Indeterminado  pq  p
D) Solo I Ley De Morgan
Ley Condicional
E) Ninguna ∼( p ∧ q ) ≡ ∼p ∨ ∼ q
p → q ≡ ∼p ∨ q II. p  q  q
[ p   q ]  p
p  p  q Ley de Identidad
Ley Asociativa
p∨V≡V q
(p∨q)∨r≡p∨(q∨r)
V  q
Ley del complemento VoF
p ∨ ~p ≡ V
V ∴ 𝑺𝒊𝒆𝒎𝒑𝒓𝒆 𝒗𝒆𝒓𝒅𝒂𝒅𝒆𝒓𝒂: 𝑺𝒐𝒍𝒐 𝑰
Aplicación 4: Resolución:
Sabiendo que: Nos piden: Los valores de verdad de p, q , r y s, respectivamente
s p) r  (p  q)
es verdadero y que: Datos:
(pq)  r
es falsa, halle los valores de s  p)  r  (p  q) (p  q)   r
verdad de p, q, r y s, F V V F V F V
respectivamente.
F V F F
A) VVVV
B) VVFV
C) VFVF V F
F
D) FVFV
E) FFFF V
p q pq pq pq pq p∆q
V V V V V V F p≡V q≡F r≡V s≡F
V F V F F F V

F V V F V F V

F F F F V V F
∴ 𝑳𝒐𝒔 𝒗𝒂𝒍𝒐𝒓𝒆𝒔 𝒔𝒐𝒏: 𝑽𝑭𝑽𝑭
w w w. academ iacesar val lej o.edu .pe