1.

- Construir la tabla de verdad de las siguientes

proposiciones lógicas y determina si son tautología,
contradicción o indeterminación
a. p→~ q
p q -q p→~ q

resultado
resultado
resultado
resultado

b. p↔(q∨r)
p q r qvr p↔(q∨r)

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado

c. (p ∨ q) ∧ (p → r)
p q r p∨q p→r (p ∨ q) ∧ (p → r)

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
d. (p → q) ∧ (p ∧ r)
p q r p→q p∧r (p → q) ∧ (p ∧ r)

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado

e. (p ∧ q) → r
p q r p∧q (p ∧ q) → r

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado

f. p ∨ (q ∧ r)
p q r q∧r p ∨ (q ∧ r)

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
 g. [(p∧q) →r] ∧~ [(p∧q) →t]
p q r t p∧q (p∧q) →r (p∧q) →t ~ [(p∧q) →t] [(p∧q) →r] ∧~ [(p∧q) →t]

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado

h. (~p→q)∧r
p q r ~p ~p→q (~p→q)∧r

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado
i. p→(~q∨r)
p q r ~q ~q∨r p→(~q∨r)

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado

j. (p∨q) →~ r
p q r ~r p∨q (p∨q) →~ r

resultado
resultado
resultado
resultado
resultado
resultado
resultado
resultado