Bishop Gregory (hgr) wrote,
Bishop Gregory
hgr

Category:

ваппросс по формальной логике

как это называется, если:

есть функция
F, отбражающая А на В,
и есть функция
G, отображающая В на А,

однако:

две эти функции не являются обратными по отношению друг к другу, т.к. преобразование А на В возможно лишь в условиях осуществления преобразования В на А (и наоборот). т.е. отдельно друг от друга они не существуют.

т.е. между ними соотношение дополнительности, если не ошибаюсь, и принцип неопределенности тоже действует (по отношению к элементам множеств А и В).

мне кажется, что д.б. для этого дела какой-нить формальный аппарат.

еще иначе сформулирую тот же вопрос: как задать такое отношение между логическими функциями, которое было бы одновременно конъюнкцией и дизъюнкцией (т.е., по определению, у нас такая логика, где это возможно).

АПДЕЙТ см. комменты, а также я тут отчасти вспомнил, как называется та область, из которой у меня вопрос. кажется, это называется нежесткие множества (или как-то похоже). в этой теории д.б. свой аналог понятию "обратная функция". вот об ём я и спрашиваю.
Subscribe

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 15 comments