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