OKRUH Č. 1
VÝROKOVÁ LOGIKA
1. Rozhodněte o pravdivosti výroků:
a) Spojnice bodů, které vyznačují na ciferníku hodin 5, 10 a 9, 12 jsou k sobě kolmé.
b) (− 2,5)−4
> 5−4
Své tvrzení zdůvodněte.
2. Rozepište jako konjunkci, příp disjunkci, a pak znegujte:
a) 3 < 6 < 9;
b) sin 30° ≤ 1.
3. Zapište negace výroků:
a) Bodoval právě osmkrát.
b) Řeknu ti všechno.
c) Něco mě trápí.
d) Aspoň pět příkladů vypočítám.
e) (𝐴 ⋀ ¬𝐶) ⇒ [(𝐴 ⋀ 𝐵) ⋁ 𝐶]
4. Rozhodněte, zda je daná výroková formule tautologií: (𝐴 ⇒ 𝐵) ⇔ (𝐴 ⋀ ¬𝐵)