1. Записать рассуждение в логической символике, обосновать выбор логических связок
2. Проверить правильность рассуждения методом Куайна
3. Проверить правильность рассуждения методом редукции
4. Проверить правильность рассуждения методом резолюций
Страус осознает, что ему грозит опасность, если видит хищное животное. Если страус осознает опасность, он прячет голову в песок. Страус н6е спрятал голову в песок. Значит, страус не видит хищное животное.