Логика. Краткий курс - стр. 6
…, А1, В1, С1…, представляющих высказывания; особые символы для логических связок, например &, ∧ – «и», ~ «неверно, что», «или», и скобки, играющие роль знаков препинания.
Логика высказываний не занимается анализом внутренней структуры простых высказываний, считая их неразложимыми.
Для определения структуры высказываний вводится список индивидных переменных: х, у, z…, х1, у1, z1…., представляющих разные объекты, и перечень предикатных переменных: Р, Q, R,…, Р1, Q1, R1,…, представляющих свойства и отношения объектов. Наряду с этими переменными могут рассматриваться индивидные константы, имена собственные.
Запись (x) Р(х) означает «любой х обладает свойством Р», (∃х) Р(х) – «существует х, обладающий свойством Р», (∃x) Q(x, у) – «существует х, который находится в отношении Q с у» и т. д.
Под предикатом понимается языковое выражение, обозначающее некоторое свойство или отношение. Предикат, указывающий на свойство предмета, например «быть круглым», называется одноместным. Двухместным, трехместным называется предикат, обозначающий отношение, в зависимости от числа его членов. Например, «кусает» – двухместный предикат, «находится посередине» – трехместный.
Предикатами называются функции, значениями которых служат высказывания. Данные функции превращаются в высказывания после подстановки имен вместо переменных.
Функцией одной переменной, например, становится выражение «…есть золотой» и т. д. В логике предикатов существуют логические операторы ∀ («для всех», «для любого», «для каждого») и ∃(«для некоторых», «существует»), называемые кванторами общности и существования соответственно.
Логика предикатов – раздел современной логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Логика предикатов представляет собой расширение логики высказываний, поскольку все законы логики высказываний служат также законами логики предикатов, однако не наоборот.
5. Понятие умозаключения. Дедуктивные умозаключения
Умозаключение – такая логическая операция, результатом которой становится новое утверждение – заключение (следствие), полученное из одного или нескольких утверждений (посылок).
Существует два вида умозаключений, соответствующих случаям, когда связь логического следования существует между посылками или такая связь отсутствует: дедуктивные и индуктивные. В дедуктивном (силлогистическом) умозаключении эта связь опирается на логический закон, в силу чего заключение вытекает из принятых посылок.
Отличие дедуктивного умозаключения в том, что оно от истинных посылок неизменно приводит к истинному заключению. К дедуктивным относятся, например, такие умозаключения: если данное число делится на шесть, следовательно, оно делится на три.