P означает Q, как читать по-английски

Question

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

пример:

Distributivity: 

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

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

Мне любопытно, как читать слова на английском? если тогда еще?

Edit: в модальных логиках, Ka становится Box, а он с коробочной формой знака, который символизирует правило necessiation, Правило N, это означает, коробку P, если у вас есть P в мире Delta тогда всех acessible миров также должен иметь P.

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

Answer 1

«P означает, что Q» эквивалентно «если P, то Q».

Answer 2

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

Answer 3

Not P Or Q. Эта версия вы хотите?

Answer 4

P означает, что Q истинно, если P и Q истинны, или если P является ложным.

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

* Изменить: В принципе, что сказал Svisstack.

Answer 5

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

Distributivity 

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

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

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

Answer 6

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

Answer 7

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

огонь означает тепло

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

Если у вас есть огонь, но нет тепла, что-то не так. Тогда импликация является ложной.

Answer 8

Иногда эти законы дистрибутивности и другие аксиомы модальной логики легче понять, если вы используете комодиальности, которые являются двойниками Де Моргана данных модальностей. Тогда необходима комодичность необходимости.Для a к coknow P означает, что a не знает, не P: интуитивно это означает, что a «s знание не противоречит P, так a мог научиться P, не приходя знать противоречие. Скажите Ca P если a coknows P.

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

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

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

Answer 9

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

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