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