Парочка задач

[clubkent]

Задание 1. Доказать секвенцию исчисления высказываний тремя способами:

- сравнением таблиц истинности
- построением доказательства в виде дерева
- методом резолюции

вот сам пример -
сравнение таблиц истиности сделал, со следующими помогите разобраться как и с чего начать.

Задание 2. Перевести с естественного языка на язык исчисления предикатов и сделать вывод, если это возможно.

Некоторые устрицы молчаливы.
Молчаливые существа не очень-то забавны.

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

[PAV]

Тема перемещена из "Помогите решить/разобраться" в карантин. Почему это произошло, можно понять, прочитав тему
Что такое карантин и что нужно делать, чтобы там оказаться
Там же описано, как исправлять ситуацию.

Замена текста картинками не допускается; Вы должны привести свои соображения по поводу решения