Zadanie 1.1.1
W zadaniu 1.1.1 zajmiemy się oceną, czy dane zdanie jest zdaniem logicznym. W przypadku zdań logicznych będziemy oceniać ich wartość logiczną.
Zadanie 1.1.2
Szukamy w zadaniu 1.1.2 zaprzeczeń zdań logicznych i oceniamy prawdziwość powstałych zaprzeczeń.
Zadanie 1.1.3
W zadaniu 1.1.3 będziemy wykorzystywać spójniki ∧ oraz ∨ zapisywania rozwiązań równań i nierówności.