REPÙBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÒN

UNIVERSIDAD BICENTENARIA DE ARAGUA

ESTADO GUÀRICO

CONTADURIA J1

Ejercicios de Lógica
Matemática

DONCENTE: PARTICIPANTE:

ANGÈLICA CORTEZ IVANA PINTO

C.I: 28.262.937

San Juan de los Morros, septiembre de 2017

República Bolivariana de Venezuela
Universidad Bicentenaria de Aragua
Facilitador: Msc. Angélica Cortez.

Ejercicios de Lógica Matemática

1.- Dadas las siguientes proposiciones, elabora su tabla de verdad e indica si es

tautología, contradicción o contingencia.

a) (s^t) → ( svt)

b) (p↔q) → (¬ q → ¬p)

c) (r →s) ↔ (¬ s→ ¬ t)

d) [ ¬ q ^(p → q) ] → ¬ p

e) p^ ¬ p
 a) (s^t) → ( svt) (TAUTOLOGIA)

s t (s^t) (svt) (s^t) → ( svt)

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

b) (p↔q) → (¬ q → ¬p) (TAUTOLOGIA)

p q ¬q ¬p (p↔q) (¬ q → ¬p) (p↔q) → (¬ q → ¬p)

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

c) (r →s) ↔ (¬ s→ ¬ t) (CONTINGENCIA)

r s t ¬s ¬t (r →s) (¬ s→ ¬ t) r →s) ↔ (¬ s→ ¬ t)
V V V F F V V V
V V F F V V V V
V F V V F F F V
V F F V V F V F
F V V F F V V V
F V F F V V V V
F F V V F V F F
F F F V V V V V

d) [ ¬ q ^(p → q) ] → ¬ p (TAUTOLOGIA)

p q ¬p ¬q (p → q) [ ¬ q ^(p → q) ] [ ¬ q ^(p → 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
e) p^ ¬ p (CONTRADICCION)

p ¬p p^ ¬ p
V F F
F V F