как читать, P подразумевает Q в классической логике?
пример:
Distributivity:
Ka(X->Y) -> (KaX -> KaY)
Это - модальная логика, которая использует правила классической логики.
KaX: знание, что X верно.
Мне любопытно на предмет того, как считать импликацию на английском языке? если затем еще?
Редактирование: в Модальной Логике Канзас становится Полем, хорошо он упаковал знак формы, который символизирует правило necessiation, Правило N, которое означает, поле P, если у Вас есть P в мире Delta затем, все доступные миры должны также иметь P.
Существует также Ромбовидный P, что означает возможность, что там существует один мир, который имеет P доступный от мира, который имеет Ромб P.
Перевод вашего примера:
Distributivity
Ka[Z] : ‘A knows Z is true’
Ka[(X->Y)] -> (Ka[X] -> Ka[Y])
Если A знает, что из X следует Y, то из A, зная, что X истинно, следует, что A знает, что Y истинно.
Для меня P => Q лучше всего читать как P ложно или Q верно
Иногда эти законы дистрибутивности и другие аксиомы модальной логики легче понять, если вы используете комодальности, которые являются дуальностями Де Моргана данных модальностей. Комодальность необходимости становится необходимостью. Для a
знать P
означает, что a
не знает P
: интуитивно это означает, что a
' знание не противоречит P
, поэтому a
может выучить P
, не узнав противоречия. Скажите Ca P
, если a
знает P
.
Тогда, используя классическую логику, дистрибутивность эквивалентна:
Ka(X or Y) -> (KaX or CaY)
Эту форму часто легче обрабатывать, чем форму с импликацией в формальных манипуляциях.
Возможно, это поможет вам понять, что если вы представите небольшой пример из реального мира:
Огонь подразумевает тепло
Это означает, что если у вас есть огонь, должно быть тепло. Если нет огня, там может быть тепло из-за других эффектов (например, светит солнце :)), но также может не быть тепла.
Если у вас есть огонь, но нет тепла, что-то не так. Значит, подразумевается ложь.
P подразумевает, что Q истинно, если P и Q истинны, или если P ложно.
Неверно, если P истинно, а Q ложно.
* edit: В основном то, что сказал Svisstack.
Вы ищете определение P -> Q
или совет о том, как на самом деле сказать это выразить это словами при письме или разговоре? Если первое, то уже есть несколько хороших предложений.
Однако, если последнее, я бы посоветовал просто сказать «P подразумевает Q», как вы уже использовали в своем сообщении. Он лаконичен, и если вы не разговариваете с кем-то, кто плохо знаком с математической логикой или совсем не знаком с ней, его смысл ясен.