MATEMÁTICAS DISCRETAS

LÓGICA PROPOSICIONAL:
Enfoque sintáctico

• M.C. José Luis Ramírez Alcántara

• jlram@cenidet.edu.mx

» Agosto-2005
 Lógica proposicional: enfoque sintáctico

• El alfabeto de un lenguaje L consta de los siguientes

símbolos:
• Para simbolizar proposiciones:
– P, Q, R, S, T, U, V, W, P1, Q1, R1, S1, T1, ... ( o minúsculas)
y se les llamará variables proposicionales.
• Conectivas: negación (¬, ~), conjunción (),
disyunción (), implicación o condicional ( ) y se
define el bicondicional (, ) como
P  Q =def (P Q)  (Q  P)
• Signos auxiliares:
paréntesis izquierdo (, {, [
paréntesis derecho ), }, ]
para eliminar ambigüedades sintácticas.
 Lógica proposicional: enfoque sintáctico

• EJEMPLOS DE FBF:
• P
• ¬(¬P  Q)
• [(P  Q)  (Q  R)]  (P  R)
• [(P  Q)  ¬ Q]  ¬P
• ¬(P  Q)  (¬ P  ¬ Q)
Lógica proposicional: enfoque sintáctico
 Sistema de Gentzen: Deducción Natural
• Reglas de transformación o deducción:
Conjunción
P, Q
i- PQ PQ e-
PQ
P Q

Disyunción

P P  Q, P
i- R, Q R e-
PQ R
Lógica proposicional: enfoque sintáctico
 Sistema de Gentzen: Deducción Natural

Implicación
P Q P, P  Q
i- e-, MP
PQ Q
Negación
P
.
.
. ¬¬P
Q  ¬Q o P ├ Q  ¬Q i- ¬ -------- e- ¬
--------- --------------- P
¬P ¬P
 Lógica proposicional: enfoque sintáctico

• ¿Del conjunto de fórmulas {P →(Q →R), P Q} se

deduce R?, es decir
{P →(Q →R), P Q} ├ R

?
DEDUCCIÓN:

*1 P →(Q →R)
*2 PQ
3 P e- 2
4 Q →R e-→ 1,3
5 Q e- 2
6 R e-→ 4,5
 Si se deduce R
 Lógica proposicional: enfoque sintáctico

• ¿Del conjunto de fórmulas {P Q → R;

R → S  T; P  Q} se deduce S  T?

DEDUCCIÓN:
*1 P  Q → R
*2 R → S  T
*3 P  Q
4 R e → 1,3
5 ST e → 2,4

 {P Q → R; R → S  T; P  Q} ├ S  T
 Lógica proposicional: enfoque sintáctico

• ¿Del conjunto de fórmulas {P → Q; P  R; Q → ¬R}

se deduce ¬S?

Deducción:
*1 P → Q
*2 P  R
*3 Q → ¬R
4 S
5 P e 2
6 R e 2
7 Q e→ 1,5
8 ¬R e→ 3,7
9 R ¬R i  6,8  Si se deduce ¬S
10 ¬S i ¬ 4-9
 Lógica proposicional: enfoque sintáctico

• Demuestre que:
├ (P→ Q) → [(Q → R) → P → R]

• Demostración:
1 P→ Q
2 Q→R
3 P
4 Q e → 1, 3
5 R e → 2, 4
6 P→R i → 3- 5
7 [(Q → R) → (P → R) i → 2- 6

8 P→ Q) → [(Q → R) → P → R] i → 1-7
 Lógica proposicional: enfoque sintáctico
• Demostrar que
{P  R → S  R; R → T; S → M} ├ P → T  M

*1 PR→SR
*2 R→T
*3 S→M
4 P
5 PR i- 4
6 SR e → 1,5
7 S
8 M e → 3,7
9 TM i- 8
10 R
11 T e → 2,10
12 TM i- 11
13 TM e- 6, 7- 9, 10-12
14 P → T  M i → 4 -13
 Lógica proposicional: enfoque sintáctico

• Completar lo que falte en la demostración:

*1 ST
*2 TWQ
*3 WP
*4 PQ ├S Q
5 S
6 T e  1,
7 WQ
8 W
9 P e
10 Q
11 S Q i  5-10
 Lógica proposicional: enfoque sintáctico

• Completar lo que falte en la demostración:

* 1 T  (P  (S  R)) ├ P  (S  (T  R))
2 P
3 S
4 T
5 P  (S  R)
6 SR
7 R
8 TR
9 S  (T  R)
10 P  (S  (T  R)) i  2-9
 Lógica proposicional: enfoque sintáctico

• Demostrar que del conjunto de premisas dado, se pueden

deducir las conclusiones indicadas.
• a) {T (P  S)  (S  ¬R); (¬S  R)  (¬¬T  ¬ (P  Q)}
├ ¬(P Q)  (S  ¬R)

• b) {R  ¬ S  (S  P)  (¬Q  ¬T); S  Q; P  Q} ├ R  Q

• c) {P  T  R; T  S  M; R  ¬S; (M  ¬S)  ¬(T  R)}

├ ¬P

• d) {R  S  T  W; T  W  R; R  P  Q; R  S }
├ PQ