PreDP1C

Logic and proofs - chapter test

(Logika i dowodzenie twierdzenie - sprawdzian wiadomości)

Maximum mark (Maksymalna liczba punktów): 39

Time (Czas): 45 minutes

Group A (Grupa A)

1. [17 marks/17 punktów]

Write the following propositions using mathematical symbols. Find the logical value of the
proposition (in parts b and d you need to find the logical value of each simple proposition
constructing the compoused proposition). Then write down the negations of each
proposition, using mathematical symbols.

(Zapisz poniższe zdania, używając symboli matematycznych. Określ wartość logiczną tego
zdania (w przykładach b i d należy najpierw określić wartości logiczne zdań prostych
budujących zdanie złożone). Następnie, zapisz zaprzeczenia poniższych zdań, używając
symboli matematycznych.

(a) A cube of a sum of numbers − 2 and − 1 is negative. [3]

(Sześcian sumy liczb − 2 i − 1 jest ujemny.)

(b) Number π is irrational and 36 is divisible by 8. [5]

(Liczba π jest niewymierna i 36 jest podzielna przez 8.)

(c) There exists a real number whose square is non-positive. [4]

(Istnieje liczba rzeczywista, której kwadrat jest niedodatni).

(d) The sum of any two consecutive integers is divisible by 2 or divisible by 3. [5]
(Suma dowolnych dwóch kolejnych liczb całkowitych jest podzielna przez 2 lub
podzielna przez 3).
2. [8 marks/8 punktów]

Determine if the following implication is true. Write down the converse of the implication
(using words) and determine if it is true. Can both these implications be written in the form of
equivalence? If so, write it down.

(Określ, czy poniższa implikacja jest prawdziwa. Zapisz implikację odwrotną (twierdzenie
odwrotne) i określ, czy jest ona prawdziwa. Czy obie te implikacje mogą być zapisane w
formie równoważności? Jeśli tak, zapisz ją.)

(a) If the product of two real numbers is positive, then these numbers are both positive or
both negative.
(Jeśli iloczyn dwóch liczb rzeczywistych jest dodatni, to liczby te są obie dodatnie lub obie
ujemne).

(b) If the natural number is divisible by 20, then it is divisible by 2 and divisible by 10.
(Jeśli liczba naturalna jest podzielna przez 20, to jest podzielna przez 2 i podzielna przez
10).

3. [14 marks/14 punktów]

Write down the assumptions and thesis. Proof the following theorems.
Dla każdego z przykładów zapisz założenia i tezę. Udowdonij twierdzenia.

2
(a) Let 𝑘 be a natural number that gives remainder 2 when it’s divided by 3. Prove that 5𝑘
gives remainder 2 when it is divided by 3.
(Niech 𝑘 będzie liczbą naturalną, która daje resztę 2 przy dzieleniu przez 3. Udowodnij, że
2
5𝑘 daje resztę 2 przy dzieleniu przez 3). [5]

2 2 2
𝑎 +𝑏 𝑐
(b) Prove that for any real numbers 𝑎, 𝑏, 𝑐 if 𝑎𝑏𝑐 = 2
, then 𝑎 = 𝑏𝑐.
2 2 2
𝑎 +𝑏 𝑐
(Udowodnij, że dla dowolnych liczb rzeczywistych 𝑎, 𝑏, 𝑐, jeśli 𝑎𝑏𝑐 = 2
, to 𝑎 = 𝑏𝑐).
[4]

2 2
𝑥+𝑦 2 𝑥 +𝑦
(c) Prove that for any real numbers 𝑥, 𝑦, it holds ( 2
) ≤ 2
. [5]
 PreDP1C

Logic and proofs - chapter test

(Logika i dowodzenie twierdzenie - sprawdzian wiadomości)

Maximum mark (Maksymalna liczba punktów): 39

Time (Czas): 45 minutes

Group B (Grupa B)

1. [17 marks/17 punktów]

Write the following propositions using mathematical symbols. Find the logical value of the
proposition (in parts b and d you need to find the logical value of each simple proposition
constructing the compoused proposition). Then write down the negations of each
proposition, using mathematical symbols.

(Zapisz poniższe zdania, używając symboli matematycznych. Określ wartość logiczną tego
zdania (w przykładach b i d należy najpierw określić wartości logiczne zdań prostych
budujących zdanie złożone). Następnie, zapisz zaprzeczenia poniższych zdań, używając
symboli matematycznych.

(a) A cube of a sum of numbers − 5 and − 1 is negative. [3]

(Sześcian sumy liczb − 5 i − 1 jest ujemny.)

2
(b) Number 7
is irrational or 45 is divisible by 9. [5]
2
(Liczba 7
jest niewymierna i 45 jest podzielna przez 9.)

(c) A square of every real number is positive. [4]

(Kwadrat dowolnej liczby rzeczywistej jest dodatni).

(d) There exist two consecutive integers whose is divisible by 2 or divisible by 3. [5]
(Istnieją dwie kolejne liczby całkowite, których suma jest podzielna przez 2 lub
podzielna przez 3).
2. [8 marks/8 punktów]

Determine if the following implication is true. Write down the converse of the implication
(using words) and determine if it is true. Can both these implications be written in the form of
equivalence? If so, write it down.

(Określ, czy poniższa implikacja jest prawdziwa. Zapisz implikację odwrotną (twierdzenie
odwrotne) i określ, czy jest ona prawdziwa. Czy obie te implikacje mogą być zapisane w
formie równoważności? Jeśli tak, zapisz ją.)

(a) If a natural number is divisible by 18, then it’s divisible by 3 and divisible by 6.
(Jeśli liczba naturalna jest podzielna przez 18, to jest podzielna przez 3 i podzielna przez 6)

(b) If two real numbers are both positive or both negative, then their product is positive.
(Jeśli dwie liczby rzeczywiste są obie dodatnie lub obie ujemne, to ich iloczyn jest dodatni.)

3. [14 marks/14 punktów]

Write down the assumptions and thesis. Proof the following theorems.
Dla każdego z przykładów zapisz założenia i tezę. Udowdonij twierdzenia.

2
(a) Let 𝑘 be a natural number that gives remainder 2 when it’s divided by 3. Prove that 5𝑘
gives remainder 2 when it is divided by 3.
(Niech 𝑘 będzie liczbą naturalną, która daje resztę 2 przy dzieleniu przez 3. Udowodnij, że
2
5𝑘 daje resztę 2 przy dzieleniu przez 3). [5]

2 2 2
𝑎 +𝑏 𝑐
(b) Prove that for any real numbers 𝑎, 𝑏, 𝑐 if 𝑎𝑏𝑐 = 2
, then 𝑎 = 𝑏𝑐.
2 2 2
𝑎 +𝑏 𝑐
(Udowodnij, że dla dowolnych liczb rzeczywistych 𝑎, 𝑏, 𝑐, jeśli 𝑎𝑏𝑐 = 2
, to 𝑎 = 𝑏𝑐).
[4]

2 2
𝑥+𝑦 2 𝑥 +𝑦
(c) Prove that for any real numbers 𝑥, 𝑦, it holds ( 2
) ≤ 2
. [5]