ZADANIA Z ALGEBRY I LOGIKI

Zestaw 1
Rachunek zda«

1. Oceni¢, które z poni»szych zda« s¡ prawdziwe.

(a) (2 > 3) =⇒ (2 < 3).

(b) (2 < 3) =⇒ (2 > 3).
(c) (2 < 3) ⇐⇒ (2 > 3).
(d) (2 < 3 ∨ 2 > 3) =⇒ (2 < 3 ∧ 2 > 3).
(e) (2 < 3 ∧ 2 > 3) =⇒ (2 < 3 ∨ 2 > 3).
(f) (2 > 3) =⇒ (2 > 3 ∧ 2 < 3).
(g) (2 > 3) =⇒ (2 > 3 ∨ 2 < 3).
(h) (2 < 3) =⇒ (2 > 3 ∧ 2 < 3).
(i) (2 < 3) =⇒ (2 > 3 ∨ 2 < 3).
(j) (2 > 3 ∧ 2 < 3) =⇒ (2 > 3).
(k) (2 > 3 ∨ 2 < 3) =⇒ (2 > 3).
(l) (2 > 3 ∧ 2 < 3) =⇒ (2 < 3).
(m) (2 > 3 ∨ 2 < 3) =⇒ (2 < 3).

2. Sprawdzi¢, »e poni»sze wyra»enia s¡ tautologiami:

(a) p ⇒ p,
(b) p∨ ∼ p,
(c) ∼ (p∧ ∼ p),
(d) (p ⇒ q) ⇔ (∼ q ⇒∼ p),
(e) (p ⇒ q) ⇔ (∼ p ∨ q),
(f) ∼ (p ⇒ q) ⇔ (p∧ ∼ q),
(g) (p ∨ q) ⇔ (q ∨ p),
(h) (p ∧ q) ⇔ (q ∧ p),
(i) (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r),
(j) (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r),
(k) (p ∨ q) ∧ r ⇔ (p ∧ r) ∨ (q ∧ r),
(l) (p ∧ q) ∨ r ⇔ (p ∨ r) ∧ (q ∨ r),

1
 (m) ∼ (p ∨ q) ⇔∼ p∧ ∼ q ,
(n) ∼ (p ∧ q) ⇔∼ p∨ ∼ q .

3. Sprawdzi¢, czy nast¦puj¡ce wyra»enia s¡ tautologiami?

(a) [(p ⇒ q) ⇒ r] ⇔ [p ⇒ (q ⇒ r)],

(b) [(p ⇔ q) ⇔ r] ⇔ [p ⇔ (q ⇔ r)],
(c) [p ⊻ (q ⊻ r)] ⇔ [(p ⊻ q) ⊻ r].

4. Zapisa¢ prawa przemienno±ci, ª¡czno±ci, rozdzielno±ci dla spójników ∨, ∧,

⊻, ⇒, ⇐⇒ jako wyra»enia logiczne i sprawdzi¢ czy s¡ tautologiami.

5. Zapisa¢ zaprzeczenia spójników logicznych ∨, ∧, ⊻, ⇒, ⇐⇒ jako tauto-

logie rachunku zda«.
6. Zdeniowa¢ alternatyw¦ za pomoc¡ koniunkcji i negacji.
7. Zdeniowa¢ alternatyw¦ za pomoc¡ implikacji i negacji.
8. Udowodni¢, »e nie mo»na zdeniowa¢ implikacji za pomoc¡ alternatywy i
koniunkcji.
9. U»ywaj¡c spójników logicznych ∼, ∧, wyznaczy¢ wyra»enie zale»ne od
zmiennych p, q, r, s, które przyjmuje warto±¢ 1 tylko w przypadku gdy p
ma warto±¢ 1, q warto±¢ 0, r warto±¢ 1 i s warto±¢ 1.
10. U»ywaj¡c spójników logicznych ∼, ∨, ∧, wyznaczy¢ wyra»enie zale»ne od
zmiennych p, q, r, s, które przyjmuje warto±¢ 1 tylko w przypadku gdy p
ma warto±¢ 1, q warto±¢ 0, r warto±¢ 1 i s warto±¢ 1 lub gdy p ma warto±¢
0, q warto±¢ 1, r warto±¢ 1 i s warto±¢ 1 .

11. U»ywaj¡c spójników logicznych ∼, ∨, wyznaczy¢ wyra»enie zale»ne od

zmiennych p, q, r, s, które przyjmuje warto±¢ 0 tylko w przypadku gdy p
ma warto±¢ 1, q warto±¢ 1, r warto±¢ 0 i s warto±¢ 1.
12. U»ywaj¡c spójników logicznych ∼, ∨, ∧, wyznaczy¢ wyra»enie zale»ne od
zmiennych p, q, r, s, które przyjmuje warto±¢ 0 tylko w przypadku gdy p
ma warto±¢ 1, q warto±¢ 1, r warto±¢ 1 i s warto±¢ 0 lub gdy p ma warto±¢
1, q warto±¢ 1, r warto±¢ 0 i s warto±¢ 1.

13. U»ywaj¡c spójników logicznych ∼, ∨, ∧, wyznaczy¢ dwa wyra»enia zale»ne

od zmiennych p, q, r, które jest równowa»ne funkcji Φ(p, q, r) okre±lonej w
tabeli:

2
 p q r Φ(p, q, r)
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0

14. Znale¹¢ formuª¦ w mo»liwie najkrótszej formie zapisan¡ przy pomocy

spójników ∼, ∨, ∧ równowa»n¡ formule p ∨ r ⇒ q .
15. U»ywaj¡c ró»nych tautologii, upro±ci¢ wyra»enia:

(∼ p ∧ q∧ ∼ r) ∨ (∼ p ∧ q ∧ r) ∨ (p∧ ∼ q∧ ∼ r) ∨ (p ∧ q∧ ∼ r).

16. Przeanalizowa¢ rozumowanie:

Je±li jestem geniuszem lub b¦d¦ si¦ uczyª, zdam egzamin. Je±li zdam eg-
zamin, zostan¦ dopuszczony do nast¦pnych wykªadów. A wi¦c nie b¦d¦ si¦
uczyª.
17. Przeanalizowa¢ zdanie:
Je»eli gura A jest czworok¡tem i A ma wszystkie k¡ty równe, to z faktu,
i» A jest czworok¡tem, wynika i» A ma wszystkie boki równe.
18. Udowodni¢ nast¦puj¡ce twierdzenie:
Je±li prawdziwe s¡ wynikania
p1 ⇒ q1 , . . . , p n ⇒ qn

oraz zdania
(p1 ∨ . . . ∨ pn ) i ∼ (qi ∧ qj ) dla i ̸= j,
to prawdziwe s¡ te» wynikania
q1 ⇒ p 1 , . . . , q n ⇒ pn .

Mówimy wtedy, »e zdania p1 , . . . , pn , q1 , . . . , qn tworz¡ zamkni¦ty ukªad

twierdze«. Poda¢ przykªady takich ukªadów.

19. Udowodni¢, »e

3
(a) Ka»da liczba naturalna n > 1 ma dzielnik pierwszy.
(b) Istnieje niesko«czenie wiele liczb pierwszych.
(c) Je±li m + n ≥ 73, to m ≥ 37 lub n ≥ 37.
√
(d) Liczba zªo»ona n ma dzielnik pierwszy p taki, »e p ≤ n.
(e) Iloczyn dwóch liczb nieparzystych jest liczb¡ nieparzyst¡.
√
(f) Liczba 3 jest niewymierna.
√
(g) Liczba 3 2 jest niewymierna.
(h) Dla ka»dej liczby naturalnej n, liczba n3 + n jest parzysta.
(i) Liczba n4 − n2 jest podzielna przez 3 dla wszystkich liczb naturalnych
n.
(j) Suma dwóch liczb nieparzystych jest liczb¡ parzyst¡.
(k) |x · y| = |x| · |y| dla wszystkich liczb rzeczywistych x, y .