LOGO Алгебра логики

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

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

Содержание понятия составляет совокупность существенных признаков предмета. Чтобы раскрыть содержание понятия, следует выделить признаки, необходимые и достаточные для выделения данного предмета по отношению к другим предметам. Содержание Объем Объем понятия опреде- ляется совокупностью предметов, на которую оно распространяется, и может быть представлен в форме множества объектов, состоящего из элементов множества. Алгебра множеств поз- воляет исследовать отно- шения между множества- ми и объемами понятий.

Между множествами (объемами понятий) могут быть различные виды отношений: равнозначность, когда объемы понятий полностью совпадают; пересечение, когда объемы понятий частично совпадают; подчинение, когда объем одного понятия полностью входит в объем другого и т.д.

Диаграммы Эйлера-Венна Для наглядной геометрической иллюстрации объемов понятий и соотношений между ними используются диаграммы Эйлера- Венна. Если имеются какие-либо понятия A, B, C и т.д., то объем каждого понятия (множество) можно представить в виде круга, а отношения между этими объемами (множествами) в виде пересекающихся кругов.

Совокупность всех существующих множеств образует всеобщее универсальное множество 1, которое позволяет отобразить множество логически противоположное к заданному. Так, если задано множество А, то существует множество НЕ А, которое объединяет все объекты, не входящие во множество А. Множество НЕ А дополняет множество А до универ- сального множества 1. Объем понятия натуральные числа включает в себя множество целых положительных чисел А, а объем понятия четные числа включает в себя множество отрицательных и положительных четных чисел В. Эти множества пересекаются, т.к. включают в себя множество положи- тельных четных чисел С. Диаграммы Эйлера-Венна

Отобразить с помощью диаграммы Эйлера-Венна множество натуральных чисел А и множество НЕ А. На диаграмме Эйлера- Венна универсальное множество 1 изобра- жается в виде прямоугольника, множество А в форме круга, а множество НЕ А в форме прямо- угольник минус круг.

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

О предметах можно судить верно или неверно, т.е. высказывание может быть истинным или ложным. Истинным будет суждение, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Ложным суждение будет в том случае, когда связь понятий искажает объективные отношения, не соответствует реальной действительности.

Логическая форма высказываний Высказывания имеют определенную логическую форму. Понятие о предмете мысли называется субъектом и обозначается буквой S, а понятие о свойствах и отношениях предмета мысли называется предикатом и обозначается буквой P. Оба эти понятия – субъект и предикат называются терминами суждения. Отношения между субъектом и предикатом выражается связкой «есть», «не есть», «является», «состоит» и т.д. Таким образом, каждое высказывание состоит из трех элементов – субъекта, предиката и связки (двух терминов и связки). Состав суждения можно выразить общей формулой «S есть Р» или «S не есть P».

Предикат В современной логике предикат рассматривается как функциональная зависимость. В общем случае предикат от n переменных (от n неопределенных понятий) выражается формулой: Р (х 1,х 2,...,х n ), где n>0 При n = 1, когда один из терминов является неопределенным понятием, мы имеем предикат первого порядка, например, «х – человек». При n = 2, когда два термина неопределенны, мы имеем предикат второго порядка, например, «х любит y». При n = 3, когда неопределенны три термина, мы имеем предикат третьего порядка, например, «z - сын x и y».

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

Доказательство Доказательство есть мыслительный процесс, направленный на подтверждение или опровержение какого-либо положения посредством других несомненных, ранее обоснованных доводов. Доказательство по своей логической форме не отличается от умозаключения. Однако, если в умозаключении заранее исходят из истинности посылок и следят только за правильностью логического вывода, в доказательстве подвергается логической проверке истинность самих посылок.