Слайд 2
Сложное (молекулярное) суждение
то, составными частями которого являются простые
суждения или их сочетания
Например,
«Вечно он был занят либо судебной
речью, либо домашними упражнениями, либо обдумывал, либо писал».
Слайд 4
Символическая запись логических союзов
Слайд 7
Конъюнкция
истинна только в том случае, когда оба эти
суждения истинны, а во всех остальных случаях конъюнкция ложна
Письмо
пришло, но меня не было дома.
А – письмо пришло,
B – меня не было дома
Слайд 8
Слабая дизъюнкция
истинна при всех комбинациях значений А и
В, кроме того, когда оба эти суждения ложны
Он изучает
английский, или он изучает немецкий.
А – он изучает английский,
B – он изучает немецкий
Слайд 9
Строгая дизъюнкция
истинна только тогда,
когда значения А и
В различны
Она наденет шубу или пальто.
А – она наденет
шубу,
B – она наденет пальто
Слайд 10
Импликация
В естественном языке «Если…, то…» – описание причинно-следственных
отношений между явлениями.
В логической интерпретации «Если А, то В»
– антецедент (А) не есть причина, а консеквент (В) – не следствие.
Слайд 11
Импликация
всегда истинна, кроме случая, когда
антецедент (А) истинен,
а консеквент (В) ложен
Если студент усердно готовится к экзамену,
то он получает «пятёрку».
А – студент усердно готовится
к экзамену,
B – студент получает «пятёрку»
Слайд 12
Эквиваленция
истинна при одинаковых значениях А и В
Если число
является чётным, то тогда и только тогда, оно делится
без остатка на 2.
А – число является чётным,
B – число делится
без остатка на 2
Слайд 13
Понятия необходимого и достаточного условий
А является достаточным условием В, если
и только если А и В связны между собой
таким образом, что
в каждом случае, когда имеется А, имеется и В
А является необходимым условием В, если и только если А и В связаны между собой таким образом, что
в каждом случае при отсутствии А, отсутствует В
(это высказывание эквивалентно высказыванию «Если В, то А»)
если А – необходимое условие В, то В – достаточное условие А, и наоборот
Слайд 14
Отрицание
если А истинно, то его отрицание ложно
и
наоборот
Неверно, что салат растет на деревьях.
А – салат растет
на деревьях
Слайд 16
Формализация сложного суждения
В.В. Маяковский родился в 1891 г. или
в 1893 г. Однако известно, что он родился не
в 1891 г. Следовательно, он родился в 1893 г.
А - В.В. Маяковский родился в 1891 г.
B - В.В. Маяковский родился в 1893 г.
((A B) A) → В
Слайд 17
Расчет позиций в таблице истинности для суждения
количество строк
2n,
где n – количество переменных (простых предложений);
количество столбцов
n + количество союзов суждения
Обозначение истинности: И, Т, 1.
Обозначение ложности: Л, F, 0.
Слайд 18
Определение истинности
сложного суждения
((A B)
A) → В
Слайд 20
Исследование суждений
1) Определить тип анализируемого языкового выражения, является
ли оно вопросительным, побудительным или повествовательным предложением.
2) Если предложение
повествовательное или представляет собой риторический вопрос, восклицание, то содержит суждение. Определить, является ли суждение простым или сложным.
Слайд 21
Исследование суждений
3) Если суждение простое, определить, является ли
оно экзистенциальным, реляционным или атрибутивным.
4) Если суждение атрибутивное, определить
его тип по соединенной классификации по качеству и количеству.
5) Указать, является ли оно выделяющим или исключающим.
6) Определить модальность суждения.
7) Выделить термины (субъект и предикат) суждения и определить их распределённость в суждении.
Слайд 22
Исследование суждений
8) Если суждение сложное, определить входящие в
него простые суждения и типы соединяющих их логических связок.
9)
выявить логическую форму суждения, записав ее в виде соответствующей формулы.
10) Проверить логическую правильность сложного суждения, построив таблицу истинности.