|
ЛОГИКА уч.пособие МФЮА - Шнитман Г.В.. Учебнометодическое пособие москва 2006 Шнитман Г. В. Логика. Учебнометодическое пособие. М. Мфюа, 2006, 121 с
Приложение 2
Символы логики
Знак
|
Название
|
Соответствие в русском языке
|
|
отрицание
|
«не», «неверно, что»
|
&
|
конъюнкция
|
«и», «а», «но» или запятая
|
|
дизъюнкция
|
«или»
|
|
строгая дизъюнкция
|
«или…или», «либо…либо»
|
|
импликация
|
«если…, то…», «когда…, то…»
|
|
эквиваленция
|
«если и только если», «тогда и только тогда»
|
╡╞
|
следование в обе стороны
|
«следовательно»,
«значит»
«А ╡╞ В» –
«из А следует В, а из В – А»
|
╞
|
следование
|
«следовательно», «значит»
«А ╞ В» – «из А следует В»
|
Кванторы
|
|
квантор существования
|
«некоторый», «часть», «большинство», «многие» и др.
|
|
квантор общности
|
«все», «всякий», «любой», «каждый» и др.
| |
|
|
Скачать 2.1 Mb.