Логические операции

1) Логическое отрицание образуется из простого высказывания добавлением частицы НЕ к сказуемому или использованием оборота речи « не верно, что..»

А	Значение А	Инверсия А	Значение А
У меня есть приставка «DENDY»		У меня нет приставки «DENDY»
Я не знаю китайский язык

А		Читается
		Если А ложно, то не А истинно
		Если А истинно, то не А ложно

2) Логическое умножение ( конъюнкция) :

A	B		Пояснение	Стоят «Мерседес» и «Жигули»
			«М» не стоит и «Ж» не стоит	Ложь
			«М» не стоит и «Ж» стоит	Ложь
			«М» стоит и «Ж» не стоит	Ложь
			«М» стоит и «Ж» стоит	Истина

Таблица истинности

A	B

3) Логические сложения (дизъюнкция) образуется сложение букв с союзом «ИЛИ».

А или B, A OR B, ,

A	B		Пояснение	Стоят «М» или «Ж»
			«М» не стоит, «Ж» не стоит	Ложь
			«М» не стоит, «Ж» стоит	Истина
			«М» стоит, «Ж» не стоит	Истина
			«М» стоит, «Ж» стоит	Истина

4) Логическое следование (импликация) . Образуется с помощью «ЕСЛИ, ТО…»

A	B		Пояснение	«Если идёт дождь, то асфальт мокрый»
			Дождя нет, асфальт сухой	Истина
			Дождя нет, но асфальт мокрый	Истина
			Дождь идёт, асфальт сухой	Ложь
			Дождь идёт, асфальт мокрый	Истина

5) Эквивалентность образуется соединением 2-х высказываний: « ТОГДА И ТОЛЬКО ТОГДА…» A=B, A B

A= «Число делится на 3 без остатка»

В= «Сумма цифр числа делится нацело на 3»

A	B		Пояснение	«Число кратно 3, т. и т.т., когда сумма цифр кратна 3-м»
			Число не кратно трём, сумма цифр не кратна трём	Истина
			Число не кратно трём, сумма цифр кратна трём	Ложь
			Число кратно трём, сумма цифр не кратна трём	Ложь
			Число кратно трём, сумма цифр кратна трём	Истина