Question

. Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradicción, una tautología o una proposición empírica.
a. (p ∧ q) ∨ (p ∨ ¬q)

b. (p ∨ ¬q) → ( ¬p → ¬q)

ayudenmen por favor

Answer 1

Tenemos.

p    q  - q      (p∧q)    (pv -q)          (p∧q) v (pv - q)
v    v     f          v            v                        v
v    f     v          f             v                        v
f    v     f          f              f                         f
f    f     v          f              v                        v
Proposicion empirica.


p    q      -p        -q    (p v -q)      (-p → -q)        (p v -q) → (-p→ -q)
v     v      f          f          v                v                        v
v     f      f          v          v                v                        v
f     v     v          f           f                 f                         v                  
f     f      v         v          v                v                         v
Es tautologia.
 

Answer 2

Tenemos.

p    q  - q      (p∧q)    (pv -q)          (p∧q) v (pv - q)

v    v     f          v            v                        v

v    f     v          f             v                        v

f    v     f          f              f                         f

f    f     v          f              v                        v

Proposicion empirica.

p    q      -p        -q    (p v -q)      (-p → -q)        (p v -q) → (-p→ -q)

v     v      f          f          v                v                        v

v     f      f          v          v                v                        v

f     v     v          f           f                 f                         v                  

f     f      v         v          v                v                         v

Es tautologia.