Càlculs de lògica formal.

Es tracta de fer exercicis he presentat diversos models, n'hi ha d'altres al Moodle, aneu fent i treballant.

A. Construeix les taules de veritat. Digues si és una Tautologia, una indeterminació o una contradicció.  Explica i defineix, amb dues línies, per què i justifica les respostes.

a) ¬ [(p→q) ↔(q^p)]

b) (¬  p ^ q) ↔ q

c) ¬ { [(p→p) ↔ (q ^ q) ]↔ (p ^ q)}

d) (p→p) ↔ (q →q)

e) ¬ [ (p ^ p) → (qnq) ]

1. Construeix les taules de veritat. Digues si és una Tautologia, una indeterminació o una contradicció.  Explica i defineix, amb dues línies, per què i justifica les respostes.

1a) ¬ (p→q) ↔ ¬ (q^p)

2b) ¬ [(p^ q) ↔ (p → p)]

3c)  ¬ {[(p ٧ q) ٧  (p٧  p)]٧  (q ↔ q)}

4d)  (¬ p→p) ↔ (q →¬ q)

 

Fins ara i aneu calculant.