Lógica I/Formal

Año 2020
Ejercicios Cap. 4
Construya una tabla de verdad para las siguientes formulas y determine cuál de ellas es
satisfactible, tautología, contradicción:

(En breve subiremos un cuestionario al aula virtual para que puedan cargar sus respuestas y
verificar que sean correctas)

a. A¬B
b. ¬AB
c. ¬(AB)
d. ¬ (A¬B)
e. ¬ (AB)
f. (B↔C) ¬(B↔C)
g. (B↔C) ¬(B↔C)
h. ¬ ((B↔C) ¬(B↔C))
i. A (B¬C)
j. A¬ (B¬C)
k. (A C) ¬B
l. ((A→B)  A)→B
m. (A→B)→A
n. (C→B)→A
o. ((A→B)  (A→¬B))→ ¬A
p. ¬ (C→B)
q. ¬C→¬B
r. B→ (¬AA)
s. (B↔C)↔¬B
t. (B→C)↔(CB)
u. (B↔C)→(CB)
v. ¬(¬B↔(CB))
w. (AB)→(BA)
x. (AB)V(¬A¬B)
y. (AB)V(A¬B)
z. A→(AC)
aa. (¬AB)↔(A→B)
bb. ¬(AB) C
cc. (AB) ¬(A (BC)