Логические символы

ЛОГИЧЕСКИЙ КВАДРАТ

ОТНОШЕНИЯ ПОНЯТИЙ В СУЖДЕНИЯХ

Правила посылок

№	Правило	Пример ошибки	Примечсния
	Из двух отрицательных посылок нельзя сделать никакого заключения	Дельфины не рыбы Касатки не дельфины ?
	Если одна из посылок отрицательная, то и заключение будет отрицательным	Папоротники размножаются спорами Это растение не размножается спорами Это растение не папоротник
	Если одна из посылок частная, то и заключение будет частным	Некоторые свиньи дикие Все свиньи жирные Некоторые жирные – дикие
	Из двух частных посылок нельзя сделать никакого заключения	Некоторые студенты - отличники. Некоторые отличники – студенты ?

пересечение независимость включение тождество

классов классов классов классов

Название	Изображение	Обыденный язык	Формула (схема)
как пишется	как читается
Конъюнкция (связки: и, а, но)	& Λ х.	p и q	p Λ q	Конъюнкция (p конъюнкция q)
Дизъюнкция (связки: или, либо)	V + (нестрогая) V. +.	p или q (нестрогая) p либо q (строгая)	p V q	Дизъюнкция p q (р дизъюнкция q)
Импликация (связка: если…, то)	→	Если p, то q	p → q	Импликация p q (р импликация q)
Эквиваленция (связка: тогда и только тогда, когда)	≡	p тогда и только тогда, когда q	p ≡ q	Эквиваленция p q (р эквиваленция q)
Отрицание (связка: не, нет)	~ −	не р	р	Отрицание р (р с отрицанием)
Понятия	A, B, C, D…
Субъект простого суждения	S	Схема простого суждения: S есть (не есть) P
Предикат простого суждения	P
Простые суждения в составе сложных	a, b, c, d….., p, q, r….
Кванторы	общности	кванторное слово «все»	символ V
существования	кванторное слово «некоторые»	символ Ξ
Логический вывод	«выводимо»	символ ╞
Значение истинности	«истинно»	символ 1
Значение ложности	«ложно»	символ 0
Ограничения и порядок действий	скобки	(), [ ], { }

Дата добавления: 2015-06-27