Решить задачи по мат логу

Записать рассуждение в логической символике, обосновать выбор логических связок (3б.) Проверить правильность рассуждения методом Куайна (3 б.). Проверить правильность рассуждения методом редукции (3 б.) Проверить правильность рассуждения методом резолюций (3 б.) Рассуждение: Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно, знать правила нужно.