Приложение 2 Символы логики

Знак

Название

Соответствие в русском языке

отрицание

«не», «неверно, что»

&

конъюнкция

«и», «а», «но» или запятая

дизъюнкция

«или»

строгая дизъюнкция

«или…или», «либо…либо»

импликация

«если…, то…», «когда…, то…»

эквиваленция

«если и только если», «тогда и только тогда»

╡╞

следование в обе стороны

«следовательно»,

«значит»

«А ╡╞ В» –

«из А следует В, а из В – А»

╞

следование

«следовательно», «значит»

«А ╞ В» – «из А следует В»

Кванторы

квантор существования

«некоторый», «часть», «большинство», «многие» и др.

квантор общности

«все», «всякий», «любой», «каждый» и др.

№

ВОПРОС/ОТВЕТ

1

Понятие «твердость» (физическое свойство сопротивляться изменению формы) является

абстрактным

отрицательным

нулевым

собирательным

2

Понятие «бесконечно удаленная от Земли точка» является

общим

отрицательным

нулевым

собирательным

3

Понятие «созвездия» (88 участков, на которые разделено все звездное небо, включающие постоянно находящиеся в них небесные объекты: звезды, туманности, галактики и т.д.) является

собирательным

отрицательным

несобирательным

нулевым

4

Понятие «телефон» (прибор для передачи на расстояние звуков и в частности человеческой речи) является

конкретным

отрицательным

нулевым

единичным

5

Понятие «преступление» (совершенное общественно опасное деяние, запрещенное УК РФ под угрозой наказания) является

абстрактным

отрицательным

нулевым

соотносительным

6

Понятие «гладиолус», «ромашка» и «роза» находятся в отношении

пересечения

равнозначности

соподчинения

противоположности

7

Понятие «вуз» и «МФЮА» находятся в отношении

пересечения

противоположности

равнозначности

подчинения

8

Понятие «равносторонний треугольник» и «треугольник с равными углами» находятся в отношении

пересечения

противоположности

равнозначности

подчинения

9

Понятие «воспитанный» и «невоспитанный» находятся в отношении

пересечения

противоположности

противоречия

соподчинения

10

В определении «стол – это не стул» нарушено правило

запрет круга

ясности

неотрицательности

соразмерности

11

В определении «стол – это предмет мебели» нарушено правило

запрет круга

ясности

соразмерности

неотрицательности

12

Суждению «Все люди смертны» соответствует следующая распределенность терминов

S +, P +

S ¯, P +

S ¯, P ¯

S +, P ¯

13

Суждению «Некоторые люди не знают законов логики» соответствует следующая распределенность терминов

S+, P +

S ¯, P +

S ¯, P ¯

S +, P ¯

14

Суждению «Ни один тигр не является собакой» соответствует следующая распределенность терминов

S+, P +

S ¯, P +

S ¯, P ¯

S +, P ¯

15

Суждению «Пекин – столица Китая» соответствует следующая распределенность терминов

S+, P +

S ¯, P +

S ¯, P ¯

S +, P ¯

16

Суждению «В.В.Набоков – автор “Лолиты”» соответствует следующая распределенность терминов

S+, P +

S ¯, P +

S ¯, P ¯

S +, P ¯

17

Суждения «Некоторые вузы являются государственными» и «Некоторые вузы не являются государственными» находятся в отношении

субконтрарности

контрадикторности (противоречия)

контрарности

подчинения

18

Суждения «Все дети любят фрукты» и «Некоторые дети не любят фрукты» находятся в отношении

субконтрарности

контрадикторности (противоречия)

контрарности

подчинения

19

Суждение «Все тигры полосатые» относится к типу

А

Е

О

I

20

Суждение «Ни один паук не является насекомым» относится к типу

А

Е

О

I

21

Суждение «Столы в нашей аудитории деревянные» относится к типу

А

Е

О

I

22

Суждение «Некоторые птицы не умеют летать» относится к типу

А

Е

О

I

23

Логической формулой высказывания «Завтра я получу по логике отлично и поеду домой» является

(p  q)

(p q)

(p & q)

(p ≡ ¬q)

24

Логической формулой высказывания «Неверно, что Маша и Витя пошли в кино» является

(pq)

q  (p)

(pq)

 ((p  q)  p)

25

Логической формулой высказывания «Сумма цифр числа делится на 3, если и только если все число делится на 3» является

(p  q)

(p  q)

(p  p)

(p  p)

26

Логической формулой высказывания

«Мне тоскливо, и скучно и жалко,

Неуютно камин мой горит,

Но измятая в книжке фиалка

Все о счастье былом говорит.»

Является

(pq)

(((((p & q) & r) & s) & p₁) r₁)

((((p & q) & r) & s) & p₁)

((((p & q) & r) & s) p₁)

27

Логической формулой высказывания «Если все симулируется шлемом, то это уже не шлем и не симуляция» (В.Пелевин, «Шлем ужаса») является

(pq)

q  (p)

(p (q &  r))

 ((p  q)  p)