Основы логики. Понятие форма мышления, в которой отражаются существенные отличительные признаки предметов. Понятие имеет две основные логические характеристики содержание и объем. Содержанием понятия
 Скачать 22.3 Kb.
|
|
Основы логики 1. Основные понятия логики Понятие Понятие — форма мышления, в которой отражаются существенные отличительные признаки предметов. Понятие имеет две основные логические характеристики: содержание и объем. Содержанием понятия называется совокупность существенных признаков, отраженных в этом понятии. Объем понятия — это множество предметов, каждому из которых принадлежат признаки, относящиеся к содержанию понятия. Совместимые и несовместимые понятия По объему понятия могут быть совместимыми или несовместимыми. Объемы совместимых понятий совпадают полностью или частично (т.е. существуют объекты, имеющие признаки обоих понятий). Объемы несовместимых понятий не включают ни одного общего элемента. Отношения совместимых понятий: l пересечение (часть элементов объема каждого понятия входит в объем другого понятия); например, «мальчик»–«болельщик»; l тождество (полное совпадение объемов понятий); l подчинение (объем одного понятия полностью входит в объем другого); например, «акула»–«рыба». Отношения несовместимых понятий: l соподчинение; например, «рыба»–«птица» (соподчинены понятию «животное»); l противоположность (объект, не попадающий под одно понятие, может не попадать и под другое); например, «черный»–«белый»; l противоречие (объект принадлеит объему либо одного, либо другого понятия); например, «светящийся объект»–«несветящийся объект». Высказывание Высказывание (суждение) — форма мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах, или отношениях. Высказывание характеризуется своим содержанием и формой. Умозаключение Умозаключение — форма мышления, посредством которой из одного или нескольких высказываний, называемых посылками, мы по определенным правилам вывода получаем заключение. С точки зрения содержания мышление может давать истинное или ложное отражение мира, формально же оно может быть логически правильным или неправильным. Логические операции Высказывание, включающее другие высказывания, называют сложным. Для образования сложных высказываний используют логические операции (связки). Рассмотрим некоторые из них (в порядке приоритета при вычислении логических выражений). Инверсия (отрицание) Инверсия — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда исходное высказывание ложно. В выражениях обозначается ¬A или Ā. Читается «НЕ» (например, «не А»). Конъюнкция (логическое умножение) Конъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда истинны оба исходных высказывания. В выражениях обозначается AÙ B или A&B (знак может не указываться — AB). Читается «И» (например, «А и Б») Дизъюнкция (логическое сложение) Дизъюнкция — это логическая операция, образующая сложное высказывание, истинное тогда, когда истинно хотя бы одно из исходных высказываний. В выражениях обозначается AÚ B, иногда A+B. Читается «ИЛИ» (например, «А или Б») Импликация (следование) Импликация — это логическая операция, образующая сложное высказывание, ложное тогда и только тогда, когда первое исходное высказывание истинно, а второе — ложно. В выражениях обозначается A Þ B или A ® B. Читается «ЕСЛИ...ТО» (например, «если А, то Б») Эквивалентность (равнозначность) Эквивалентность — это логическая операция, образующая сложное высказывание, истинное тогда и только тогда, когда значения исходных высказываний совпадают. В выражениях обозначается A Û B или A º B. Читается «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» (например, «А тогда и только тогда, когда Б») Таблицы истинности логических операций Таблица истинности — таблица, в которой указаны значения логической функции для всех возможных комбинаций значений ее аргументов. Число комбинаций (строк таблицы) определяется как 2N, где N — количество аргументов (т. е. при двух аргументах число строк — 4, при 3 — 8 и так далее).
Законы логики Наиболее общие связи между мыслями выражаются в формально-логических законах. При решении логических задач эти законы позволяют нам упрощать формулы, проводить умозаключения, выполнять доказательства. Закон исключенного третьего Высказывание может быть либо ложным, либо истинным. Третьего не дано. A ∨ ¬A = 1 Закон непротиворечия Высказывание не может противоречить самому себе. A ∧ ¬A = 0 Закон двойного отрицания Если дважды отрицать высказывание, то получится исходное. ¬¬A = A Законы повторения (идемпотентности) Сколько ни повторяй, значение не изменится. A ∨ A = A A ∧ A = A Законы коммутативности (переместительные) От перестановки высказываний значение не изменится. A ∨ B = B ∨ A A ∧ B = B ∧ A Законы ассоциативности (сочетательные) От порядка выполнения операций конъюнкции (дизъюнкции) значение не изменится. (A ∨ B) ∨ C = A ∨ (B ∨ C) (A ∧ B) ∧ C = A ∧ (B ∧ C) Законы дистрибутивности (распределительные) A ∨ (B ∧ C) = (A ∨ B)∧(A ∨ C) A ∧ (B ∨ C) = (A ∧ B)∨(A ∧ C) Законы поглощения A ∧ (A ∨ B) = A A ∨ (A ∧ B) = A Законы де Моргана ¬(A∧B) = ¬A ∨ ¬B ¬(A∨B) = ¬A ∧ ¬B Свойства констант A ∧ 0 = 0 A ∨ 0 = A A ∧ 1 = A A ∨ 1 = 1 Доказательства законов логики производятся: l с помощью тождественных преобразований выражений; l с помощью построения таблиц истинности; l с помощью диаграмм Эйлера-Венна. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||