logo
Практические приложения алгебры высказываний

Заключение:

Решение:

Значит из данных посылок следует .

Задача 3. Я пойду домой (H) или останусь здесь и выпью стаканчик (S). Я не пойду домой. Следовательно, я останусь и выпью.

Посылки: ,

Заключение: S

Решение:

Значит, высказывание «я останусь и выпью» является логическим следствием из данных посылок.

Задача 4. Если Джон ляжет сегодня поздно (S), он будет утром в отупении (D). Если он ляжет не поздно, то ему будет казаться, что не стоит жить (L). Следовательно, или Джон будет завтра в отупении, или ему будет казаться, что не стоит жить.

Посылки: ,

Yandex.RTB R-A-252273-3