MATEMATICAS DISCRETAS

PRACTICO 2
TEMA LOGICA SIMBOLICA
1. [(p → q) ʌ ~q] →~p
p q (p → q) ʌ ~q → ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V

2. ~ [p → (p v q)]
~ [p → (p v q)]
F V V
F V V
F V V
F V F

3. ~ (p ʌ q) →p
~ (p ʌ q) →p
F V V
V F V
V F F
V F F

4. ~ (q ʌ p) →q
p q ~ (q ʌ p) →q
V V F V V
V F V F F
F V V F V
F F V F F

5. [(p → q) v (q ʌ ~p)]↔ (q v p)
p q ~p [(p → q) v (q ʌ ~p)] ↔ (q v p)
V V F V V F V V
V F F F F F F V
F V V V V V V V
F F V V V V F F

6. (p → q) ↔ ~ (p ʌ ~q)
(p → q) ↔ ~ (p ʌ ~q)

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

NEYCER NAY
MATEMATICAS DISCRETAS

7. (p→q) ʌ (r)↔~q→(~r→~p)
p q r ~p ~q ~r (p→q) ʌ (r) ↔ ~q → (~r→~p)
V V V F F F V V V V F V V
V V F F F V V F F F F V F
V F V F V F F F V F V V V
V F F F V V F F F V V F F
F V V V F F V V V V F V V
F V F V F V V F F F F V V
F F V V V F V V V V V V V
F F F V V V V F F F V V V

8. q→~p↔~ (q ʌ p) ↔~q ʌ ~p
p q ~p ~q q→ ~p ↔ ~ (q ʌ p) ↔ ~q ʌ ~p
V V F F
V F F V
F V V F
F F V V

9. ~p v ~r→~ (p ʌ q) v ~r
p q r ~p ~q ~r ~p v ~r → ~ (p ʌ q) v ~r
V V V F f F F V F V V
V V F F F V V F F V V
V F V F V F F V V F V
V F F F V V V V V F V
F V V V F F V V V F V
F V F V F V V V V F V
F F V V V F V V V F V
F F F v V V V V V F V

10. (p ʌ ~q) ʌ (q→ ~r)

(p ʌ ~q) ʌ (q→ ~r)
F F F
F F V
V V V
V V V
F F F
F F V
F F V
F F V

NEYCER NAY
MATEMATICAS DISCRETAS

11. ~p v (q ʌ r)
~p v (q ʌ r)
F V V
F F F
F F F
F F F
V V V
V V F
V V F
V V F

12. [p v (~q→p)]ʌ ~[(p↔~q) → (q v ~p)]

p q ~p ~q [p v (~q→p)] ʌ ~ [(p↔~q) → (q v ~p)]
V V F F V V F F F V V
V F F V V V V V V F F
F V V F V V F F V V V
F F V V F F F F F V V

NEYCER NAY