UNIVERSIDAD ABIERTA PARA ADULTOS

UAPA

Asignatura:
Lógica matemática

Tema:
Unidad II

Facilitador:

Participante:

Fecha:
I) Completa la siguiente tabla y luego clasifícala en tautología, contingencia o
contradicción:

q ~p ~q (~p ^ ~q) (p v q) (~p ^ ~q)→ (p v q)

1 1 0 0 0 1 1
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 1 0 0

Respuesta: contingencia.

II) Demuestre por medio de tablas de verdad si la siguientes proposiciones son

Tautología (T) Contingencia o Indeterminación (k) o Contradicción (C)

a) [(p → q) ∧ ~p] →~q = tautología(T)

p q ~p ~q (p → q) [(p → q) ∧ ~p] [(p → q) ∧ ~p] →~q

1 1 0 0 1 0 1
1 0 0 1 0 0 1
0 1 1 0 1 1 1
0 0 1 1 1 1 1

b) [(p v q) r] ↔ [(p ↔q) v r ]

c) ~ {[~p ∧ (~q v p)] → q} = Contingencia(k)

p q ~p ~ q (~q v p) [~p ∧ (~q v p)] {[~p ∧ (~q v p)] → q} ~{[~p ∧ (~q v p)] → q}
1 1 0 0 1 0 1 0
1 0 0 1 1 0 1 0
0 1 1 0 0 0 1 0
0 0 1 1 1 1 0 1
d) [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)] = Contingencia(k)
a b c (a v b) (a v c) (b ∧ c) [(a v b) ∧ (a v c)] [a v (b ∧ c)] [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)]

1 1 1 1 1 1 1 1 1

1 1 0 1 1 0 1 1 1

1 0 1 1 1 1 1 1 1

1 0 0 1 1 0 1 1 1

0 1 1 1 1 0 1 0 0

0 1 0 1 0 0 0 0 1

0 0 1 0 1 0 0 0 1

0 0 0 0 0 0 0 0 1

e) [(a → b) ∧ (b →c)] ↔(a → c) = Contingencia(k)

a b c (a→b) (b→c) (a→c) [(a → b) ∧ (b →c)] [(a → b) ∧ (b →c)] ↔(a → c)

1 1 1 1 1 1 1 1

1 1 0 1 0 0 0 1

1 0 1 0 1 1 0 0

1 0 0 0 1 0 0 1

0 1 1 1 1 1 1 1

0 1 0 1 0 1 0 0

0 0 1 1 1 1 1 1

0 0 0 1 1 1 1 1

f) [(p V q) ^ ( p→ r) ^ ¬ r] → q
g) [ ((p ^ ¬ q) ^ ( q → r)) ^ ¬ r] → p
h) [(p ˄ q) ˅ ~r)] ↔(~p ˄ r)
 III) Utilice las reglas de inferencia para determinar el valor de verdad de las
siguientes formas argumentales:

a) H1: P
H2: PQ
H3: QR
_________
C: ┐P Λ R

[{Pᶺ (P→Q}) ᶺ (Q→R)]→ (~PᶺR)

P Q R ~P P→Q Q→R ~PᶺR Pᶺ(P→Q) {Pᶺ(P→Q})ᶺ(Q→R) [{Pᶺ(P→Q})ᶺ(Q→R)]→(~PᶺR)

1 1 1 0 1 1 0 1 1 0
1 1 0 0 1 0 0 1 0 1
1 0 1 0 0 1 0 0 0 1
1 0 0 0 0 1 0 0 0 1
0 1 1 1 1 1 1 0 0 1
0 1 0 1 1 0 0 0 0 1
0 0 1 1 1 1 1 0 0 1
0 0 0 1 1 1 0 0 0 1

b) P1: P Λ Q
P2: PQ
P3: QR
_________
C: ┐P Λ R

{[(P Λ Q) ᶺ (P→Q)] ᶺ (Q→R)}→ (~PᶺR)

P Q R ~P P ΛQ P→Q Q→R ~PᶺR (P Λ Q)ᶺ( P→Q) {[(P Λ Q)ᶺ( P→Q)]ᶺ {[(P Λ Q)ᶺ(
(Q→R)} P→Q)]ᶺ
(Q→R)}→(~PᶺR)

1 1 1 0 1 1 1 0 1 1 0

1 1 0 0 1 1 0 0 1 0 1

1 0 1 0 0 0 1 0 0 0 1

1 0 0 0 0 0 1 0 0 0 1

0 1 1 1 0 1 1 1 0 0 1

0 1 0 1 0 1 0 0 0 0 1

0 0 1 1 0 1 1 1 0 0 1

0 0 0 1 0 1 1 0 0 0 1
IV) Compruebe que las siguientes reglas de inferencias son tautologías

 Modus Ponens

P Q P→Q (P→Q)ᶺP [(P→Q)ᶺP]→Q

1 1 1 1 1

1 0 0 0 1

0 1 1 0 1

0 0 1 0 1

 Modus Tollens

P Q ~P ~Q P→Q (P→Q)ᶺ~Q [(P→Q)ᶺ~Q]→~P

1 0 0 0 1 0 1
1 0 0 1 0 0 1
0 1 1 0 1 0 1
0 0 1 1 1 1 1
V) Compruebe la equivalencia lógica en cada caso:

Implicación y Disyunción

P Q P→Q P Q ~P ~P˅Q
1 1 1 1 1 0 1
1 0 0 1 0 0 0
0 1 1 0 1 1 1
0 0 1 0 0 1 1

Doble Negación
P ~P ~~P
1 0 1
0 1 0

De Morgan

P Q P˅Q ~(P˅Q) P Q ~P ~Q ~Pᶺ~Q

1 1 1 0 1 1 0 0 0
1 0 1 0 1 0 0 1 0
0 1 1 0 0 1 1 0 0
0 0 0 1 0 0 1 1 1

b)
P Q PᶺQ ~(PᶺQ) P Q ~P ~Q ~P˅~Q
1 1 1 0 1 1 0 0 0
1 0 0 1 1 0 0 0 1
0 1 0 1 0 1 1 0 1
0 0 0 1 0 0 1 1 1