Logika sudova – Semantika

Simbolička logika - ak.g. 2010/11.

Pitanja i zadaci za vježbu

(1) Napišite semantičke tablice za sljedeće formule:

P ∨ ¬ ( Q ↔ R ); Q ∨ ( ¬ (¬Q ∧ ¬P))

(2) Odredite jesu li sljedeće formule tautologije, kontradikcije ili kontingentne

formule:

P → (( P ∧ ¬P) → ¬P); P ∨ (Q ∧ (¬P ∨ ¬Q))

(3) Kada su formule logički ekvivalentne? Navedite primjer formula koje su logički
ekvivalentne i primjer onih koje to nisu.

(4) Je li formula P → (Q ∧ ¬Q) semantička posljedica formule ¬P ∨ R ?

(5) Je li formula P → (Q → R) semantička posljedica formule R → (¬Q → ¬P)?

(6) Koji su od sljedećih sudova kontradikcije? Pokažite da je sud kontradikcija

koristeći jezik logike sudova i semantičke tablice:

- Zagreb je glavni grad Hrvatske i Zagreb nije glavni grad Hrvatske

- Ako je Zagreb glavni grad Hrvatske , onda Zagreb nije glavni grad
Hrvatke.
- Ako su Ana i Igor išli na zabavu, onda je Ana išla na zabau ali Igor
nije.

(7) Je li sljedeći argument tautologija? Odgovor obrazložite.

- Aktivisti za prava životinja prekinuti će prosvjed ako Sveučilište u Oxfordu

prekine pokuse na životinjama. To će se međutim desiti samo ako dodje do
intervencije Vlade. Dakle, osim ako Vlada ne intervenira, aktivisti neće
prekinuti prosvjed.