Это действительно “корректно” и однозначно?

I think it should have been written:

BUSINESS -> RENT

"If you're staying in business, then you're paying rent."

P -> Q

can be stated "P implies Q," "If P, then Q," or "Q if P."

Откуда появился логический оператор IF ? Я никогда не слышал о таком операторе, который в коде Cish в основном эквивалентен a == true? B: true . Мне очень трудно понять его использование.

Этот оператор чаще называют «импликацией». Что вы имеете в виду под «откуда [оно] взялось»?

И да, подтекст трудно понять, и ваша ошибка совершенно типична.

Вы можете объяснить подтекст, отметив, что при ложных предпосылках все может быть объяснено, даже поддельное (например, мы можем математически доказать, что 1 = 2, если мы используем предпосылку, что деление на 0 допустимо). По этой причине 0 -> x всегда истинно, независимо от значения x (т.е. импликация может дать результат).

She is right. It is a classic a implies b but b does not imply a. What you are saying business is a necessary condition of paying rent which is wrong.

!RENT -> !BUSINESS

Если вы не платите аренду, значит, вы не занимаетесь бизнесом. Это «контрапозитив»

BUSINESS -> RENT

. Если вы занимаетесь бизнесом, вы платите ренту.

Другие способы сказать это (начиная с a -> b === (! A || b ) ):

!BUSINESS || RENT
RENT || !BUSINESS

Либо вы не занимаетесь бизнесом, либо платите аренду, либо и то, и другое (или наоборот).

!(!RENT && BUSINESS)

Вы одновременно не платите арендную плату и занимаетесь бизнесом (или наоборот)

ДОБАВЛЕНО: Кстати, вот как работает разрешение. Приведите свои знания в нормальную конъюнктивную форму, где каждое предложение состоит из дизъюнкции элементарных терминов, каждый из которых может быть отрицан. Если вы знаете, что не платите арендную плату, то это пункт, который вы можете разрешить (т. Е. Отменить условия) с последующим выводом нового пункта, а именно, что вы не занимаетесь бизнесом.

RENT || !BUSINESS
!RENT
--------
!BUSINESS

Аналогичным образом, если вы знаете, что занимаетесь бизнесом, вы можете отменить условия, чтобы сделать вывод, что вы платите ренту.

RENT || !BUSINESS
BUSINESS
--------
RENT

Это привлекательность средств доказательства теорем разрешения - одно правило вывода охватывает как прямой, так и обратный вывод.

Оно также обрабатывает случай - рассуждая красиво, например, если A-> C и B-> C, и A || B, это позволяет вам сделать вывод C:

1. !A || C
2. !B || C
3.  A || B
----------
4.  B || C  (resolve 3 and 1)
5.  C       (resolve 4 and 2)

Ключевым моментом здесь является слово «необходимо». Здесь имеется предложение вида « X необходимо для Y ». Это означает, что X должно быть истинным, чтобы Y было истинным. На обыденном языке мы думаем об этом как « Y не может быть истинным, если X не истинно». И это очень четко переводится как «если X ложно, то Y ложно», потому что если X были ложными, но Y были истинными, то мы нарушили бы Y не может быть истинным, если X не истинно. Но если X ложно, то Y ложно символически преобразуется в ! X =>! Y , у которого есть контрапозитив Y => X . Вот почему « X необходимо для Y » эквивалентно Y => X .

Вот пример: быть нечетным необходимо, чтобы быть простым и больше двух. Это означает, что если число простое и больше двух, оно должно быть нечетным, потому что нечетность является необходимым условием того, чтобы быть простым и больше двух. Иными словами, если число простое и больше двух, оно должно быть нечетным. Обратное (если число нечетное, оно должно быть простым) абсурдно.

Это должно убедить вас, что X необходимо для Y эквивалентно Y => X .

Между операторами существует другая, но взаимосвязанная связь, которая принимает следующую форму: « X является достаточным условием для Y» . На обыденном языке мы могли бы сказать, что «знание X истинно является основанием для Y истинным», или X => Y .

Эти двое имплицитные (теперь это слово!) отношения являются двойниками друг друга. Фактически, в математике очень важная форма: « X является необходимым и достаточным условием для Y ». Это означает, что X => Y и Y => X , или что X <=> Y . Мы говорим, что X и Y эквивалентны, и мы иногда говорим « X тогда и только тогда, когда Y », а иногда сокращаем его » X ] если и только если Y . "

Фактически, в математике очень важная форма: « X является необходимым и достаточным условием для Y ». Это означает, что X => Y и Y => X , или что X <=> Y . Мы говорим, что X и Y эквивалентны, и мы иногда говорим « X тогда и только тогда, когда Y », а иногда сокращаем его » X ] если и только если Y . "

Фактически, в математике очень важная форма: « X является необходимым и достаточным условием для Y ». Это означает, что X => Y и Y => X , или что X <=> Y . Мы говорим, что X и Y эквивалентны, и мы иногда говорим « X тогда и только тогда, когда Y », а иногда сокращаем его » X ] если и только если Y . "