NOMBRE:

Ricardo Ant. Almonte Sánchez

MATRICULA:

17 - 5850

ASIGNATURA:

Lógica Matemática

FACILITADORA:

Roberto Herrera
 EJERCICIO DEL TEMA II
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 F V V
V F F V F V V
F V V F F V V
F F V V V F F

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 (Contingencia)

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
 b) [(p v q) ∧ r] ↔ [(p ↔q) v r ] (Contingencia)

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 V 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

F) [(p V q) ^ ( p→ r) ^ ¬ r] → q (Tautologia)

P Q R ~R PvQ Q→R (PVQ) ᶺ (Q→R) (PVQ) ᶺ (Q→R) ᶺ ~R [PVQ) ᶺ (Q→R)ᶺ~R] →P

V V V F V V V F V
V V F V V F F F V

V F V F V V V F V
V F F V V F F F V
F V V F V V V F V
F V F V V V V V V

F F V F F V F F V
F F F V F V F F V

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 V F
 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)

V V V F V V F V V F
V V F F V F F V F V
V F V F F V F F F V
V F F F F V F F F V
F V V V V V V F F V
F V F V V F F F F V
F F V V V V V F F V
F F F V V V F F F V

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)

V V V F V V V F V V F

V V F F V V F F V F V

V F V F F F V F F F V

V F F F F F V F F F V

F V V V F V V V F F V

F V F V F V F F F F V

F F V V F V V V F F V

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

 Modus Ponens

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

V V V V V

V F F F V

F V V F V

F F V F V

 Modus Tollens

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

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

1) Implicación y Disyunción
P Q P→Q P Q ~P ~P˅Q
V V V V V F V
V F F V F F F
F V V F V V V
F F V F F V V

2) Doble Negación

P ~P ~~P
V F V
F V F

3) De Morgan
P Q P˅Q ~(P˅Q) P Q ~P ~Q ~Pᶺ~Q
V V V F V V F F F
V F V F V F F V F
F V V F F V V F F
F F F V F F V V V

b)
P Q PᶺQ ~(PᶺQ) P Q ~P ~Q ~P˅~Q
V V V F V V F F F
V F F V V F F V V
F V F V F V V F V
F F F V
F F V V V