Все S суть Р – истинно Некоторые Р суть S – истинно;

Ни одно S не есть Р – истинно Ни одно Р не есть S – истинно;

Некоторые S суть Р – истинно

Некоторые Р суть S – истинно.

;Опосредствованные умозаключения – получение вывода из нескольких посылок.

Самое распространенное умозаключение опосредствованного типа – силлогизм.

;Силлогизм – умозаключение, в котором из двух суждений, связанных средним

термином, выводится третье суждение – вывод, в котором средний термин отсутствует.

Примеры силлогизма:

Иван Петров учится на дневном отделении Студенты дневного отделения будут проходить производственную практику.

Вывод: Иван Петров будет проходить производственную практику.

Все металлы являются проводниками. Ртуть – это металл.

Вывод: ртуть проводит электрический ток.

Законы логики

Наиболее общие положения, сформулированные в логике относительно мышления,

известны как законы логики.

Таких законов четыре:

•тождества,

•противоречия,

•исключенного третьего,

•достаточного основания.

;Закон тождества требует сохранения неизменным содержания употребляемых в процессе рассуждения понятий.

;Закон противоречия: не могут быть одновременно истинными две противоречивые

мысли об одном и том же предмете, взятом в одно и то же время в одном и том же отношении.

;Закон исключенного третьего: из двух противоречащих друг другу высказываний одно непременно истинно (А есть В, либо не-В, третьего не дано).

;Закон достаточного основания требует, чтобы всякая истинная мысль была обоснована другими мыслями, истинность которых уже доказана.

46