Помогите с Мат.Логикой \ Парочка задач 

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

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

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

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

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