Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Образовательный студенческий форум _ Теория вероятностей _ Логика

Автор: vladiserk 23.11.2017, 9:15

Друзья решили пойти на озеро или на море. Известно, что на озеро они не пойдут только тогда, когда погода будет пасмурной. Если же они на озеро пойдут, то будут кататься на лодке. Также, если они при пасмурной погоде пойдут на море, то кататься на лодке не придется. Вывод: погода была пасмурной, но друзья все же катались на лодке
Получилась примерно такая формула
A∨B,A!↔Π!,A→K,(Π∧B)→K!⊨Π∧K
Как проверить правильность, не используя таблицу истинности?

Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)