19. Сложные суждения. Таблицы истинности логических союзов

Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2)разделительные, 3) условные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых.

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

Основными логическими союзами являются:

конъюнкция – логические союзы «и», «а», «но», «как», «так и», «так же»  имеют чисто соединительное значение, Символически такие суждения обозначаются так: p=>q, где p,q – простые суждения, входящие в состав сложного. Например, родители дают обещание своему ребенку «в воскресенье мы пойдем в кино, а вечером папа купит тебе мороженное»; или другой пример «он сдал все экзамены, но еще не защитил диплом»;

неисключающая (слабая) дизъюнкция (обозначается формулой p?q) – логический союз «или» имеет соединительно-разделительное значение, союз «или» имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим, например, «Я подарю ей цветы или конфеты»; «Он будет цитировать Толстого или Чехова» и исключающая (сильная) дизъюнкция – логический союз «либо... , либо...» имеет чисто разделительное значение, например, «Я полечу на Юг на самолете или поеду на поезде»; «Я куплю новую квартиру или перееду жить к своей сестре».

импликация или условное суждение – логический союз «если..., то...» каким-то образом (не обязательно по смыслу) соединяет два суждения, связанные между собой (грамматический союз «если..., то...», в отличие от логического, объединяет предложения обязательно связанные по смыслу), В таких суждениях выражаются причинные, временные, функциональные, пространственные, зависимости, разрешения, предписания, запреты и т.д. Символически такие суждения изображаются так: p®q. «Если будет хорошая погода, мы пойдем в лес»;

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

Вид сложного суждения определяется по главному логическому союзу: если главным логическим союзом в данном суждении является конъюнкция, то это конъюнктивное суждение, дизъюнкция –дизъюнктивным и т. д.

Необходимо различать грамматическое и логическое значение перечисленных выше союзов. Логическое значение этих союзов задается с помощью таблицы истинности.

20. Умозаключение как форма мышления. Классификация умозаключений

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

Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.

Умозаключения делятся на следующие виды.

1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобдные) умозаключения.

Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует «я посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.

2. Важное значение имеет классификация умозаключений по направленности логического следования, т.е. по характеру CBHSVL между знанием различной степени общности, выраженному в по'д сылках и заключении. С этой точки зрения различают три виды мозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналоги»! (от частного знания к частному), j