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

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

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

Совокупность всех существующих множеств образует всеобщее универсальное множество 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». Предикат

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

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