Условие задачи
1. Записать рассуждение в логической символике, обосновать выбор логических связок
2. Проверить правильность рассуждений, составив таблицу истинности
1. Если бы на стадо не напал волк, овечка Долли не сбежала бы. Если бы пастух был внимательным, на стадо не напал бы волк. Пастух был не внимательным, и овечка Долли сбежала. Значит, на стадо напал волк.
2. Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно, знать правила нужно.
Ответ
1. Введём высказывания:
A На стадо напал волк,
B Сбежала овечка Долли,
C Пастух был внимателен.
Тогда посылки будут представлены формулами:
заключение А .
Требуется проверить, имеет ли место логическое следование