UNIVERSIDAD JUAREZ

AUTONOMA DE TABASCO

PENSAMIENTO MATEMATICO

PROF. FRANCISCO ALBERTO HERNANDEZ DE

LA ROSA

ALUMNA: KAREN LILIBETH HERNANDEZ

MARTINEZ

LIC. ACTUARIA

ACTIVIDAD 9

GRUPO: E

Viernes 23 de abril del 2021

 Ejercicio 6
[ ~ (p→q) (p↔q)] ∆ [(~p→q) ~p]

Construya una tabla de verdad para la siguiente proposición:

V Q

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

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

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

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

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

F F F V V F V F V F V F
Ejercicio 7
Utilizando las tablas de verdad, determínese cuáles de las siguientes
proposiciones son tautológicas, contradictorias o indeterminadas (contingentes):
1) ~ p q contradictoria
2) (p q) ˄ →p taulógica
3) ~[(p q) ˄ →p] contradictoria

4) p↔~ contradictoria

5) p ~p contradictoria

6) q→q Taulógica

7) (p ~p) ˅ ˄(q→q) Indeterminada

8) (p↔~p) (p ˄ ~p) Contradictoria

9) (p↔~p) (p ~p) Contradictoria

10) (~p q) ↔ (p→q) Indeterminada