Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Мясник может работать тогда и только тогда, когда наточен нож и есть мясо.
Нож наточен, но мясник не работает. Следовательно, у мясника нет мяса.