Taller Lógica Matemática

1)

p q r s ~p (p ʌ q) (~p → r) ((~p → r) → s) (p ʌ q) → ((~p → r) → s)

v v v v f v v v v
v v v f f v v f f
v v f v f v v v v
v v f f f v v f f
v f v v f f v v v
v f v f f f v f v
v f f v f f v v v
v f f f f f v f v
f v v v v f v v v
f v v f v f v f v
f v f v v f f v v
f v f f v f f v v
f f v v v f v v v
f f v f v f v f v
f f f v v f f v v
f f f f v f f v v

2)

p q r (p ʌ q) (r ʌ q) (p ʌ q) → (r ʌ q)
v v v v v v
v v f v f f
v f v f f v
v f f f f v
f v v f v v
f v f f f v
f f v f f v
f f f f f v

3)

r s ~s (s v r) (r ʌ s) ((r ʌ s) →~ s) (s v r) →((r ʌ s) →~ s)
v v f v v f f
v f v v f v v
f v f v f v v
f f v f f v v