Домашнее задание на 14.03

Фамилия, Имя ________________________________________________________________________

Задание 1: Заполните таблицу. Тебе могут пригодиться следующие значки:

Þ – импликация
А – отрицание высказывания А
Ǝ – квантор, который заменяет слово «существует»
Ǝ! – «существует единственный»
– «для каждого»

И обозначения:
А = в лесу стучит дятел.
В = на горе свистит рак. (r = рак)
С = кошка живет на крыше. (k = кошка)

Высказывания.

Краткая запись.

Если в лесу стучит дятел, то на горе свистит рак.

А Þ В

?

В Þ А

На горе рак не свистит.

?

Если на горе рак не свистит, то в лесу стучит дятел.

?

Любой рак на горе свистит.

r │ В

Существует единственный рак, который не свистит на горе.

?

Существует кошка, которая живет на крыше.

Ǝ k │ С

?

Ǝ k │ С

Задание 2: Расположите 12 точек в 7 рядов по 4 точки в каждом.