Условные / импликация и эквиваленция / высказывания и условия их истинности. Условные (импликативные) суждения – состоящие из двух простых, соединённых логическим союзом если…то… Импликация (а > b) истинна во всех случаях, кроме одного: когда а - истнно, b - ложно.
Эквивалентное суждение – состоящее из двух простых, связанных двойной (прямой и обратной) зависимостью, выраженной логическим союзом если и только если, то…Эквиваленция (а b) истинна тогда, когда оба суждения истинны или оба ложны.

Достоверные и правдоподобные умозаключения.
Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений выводится новое суждение.
Достоверные умозаключения – когда заключение однозначно вытекает из посылок, однозначно истинное, представляет собой логический закон.
Правдоподобные - когда заключение с большей или меньшей вероятностью, но не обязательно вытекает из посылок.

Условия, обеспечивающие необходимость вывода и истинность заключения в умозаключениях.
Посылки должны быть связаны по содержанию, иначе вывод невозможен.
- Посылки должны быть истинными.
- В процессе рассуждения надо соблюдать правила вывода, чтобы умозаключение вышло логически правильным и истинным.

Сложносокращенные силлогизмы
Сложносокращённый силлогизм – сложный силлогизм, в процессе которого опущена часть посылок.
Одна или обе его части представляют собой сокращённые силлогизмы.

Индуктивные умозаключения: общая характеристика
Получение общих суждений из имеющихся частных.
Индуктивное умозаключение – в котором на основании принадлежности признака ряду отдельных предметов делают вывод о его принадлежности классу в целом.
Железо проводит электричество. Медь проводит электричество. Серебро проводит электричество. Индуктивное обобщение: Всем металлам свойственна электропроводимость.


Умозаключения по аналогии
Умозаключение по аналогии – это вывод о принадлежности определённого признака единичному объекту на основе его сходства в существенных чертах с уже известным объектом.
Если два предмета сходны в определённых признаках, то они могут быть сходны и в других, обнаруженных в одном из предметов, признаках.
Аналогия бывает строгая (100-%-ная) и нестрогая (с большей или меньшей вероятностью).


Глоссарий:
Несравнимые: не имеющие общих признаков – поэма и колодец.
Сравнимые: все остальные – имеющие одинаковые субъекты и предикаты, но разные по связкам и количеству.
Совместимые: которые одновременно могут быть истинными (состоящие в отношениях эквивалентности, частичной совместимости или подчинения).
Несовместимые: которые одновременно не могут быть истинными.
Противоположные: не могут оба быть истинными, но могут оба быть ложными.
Противоречащие: если истинно одно – другое обязательно будет ложным.
Посылка: исходное суждение.
Заключение: суждение, полученное в результате преобразования.
Дедуктивное: умозаключение от общего к частному.
Индуктивное: умозаключение от частного к общему.