| Знак
| Название
| Соответствие в русском языке
|
| отрицание
| «не», «неверно, что»
|
| &
| конъюнкция
| «и», «а», «но» или запятая
|
| дизъюнкция
| «или»
|
| строгая дизъюнкция
| «или…или», «либо…либо»
|
| импликация
| «если…, то…», «когда…, то…»
|
| эквиваленция
| «если и только если», «тогда и только тогда»
|
| ╡ ╞
| следование в обе стороны
| «следовательно»,
«значит»
«А ╡ ╞ В» –
«из А следует В, а из В – А»
|
| ╞
| следование
| «следовательно», «значит»
«А ╞ В» – «из А следует В»
|
| Кванторы
|
| квантор
существования
| «некоторый», «часть», «большинство», «многие» и др.
|
| квантор общности
| «все», «всякий», «любой», «каждый» и др.
|
Приложение 3
| №
| ВОПРОС / ОТВЕТ
|
|
| Понятие «твердость» (физическое свойство сопротивляться изменению формы) является
|
|
| абстрактным
|
|
| отрицательным
|
|
| нулевым
|
|
| собирательным
|
|
| Понятие «бесконечно удаленная от Земли точка» является
|
|
| общим
|
|
| отрицательным
|
|
| нулевым
|
|
| собирательным
|
|
| Понятие «созвездия» (88 участков, на которые разделено все звездное небо, включающие постоянно находящиеся в них небесные объекты: звезды, туманности, галактики и т.д.) является
|
|
| собирательным
|
|
| отрицательным
|
|
| несобирательным
|
|
| нулевым
|
|
| Понятие «телефон» (прибор для передачи на расстояние звуков и в частности человеческой речи) является
|
|
| конкретным
|
|
| отрицательным
|
|
| нулевым
|
|
| единичным
|
|
| Понятие «преступление» (совершенное общественно опасное деяние, запрещенное УК РФ под угрозой наказания) является
|
|
| абстрактным
|
|
| отрицательным
|
|
| нулевым
|
|
| соотносительным
|
|
| Понятие «гладиолус», «ромашка» и «роза» находятся в отношении
|
|
| пересечения
|
|
| равнозначности
|
|
| соподчинения
|
|
| противоположности
|
|
| Понятие «вуз» и «МФЮА» находятся в отношении
|
|
| пересечения
|
|
| противоположности
|
|
| равнозначности
|
|
| подчинения
|
|
| Понятие «равносторонний треугольник» и «треугольник с равными углами» находятся в отношении
|
|
| пересечения
|
|
| противоположности
|
|
| равнозначности
|
|
| подчинения
|
|
| Понятие «воспитанный» и «невоспитанный» находятся в отношении
|
|
| пересечения
|
|
| противоположности
|
|
| противоречия
|
|
| соподчинения
|
|
| В определении «стол – это не стул» нарушено правило
|
|
| запрет круга
|
|
| ясности
|
|
| неотрицательности
|
|
| соразмерности
|
|
| В определении «стол – это предмет мебели» нарушено правило
|
|
| запрет круга
|
|
| ясности
|
|
| соразмерности
|
|
| неотрицательности
|
|
| Суждению «Все люди смертны» соответствует следующая распределенность терминов
|
|
| S +, P +
|
|
| S ¯, P +
|
|
| S ¯, P ¯
|
|
| S +, P ¯
|
|
| Суждению «Некоторые люди не знают законов логики» соответствует следующая распределенность терминов
|
|
| S+, P +
|
|
| S ¯, P +
|
|
| S ¯, P ¯
|
|
| S +, P ¯
|
|
| Суждению «Ни один тигр не является собакой» соответствует следующая распределенность терминов
|
|
| S+, P +
|
|
| S ¯, P +
|
|
| S ¯, P ¯
|
|
| S +, P ¯
|
|
| Суждению «Пекин – столица Китая» соответствует следующая распределенность терминов
|
|
| S+, P +
|
|
| S ¯, P +
|
|
| S ¯, P ¯
|
|
| S +, P ¯
|
|
| Суждению «В.В.Набоков – автор “Лолиты”» соответствует следующая распределенность терминов
|
|
| S+, P +
|
|
| S ¯, P +
|
|
| S ¯, P ¯
|
|
| S +, P ¯
|
|
| Суждения «Некоторые вузы являются государственными» и «Некоторые вузы не являются государственными» находятся в отношении
|
|
| субконтрарности
|
|
| контрадикторности (противоречия)
|
|
| контрарности
|
|
| подчинения
|
|
| Суждения «Все дети любят фрукты» и «Некоторые дети не любят фрукты» находятся в отношении
|
|
| субконтрарности
|
|
| контрадикторности (противоречия)
|
|
| контрарности
|
|
| подчинения
|
|
| Суждение «Все тигры полосатые» относится к типу
|
|
| А
|
|
| Е
|
|
| О
|
|
| I
|
|
| Суждение «Ни один паук не является насекомым» относится к типу
|
|
| А
|
|
| Е
|
|
| О
|
|
| I
|
|
| Суждение «Столы в нашей аудитории деревянные» относится к типу
|
|
| А
|
|
| Е
|
|
| О
|
|
| I
|
|
| Суждение «Некоторые птицы не умеют летать» относится к типу
|
|
| А
|
|
| Е
|
|
| О
|
|
| I
|
|
| Логической формулой высказывания «Завтра я получу по логике отлично и поеду домой» является
|
|
| (p É q)
|
|
| (p  q)
|
|
| (p & q)
|
|
| (p ≡ q)
|
|
| Логической формулой высказывания «Неверно, что Маша и Витя пошли в кино» является
|
|
| Ø (pÉ q)
|
|
| Ø q Ú (Ø p)
|
|
| Ø (p& q)
|
|
| Ø ((p É q) & p)
|
|
| Логической формулой высказывания «Сумма цифр числа делится на 3, если и только если все число делится на 3» является
|
|
| (p º q)
|
|
| (p É q)
|
|
| (p É p)
|
|
| (p º p)
|
|
| Логической формулой высказывания
«Мне тоскливо, и скучно, и жалко,
Неуютно камин мой горит,
Но измятая в книжке фиалка
Все о счастье былом говорит»
является
|
|
| (p& q)
|
|
| (((((p & q) & r) & s) & p1) r1)
|
|
| ((((p & q) & r) & s) & p1)
|
|
| ((((p & q) & r) & s) p1)
|
|
| Логической формулой высказывания «Если все симулируется шлемом, то это уже не шлем и не симуляция» (В.Пелевин, «Шлем ужаса») является
|
|
| Ø (pÉ q)
|
|
| Ø q Ú (Ø p)
|
|
| (p (Ø q & Ø r))
|
|
| Ø ((p É q) & p)
|
[1] Мнемоника – совокупность приемов и способов, облегчающих запоминание и увеличивающих объем памяти путем образования искусственных ассоциаций).
[2] Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. – М., 1959. – С. 48.
[3] Иногда мы можем и не знать, что класс предметов является именно единичным, например, «город, породненный с Волгоградом». Возможно, не каждому известно, что в объем этого понятия входят 9 городов в разных странах мира.
[4] Даль В.И. Толковый словарь живого великорусского языка: в 4-х т. – М.: 2001, 2464 стр.
[5]Пер. с лат.: заметь хорошо.
[6]Ожегов С.И., Шведова Н.Ю. Толковый словарь русского языка: 80 000 слов и фразеологических выражений/Российская академия наук. Институт русского языка им. В.В.Виноградова. –4-е изд., доп. – М.: Азбуковник, 1997. – 944 стр.
[7] Ожегов С.И., Шведова Н.Ю. Толковый словарь русского языка: 80 000 слов и фразеологических выражений/Российская академия наук. Институт русского языка им. В.В.Виноградова. –4-е изд., доп. – М.: Азбуковник, 1997. – 944 стр.
[8] Силлогистика – это учение о логической дедукции, в котором рассматриваются умозаключения, в которых из двух категорических суждений, связанных общим (средним) термином, получается третье суждение, называемое выводом, при условии, что этот общий (средний) термин в заключение не входит.
[9] Универсум (U) – это класс, состоящий из всех объектов исследуемой области.
