P подразумевает Q, как читать по-английски

Question

как читать P подразумевает Q в классической логике?

пример:

Distributivity:  

Ka(X->Y) -> (KaX -> KaY)

Это модальная логика, которая использует классические логические правила.
KaX: a знает, что X истинно.

Мне интересно, как читать импликации на английском? если тогда еще?

Редактировать: в Модальной Логике, Ка становится Box, ну, это знак в форме коробки, который символизирует правило необходимости, Правило N, что означает бокс P, если у вас есть P в Дельте мира, тогда все Доступные миры также должны иметь P.

Существует также Diamond P, что означает возможность того, что существует один мир, который имеет P, доступный из мира, который имеет Diamond P.

Answer 1

Возможно, это поможет вам понять, что если вы представите небольшой пример из реального мира:

Огонь подразумевает тепло

Это означает, что если у вас есть огонь, там должно быть тепло. Если огня нет, то может быть тепловым из-за других эффектов (например, светит солнце :)), но также не может быть тепла.

Если у вас есть огонь, но нет тепла, что-то не так. Тогда это неверно.

Answer 2

«P подразумевает, что Q» эквивалентно «если P, то Q».

Answer 3

Не P Или Q . Эту версию вы хотите?

Answer 4

Перевод вашего примера:

Distributivity

Ka[Z] : ‘A knows Z is true’

Ka[(X->Y)] -> (Ka[X] -> Ka[Y])

Если A знает, что из X следует Y, то из A, зная, что X истинно, следует, что A знает, что Y верно.

Answer 5

Для меня P => Q лучше всего читать как P ложно или Q истинно

Answer 6

P подразумевает Q. Перед вами английский.

Answer 7

Вы ищете определение из P -> Q или совет о том, как на самом деле сказать , что это выражается словами, когда вы пишете или говорите? Если это первое, то уже есть несколько хороших предложений.

Однако, если последнее, я бы предложил просто сказать «P подразумевает Q», как вы уже использовали в своем посте. Это лаконично, и если вы не разговариваете с кем-то, кто имеет ограниченное знание математической логики или совсем не знаком с ним, то его смысл ясен.

Answer 8

Иногда эти законы дистрибутивности и другие аксиомы модальной логики легче понять, если использовать комодальности, которые являются дуальностями де Моргана данных модальностей.Комодальность необходимости - это тогда необходимость.* * * * * * * * * * * * * * * * * * * * * * * * * * * * P * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *1004* * * * * * * * * P * * *)знать противоречие.Скажите Ca P, если a coknows P.

Тогда, используя классическую логику, дистрибутивность эквивалентна:

Ka(X or Y) -> (KaX or CaY)

Эту форму часто легче обрабатывать, чем формой с импликацией.в формальных манипуляциях.

Answer 9

P подразумевает, что Q истинно, если P и Q истинно, или если P ложно.

Это ложно, если P истинно, а Q ложно.

* редактировать: в основном то, что сказал Свистстак.