Проверить аргумент методом резолюций. Получить все следствия из данных посылок

Здравствуйте! Помогите, пожалуйста.

Проверить аргумент методом резолюций. Получить все следствия из данных посылок.

«Если получить зачет по контрольной работе, то будет допуск к экзамену. Я получу зачет, если научусь проверять правильность аргументов методом резолюций. Я не разобрался в этом методе. Следовательно, я не буду допущен к экзаменам».

Комментарий модератора

| | |
| --- | --- |
| | Правила форума, пункт 4.7. Как можно более полно описывайте суть проблемы или вопроса, что было сделано для ее решения и какие результаты получены. |