Цитаты из книги «Удивительная логика»

Опосредованные умозаключения делятся на три вида: дедуктивные, индуктивные и умозаключения по аналогии.

В опосредованных умозаключениях вывод делается из нескольких посылок. Например: Все рыбы – это живые существа. Все караси – это рыбы. => Все караси – это живые существа.

В непосредственных умозаключениях вывод делается из одной посылки. Например: Все цветы являются растениями. => Некоторые растения являются цветами.

Все умозаключения делятся на непосредственные и опосредованные.

Умозаключение – это форма мышления, в которой из двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением (выводом).

Вопросы также делятся на категориальные и пропозициональные.

вопрос – это логическая форма (конструкция), которая направлена на получение ответа в виде некоторого суждения. Вопросы делятся на исследовательские и информационные.

Отрицательное суждение (отрицание) – это сложное суждение с союзом НЕВЕРНО, ЧТО, который обозначается знаком «¬».

Эквивалентное суждение (эквиваленция) – это сложное суждение с союзом ЕСЛИ…ТО не в его условном значении (как в случае с импликацией), а в тождественном (эквивалентном).

Импликативное суждение (импликация) – это сложное суждение с условным союзом ЕСЛИ…ТО, который обозначается знаком «=>».