Символы логики

Знак	Название	Соответствие в русском языке
	отрицание	«не», «неверно, что»
&	конъюнкция	«и», «а», «но» или запятая
	дизъюнкция	«или»
	строгая дизъюнкция	«или…или», «либо…либо»
	импликация	«если…, то…», «когда…, то…»
	эквиваленция	«если и только если», «тогда и только тогда»
╡ ╞	следование в обе стороны	«следовательно», «значит» «А ╡ ╞ В» – «из А следует В, а из В – А»
╞	следование	«следовательно», «значит» «А ╞ В» – «из А следует В»
Кванторы
	квантор существования	«некоторый», «часть», «большинство», «многие» и др.
	квантор общности	«все», «всякий», «любой», «каждый» и др.

Приложение 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) – это класс, состоящий из всех объектов исследуемой области.