Вы находитесь на странице: 1из 5

В

новые понятия
общности
Логические операции
логике логическими операциями называют действия, вследствие которых порождаются
, с использованием уже существующих.
Логическая операция - это не только игра словами и символами.
Операции (в логике и математике) - интеллектуальные действия над абстрактными
объектами (числами, символами, понятиями, высказываниями и т.п.), вследствие чего
возникает качественно новое образование. Примеры математических операций - сложение
чисел, умножение чисел, сложение векторов, исчисление и др.
В логике - это интеллектуальные действия над понятиями и высказываниями, над
символами в пределах определенной формальной системы, вследствие чего возникает
новое целостное логическое образования и определяется его структура
Программа предусматривает изучение операций квантификации квантором
(или всеобщности), а также квантором существования.
Квантор — общее название для логических операций, ограничивающих область
03
01
истинности какого-либо предиката и создающих выc
Обозначим предикат «x делится на 5». Используя квантор общности, можно формально записать
следующие высказывания (конечно, ложные):
любое натуральное число кратно 5;
каждое натуральное число кратно 5;
все натуральные числа кратны 5;
следующим образом:
.
Следующие (уже истинные) высказывания используют квантор существования:
существуют натуральные числа, кратные 5; найдётся натуральное число, кратное 5; хотя бы одно
натуральное число кратно 5. Их формальная запись:
.
Пусть на множестве простых чисел задан предикат : «Простое число нечётно». Подставим перед
этим предикатом слово «любое». Получим ложное высказывание «любое простое число нечётно»
(это высказывание ложно, так как 2 — простое чётное число).
Подставив перед данным предикатом слово «существует», получим истинное выcказывание
«Существует простое число , являющееся
казывание. Чаще всего упоминают:
Квантор всеобщности (обозначение: , читается: «для всех...», «для каждого...» или
«каждый...», «любой...», «для любого...»).
Квантор существования (обозначение: , читается: «существует...» или «найдётся...»).
В математической логике приписывание квантора к формуле называется связыванием или
квантификацией.
В многозначных логиках также вводятся и другие кванторы, например, квантор
плюральности (квантор Решера) (обозначается перевёрнутой
M,
читается «для
большинства ...»).
нечётным» (например, ).
Таким образом, превратить предикат в высказывание можно, поставив перед предикатом слова
(«все», «существует» и другие), называемые в логике кванторами.
Кванторы в математической логике[править | править исходный текст]
Высказывание означает, что область значений переменной включена в область истинности
предиката .
(«При всех значениях утверждение верно»).
Высказывание означает, что область истинности предиката непуста. («Существует при котором
утверждение верно»).
Свободные и связанные переменные[править | править исходный текст] Множество свободных
переменных* формулы F определяется рекурсивно, следующим образом:
Свободные переменные.
Все переменные, входящие в атомарную формулу, являются свободными переменными этой
формулы,
свободные переменные формулы F являются свободными переменными формулы F,
переменные, являющиеся свободными для хотя бы одной из формул F или G, являются
свободными переменными формулы (F Д G),
все свободные переменные формулы F кроме v являются свободными переменными формулы Kv
F.
Замкнутая формула.
Формула без свободных переменных называется замкнутой формулой, или предложением.
Связанная переменная.
Переменная v связана в формуле F, если F содержит вхождение Kv, где K — квантор.
Связанное переименованию
Квантор всеобщности (обозначения: , ∀) — это условие, которое верно для всех обозначенных
элементов, в отличие от квантора существования, где условие верно только для каких-то
отдельных элементов из указанного множества. Формально говоря, это квантор, используемый
для обозначения того, что множество целиком лежит в области истинности указанного предиката.
Читается как: «для всех...», «для каждого...» или «каждый...», «любой...», «для любого...».
Квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое
выражение) истинно для всего, или для любой относящейся к делу сущности. Применяется в
предикатной логике и символической логике. В предикатной логике, квантор существования
(экзистенциальный квантификатор) — это предикат свойства или отношения для, по крайней
мере, одного элемента области определения. Он обозначается как символ логического оператора
∃ (произносится как «существует» или «для некоторого»). Квантор существования отличается от
квантора всеобщности, который утверждает, что свойство или отношение выполняется для всех
элементов области.
Понятие доказательства

Доказательство – это логическая операция, обосновывающая истинность какой- либо мысли с


помощью других мыслей. Доказательство должно решить две задачи: точно определить и
правильно классифицировать формы отношений между мыслью доказываемой и мыслями,
обосновывающими истинность доказываемой мысли; выяснить, какие мысли являются уже
доказано-истинными, которые мы берем в качестве доказательства.
Доказательства по форме делятся на прямые и непрямые
(косвенные). Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса,
т.е. истинность тезиса непосредственно обосновывается аргументами. Схема этого доказательства
такая: из данных аргументов (а, b,
с,...) необходимо следует доказываемый тезис q.По этому типу проводятся доказательства в
судебной практике, в науке, в полемике, в сочинениях школьников, при изложении материала
учителем и т.д.
На уроках химии прямое доказательство о горючести сахара может быть представлено в форме
категорического силлогизма:
Все углеводы — горючи. Сахар — углевод.___ Сахар горюч.
В современном журнале мод «Бурда» тезис «Зависть — корень всех зол» обосновывается с
помощью прямого доказательства следующими аргументами: «Зависть не только отравляет
людям повседневную жизнь, но может привести и к более серьезным последствиям, поэтому
наряду с ревностью, злобой и ненавистью, несомненно, относится к самым плохим чертам
характера. Подкравшись незаметно, зависть ранит больно и глубоко. Человек завидует
благополучию других, мучается от сознания того, что кому-то более повезло».
Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого
тезиса обосновывается путем доказательства ложности антитезиса.
Апагогическое косвенное доказательство (или доказательство «от противного») осуществляется
путем установления ложности противоречащего тезису суждения. Этот метод часто используется в
математике.
Разделительное доказательство (методом исключения). Антитезис является одним из членов
разделительного суждения, в котором должны быть обязательно перечислены все возможные
альтернативы, например:
Преступление мог совершить либо А, либо В, либо С.
Доказано, что не совершали преступление ни А, ни В. Преступление совершил С.
Истинность тезиса устанавливается путем последовательного доказательства ложности всех
членов разделительного суждения, кроме одного. Здесь применяется

структура отрицающе-утверждающего модуса разделительно-категорического силлогизма.


Заключение будет истинным, если в разделительном суждении предусмотрены все возможные
случаи (альтернативы), т.е. если оно является закрытым (полным) дизъюнктивным суждением.
Общим для всех доказательств являются следующие элементы: тезис, аргументы и демонстрация.
Схема структуры доказательства:
Тезис (греч. thesis - положение, утверждение) – это мысль или положение, истинность или
ложность которого обосновывается в процессе доказательства.
Аргументы (от лат. argumentum – довод, основание доказательства). Это истинные исходные
данные – теоретические или фактические положения, на которые опирается доказательство и из
которых необходимо следует истинность доказываемого тезиса.
Виды аргументов:
1. Удостоверенные единичные факты. К такому роду аргументам относится так называемый
фактический материал, т.е. статистические данные о населении, территории государства,
выполнении плана, количестве вооружения, свидетельские показания, подписи на документах,
научные данные, научные факты. Роль фактов в обосновании выдвинутых положений, в том числе
научных, велика.
2. Определения как аргументы доказательства. Определения понятий обычно даются в каждой
науке. Правила определения и виды определений понятий были рассмотрены в теме «Понятие»,
и там же были приведены многочисленные примеры определений понятий различных наук:
математики, химии, биологии, географии и пр.
3. Аксиомы. В математике, механике, теоретической физике, математической логике и других
науках, кроме определений, вводят аксиомы. Аксиомы — это суждения, которые принимаются в
качестве аргументов без доказательства.
4. Ранее доказанные законы науки и теоремы как аргументы доказательства.В качестве
аргументов доказательства могут выступать ранее доказанные законы физики, химии, биологии и
других наук, теоремы математики (как классической, так и конструктивной). Юридические законы
являются аргументами в ходе судебного доказательства. В ходе доказательства какого-либо
тезиса может использоваться не один, а несколько из перечисленных видов аргументов.
Демонстрация (от лат. demonstratio – показывание) – это логическая связь между аргументами и
тезисом, выраженная в форме логического рассуждения, в ходе которого из аргументов
выводится истинность тезиса.
Существуют следующие правила доказательства: а) доказываемый тезис должен быть определен
четко и ясно; б) в процессе доказательства нельзя подменять тезис; в) аргументы должны быть
истинными и достаточными для обоснования тезиса;

г)тезисом должно быть такое выводное суждение, которое логически следует из аргументов.
Эти правила необходимо соблюдать, чтобы оградить себя от ложного доказательства и софизмов.
Понятие опровержения
Опровержение – это логическая операция, устанавливающая ложность или необоснованность
ранее выдвинутого тезиса.
Задача опровержения показать, что: неправильно построено само доказательство; выдвинутый
тезис ложен или не доказан.
Опровержение можно предъявить ко всем трем элементам доказательства: к тезису, к
аргументам и к демонстрации. Опровержение тезиса можно провести тремя способами: самый
верный способ – это опровержение фактами; посредством установления ложности или
противоречивости следствий, которые вытекают из тезиса; опровержение тезиса через
доказательство антитезиса.
Опровержение аргументов можно осуществить, подвергая критике аргументы, выдвинутые
оппонентом в обоснование его тезиса. Нужно доказать ложность и несостоятельность этих
аргументов. При этом следует учесть, что ложность аргументов не касается тезиса, он может
оставаться истинным.
Опровержение демонстрации. Для этого: показываются ошибки в доказательстве. Часто ошибка
заключается в том, что истинность опровергаемого тезиса не следует из аргументов, которые
приведены в подтверждение тезиса; доказательство может быть ошибочным, если нарушено: а)
правило дедуктивного умозаключения; б) сделано неверное умозаключение от истинности
частно-утвердительного суждения к истинности обще-утвердительного суждения и от истинности
частно- отрицательного суждения к истинности общеотрицательного суждения.
Правила по отношению к тезису:
1. Тезис должен быть логически определенным, ясным и точным. Иногда люди в своем
выступлении, письменном заявлении, научной статье, докладе, лекции не могут четко, ясно,
однозначно сформулировать тезис. Так, выступающий на собрании не может четко
сформулировать основные положения своего выступления и потому веско аргументировать их
перед слушателями. И слушатели недоумевают, зачем он выступал в прениях и что хотел им
доказать.
2. Тезис должен оставаться тождественным, т.е. одним и тем же, на протяжении всего
доказательства или опровержения. Нарушение этого правила ведет к логической ошибке —
«подмене тезиса».
Логические операции с понятиями. Операции над классами (объемами понятий)
Из двух и более классов с помощью определенных операций можно образовать новый класс.
Основными операциями над классами являются объединение классов (сложение),

пересечение классов (умножение), образование дополнения к классу (отрицание) и вычитание


класса (разность).
При рассмотрении операций над классами вводятся следующие обозначения:
А, В, С..
- произвольные классы;
1 - универсальный класс;
О - пустой класс;
U - знак объединения классов (сложения);
П - знак пересечения классов (умножения);
А' (не А) - дополнение к классу А.
Операции над классами иллюстрируются круговыми схемами, универсальный класс обозначается
прямоугольником.
Объединением классов называется логическая операция, в результате которой образуется новый
класс, состоящий из таких объектов, каждый из которых является элементом, по крайней мере,
одного из слагаемых классов. Полученный в результате сложения класс AUB называется суммой.
А - класс депутатов Государственной Думы.
В - класс юристов.
A U В - класс, содержащий всех депутатов Госдумы и всех юристов.
Пересечение классов (умножение) - логическая операция, в результате которой образуется новый
класс, состоящий из элементов, являющихся общими для умножаемых классов. Класс АПВ,
полученный в результате умножения, называется произведением.
Например, произведением классов «студент» (А) и «шахматист» (В) является новый класс
«студент-шахматист».
При умножении множеств, находящихся в отношении несовместимости, получается нулевой
класс. Например, умножение классов «гуси» и «утки» дает пустое множество, так как нет таких
объектов, которые одновременно были бы и гусями и утками.
Вычитание классов - логическая операция, в результате которой образуется новый класс,
состоящий из элементов уменьшаемого класса, не принадлежащих вычитаемому классу.
А-В
А - класс «химический элемент» В - класс «металл»
В результате вычитания получается класс, состоящий из химических элементов, не являющихся
металлами.
Образование дополнения к классу (отрицание) - логическая операция, состоящая в образовании
нового класса, не А (А'), который состоит из элементов универсального класса, не принадлежащих
дополняемому классу А. Универсальный класс символически обозначается 1; графически -
прямоугольником.
1
Чтобы образовать дополнение, нужно класс А исключить из универсального класса: 1-А=А'.
Например, чтобы образовать дополнение к классу «студент», надо подвергнуть этот класс
отрицанию. Полученный класс «не-студент» является дополнением к классу «студент». Класс
студентов, сложенный с классом «не- студентов», образует универсальный класс учащихся.