Matematička logika i teorija skupova

Zadaća 2, 9.11.2017.

Zadatak 1. Koje su od sljedećih rečenica (tvrdnji) sudovi?

1. Volga je najduža europska rijeka.

2. Prag je glavni grad Poljske.

3. Sladoled od vanilije je najbolji.

4. 2 + 2 = 5.

5. 2x > 8.

Zadatak 2. Neka je A sud ”Uplatio sam listić za loto”, a B sud ”Dobio sam milion
kuna”. Na hrvatskom jeziku iskažite sljedeće sudove (običnim rečenicama).

1. ¬A

2. A ∨ B

3. A → B

4. A ∧ B

5. A ↔ B

6. ¬A → ¬B

7. ¬A ∧ ¬B

Zadatak 3. Napravite tablice istinitosti za sljedeće formule.

1. A ↔ ¬A

2. (A ∨ B) → A

3. (A ∧ B) ↔ (¬A ∨ ¬B)

4. (A → B) ↔ (¬B → ¬A)

5. (A → B) ∧ (¬A → B)

Zadatak 4. Odredite koje su od sljedećih implikacija istinite, a koje neistinite.

1. Ako je 1 + 1 = 2, onda je 2 + 2 = 5.

2. Ako je 1 + 1 = 3, onda je 2 + 2 = 4.

3. Ako gusjenice mogu letjeti, onda je 2 + 2 = 5.

Zadatak 5. Pokažite da vrijede dolje navedene logičke ekvivalencije.

1
 1. (A ∧ (A ∨ B)) ⇔ A

2. (A ∧ (B ∨ C)) ⇔ (A ∧ B) ∨ (A ∧ C)

3. (A ∨ B) ⇔ ¬(¬A ∧ ¬B)

4. (A → B) ∧ (A → C) ⇔ A → (B ∧ C)

Zadatak 6. Pokažite da se logički veznici ∧ i ∨ mogu izraziti pomoću veznika → i ¬.