→ ; ⊃ – импликация – логическая связка, соответствующая грамматической конструкции «если..., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) – высказывание, идущее после слова «если», и консеквент (следствие) – высказывание, идущее за словом «то»;
≡; D – символ логического союза тождества, эквивалентности: «если и только если», «тогда и только тогда, когда», «если и только если...» (эквиваленция);
־;˥; ~ – отрицание – логическая операция, с помощью которой из данного высказывания получается новое высказывание; при этом если исходное высказывание истинно, его отрицание не является истинным, а если оно ложно, его отрицание не является ложным. Отрицательное высказывание состоит из исходного высказывания и помещаемого перед ним знака отрицания (в логике ~ или 1), читаемого как «не» или «неверно, что»; отрицанием высказывания A является сложное высказывание ~А. В логике классической если высказывание А истинно, его отрицание ~А ложно, а если A ложно, его отрицание ~А истинно.
Технические знаки:
( ; ) – левая и правая скобки.
Других знаков алфавит языка логики предикатов не содержит.
УПРАЖНЕНИЯ
1. Определите, какие формы мысли представлены в следующих языковых выражениях:
5 не делится на 2 без остатка – суждение.
Компьютер Pentium – понятие.
Пафос – понятие.
Интеллект – понятие.
Факультет вычислительной техники – понятие.
Средневековая эпоха – понятие.
Студент ФКСиС БГУИР –
Париж – моя мечта – суждение.
ФКСиС расположен в четвертом корпусе – суждение
На том основании, что все металлы электропроводны и медь – металл, заключаем, что медь электропроводна – умозаключение.
Некоторые болезни – неизлечимы – суждение.
2. Вставьте пропущенное слово – омоним:
собака (ТАКСА) прейскурант;
шалость (проказа) болезнь;
металл () кожа;
животное (богомол) монах.
животное (ЛАМА) монах.
3. Укажите, в каких случаях нарушены законы логики. Квалифицируйте ошибку:
4. Укажите понятия, подчиняющие нижеследующие:
Свадьба – торжество.
Агорафобия –
Банан – плод.
Закон де Моргана – правило.
БГУИР – учебное заведение.
А.С.Пушкин – поэт.
Гепатит – болезнь.
Буддизм – религия, вероисповедание.
Кража – преступление.
Любовь – чувство.
5. Приведите примеры понятий, отношения между которыми соответствуют нижеследующим схемам:
Соподчиненные понятия.
С – подчиняющее понятие «носитель данных»;
А – подчиненное понятие «перфолента»;
В – подчиненное понятие «фотопленка».
Сравнимые совместимые понятия совпадают.
А – понятие «MicrosoftWord»;
B – понятие «приложение MicrosoftOffice».
Сравнимое совместимое понятия включаются.
B – подчиняющее понятие «геометрическая фигура»;
А – подчиненное понятие «параллелограмм».
Включение совместимых понятий.
А – понятие «студент»;
В – понятие «спортсмен»;
С – понятие «парень».
Сравнимые совместимые понятия пересекаются
и включаются в совместимое понятие.
D – подчиняющее понятие «школа»;
А – понятие «первоклассник»;
В – понятие «отличник»;
С – понятие «ученик».
ЛИТЕРАТУРА
1. Ивин А.А. Логика. М., 1998.
2. Ивин А.А., Никифоров А.Л. Словарь по логике. М., 1998.
3. Кобзарь В.И. Логика. С.-П., 2001.
4. Малыхина Г.И. Логика. Мн., 2002.
5. Сидоренко Ф.Ф. Учебник по логике.
6. Информация из сети интернет.