Вариант 25

Задание 1.

С помощью приведенных ниже простых суждений составьте сложные высказывания, соответствующие для каждого варианта формулам:

"Весна приносит обновленье" - а, "Весна приносит надежды" - в, "Весной приходит любовь" - с

1. а /\ в /\ с;

2. а → ( в /\ с );

3. ( а → в ) /\ ( а → с ).

Задание 2.

С помощью таблиц истинности установите, являются ли следующие формулы логики высказываний тавтологиями:

а) ( а \/ не-в) → ( не-а \/ в ),

б) (а /\ в ) → ( а\/ в ).

в) ( а /\ с ) → с.

Задание 3.

Сформулируйте высказывания, являющиеся отрицанием данных:

а) Не жалею, не зову, не плачу, -

Все пройдет как с белых яблонь дым.

Увяданья золотом охваченный

Я не буду больше молодым – С. Есенин

б) Если число кратно шести, то кратно трем и является четным.