Asignatura:

Lógica Matemática
Tema:
Proporciones Logicamente Equivalentes

Sustentado Por:
Juan Daniel Liriano Hernández

Matricula:
17-2126

Facilitador(a):
Roberto Herrera
27/01/2018
Santiago, R.D.
I) Completa la siguiente tabla y luego clasifícala en tautología, contingencia o
contradicción:

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

v v f f v v v
v f f v v v v
F v v f v V v
F f v v f f f

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

P q ~p ~q (pq) [(p q) ∧ ~p] [(p q) ∧ ~p] ~q

v v f f v f v
v f f v f f v
f v v f v v f
f f v v v v v

Contingencia

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

P q r (p v q) (p↔q) [(p v q) ˄ r] [(p↔q) v r ] [(p v q) ˄ r] ↔ [(p ↔q) v r ]

v v v v v v v v
v v f v v f v f
v f v v f v f v
v f f v f f f v
f v v v f v v v
f v f v f f f v
f f v f v f v f
f f f f v f v f
Contingencia
 c) ~ {[~p ∧ (~q v p)] → q}
P q ~p ~q (~q v p) [~p ∧ (~q v p)] {[~p ∧ (~q v p)] → q} ~{[~p ∧ (~q v p)] → q}

V v f f v f v F

V f f v v f v F

F v v f f f v F

F f v v v v f V

d) [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)

a b c (a v b) (a v c) (b ∧ c) [(a v b) ∧ (a v c)] [av (b ∧ c)] [(a v b) ∧ (a v c)] ↔ [a v (b ∧ c)]

v v v v v v v v v
v v f v v f f v f
v f v v v f f v f
v f f v v f f v f
f v v v v v v v v
f v f v f f f f v
f f v f v f f f v
f f f f f f f f V
Contingencia

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

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

v v v v v v v v
v v f v f f f v
v f v f v v f f
v f f f v f f v
f v v v v v v v
f v f v f v f f
f f v v v v v v
f f f v v v v v
Contingencia
 f) [(p V q) ^ ( p→ r) ^ ¬ r] → q

(p V q) ^ ( p → r) [(p V q) ^ ( p → r) ^ ¬ [(p V q) ^ ( p→ r) ^ ¬ r] →
P q r (p v q) ( p→ r)
¬r r] q
v v v f v v v 0 1
1 1 0 1 1 0 0 0 1
1 0 1 0 1 1 1 0 1
1 0 0 1 1 0 0 0 1
0 1 1 0 1 1 1 0 1
0 1 0 1 1 1 1 1 1
0 0 1 0 0 1 0 0 1
0 0 0 1 0 1 0 0 1

Tautología

g) [ ((p ^ ¬ q) ^ ( q → r)) ^ ¬ r] → p

h) [(p ˄ q) ˅ ~r)] ↔(~p ˄ r)

P q r ~p ~r (p ˄ q) (~p ˄ r) [(p ˄ q) ˅ ~r)] [(p ˄ q) ˅ ~r)] ↔ (~p ˄ r)

v v v f f v f v f
v v f f v v f v f
v f v f f f f f v
v f f f v f f v f
f v v v f f v f f
f v f v v f f v f
f f v v f f v f f
f f f v v f f f v
Contingencia

III) Utilice las reglas de inferencia para determinar el valor de verdad de las
siguientes formas argumentales:

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

F V

f
Falacia

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

F V

c) P → Q

R → ~S

Q ˄~S
_______________________
(~P ↔ R) → (Q V ~S)

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

Solo las dos primeras

V V V
a) H1: PQ
V V
H2: P
C: Q
 V

Válido

V F F
a) H1: PQ
V V
H2: ~Q
C: ~P

Valido

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

Por implicación y Disyuncion

P Q ~P PQ ~P V Q
1 1 0 1 1
1 0 0 0 0
0 1 1 1 1
0 0 1 1 1
Por La Ley de Morgan

P Q ~P ~Q PVQ ~ (P V Q) ~P ˄ ~Q
1 1 0 0 1 0 0
1 0 0 1 1 0 0
0 1 1 0 1 0 0
0 0 1 1 0 1 1

P Q ~P ~Q P˄Q ~ (P ˄ Q) ~P V ~Q
1 1 0 0 1 0 0
1 0 0 1 0 1 1
0 1 1 0 0 1 1
0 0 1 1 0 1 1

Doble Negacion

P ~P ~~P P
1 0 1 1
0 1 0 0