NOMBRE:

David Antonio Amaro Núñez

MATRICULA:

17-8799

ASIGNATURA:

Lógica Matemática

TEMA:

Proposiciones lógicamente equivalentes

FACILITADOR:

Lic. Roberto Herrera J.

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)

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

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

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

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 ]

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

Contingencia
 f) [(p V q) ^ (p → r) ^ ¬ r] → q
(p V q) ^ ( p → r) [(p V q) ^ ( p → r) ^ ¬
P q r (p v q) ( p→ r) [(p V q) ^ ( p→ r) ^ ¬ r] → q
¬r r]
1 1 1 0 1 1 1 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

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

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

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

Falacia

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

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

Válido

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

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

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

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

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