Существенное отсутствие импликации - Material nonimplication

Диаграмма Венна из ${displaystyle Prightarrow Q}$

Существенное отсутствие импликации или же отречение (латинский ab = "от", соединение = - "присоединение") - это отрицание из материальное значение. То есть для любых двух предложения ${displaystyle P}$ и ${displaystyle Q}$, материальное отсутствие импликации из ${displaystyle P}$ к ${displaystyle Q}$ правда если и только если отрицание материального значения ${displaystyle P}$ к ${displaystyle Q}$ правда. Это более естественно заявлено как то, что материальное отсутствие следствия из ${displaystyle P}$ к ${displaystyle Q}$ верно, только если ${displaystyle P}$ правда и ${displaystyle Q}$ ложно.

Это может быть записано с использованием логической записи как ${displaystyle Prightarrow Q}$, ${displaystyle Pot supset Q}$, или "Lpq" (в Обозначение Бохенского ) и логически эквивалентен ${displaystyle, например (стрелка Q)}$, и ${displaystyle Pland, например, Q}$.

Определение

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

${displaystyle P}$	${displaystyle Q}$	${displaystyle Prightarrow Q}$
Т	Т	F
Т	F	Т
F	Т	F
F	F	F

Логические эквивалентности

Материальное отсутствие импликации можно определить как отрицание материального подтекста.

${displaystyle Prightarrow Q}$	${displaystyle Leftrightarrow}$	${displaystyle, например (стрелка Q)}$
	${displaystyle Leftrightarrow}$	${displaystyle eg}$

В классическая логика, это также эквивалентно отрицанию дизъюнкция из ${displaystyle например, P}$ и ${displaystyle Q}$, а также соединение из ${displaystyle P}$ и ${displaystyle, например, Q}$

${displaystyle Prightarrow Q}$	${displaystyle Leftrightarrow}$	${displaystyle eg (})$	${displaystyle например, P}$	${displaystyle lor}$	${displaystyle Q)}$	${displaystyle Leftrightarrow}$	${displaystyle P}$	${displaystyle land}$	${displaystyle, например, Q}$
	${displaystyle Leftrightarrow}$	${displaystyle eg (})$		${displaystyle lor}$	${displaystyle)}$	${displaystyle Leftrightarrow}$		${displaystyle land}$

Характеристики

сохраняющий ложь: Интерпретация, согласно которой всем переменным присваивается значение истины of "false" производит значение истинности "false" в результате материального отсутствия импликации.

Символ

Символ материального непонимания - это просто перечеркнутый символ материального подтекста. Его символ Unicode 219B₁₆ (8603 десятичных).

Естественный язык

Грамматический

«р минус д».

«р без q».

Риторический

«р, но не q».

Информатика

Побитовая операция: A & (~ B)

Логическая операция: A && (! B)

Смотрите также

• Последствия
• Булева алгебра

Рекомендации

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: «Существенное отсутствие импликации»  – Новости  · газеты  · книги  · ученый  · JSTOR (Июнь 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

внешняя ссылка

• СМИ, связанные с Существенное отсутствие импликации в Wikimedia Commons

Этот математическая логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.

Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.