По ходу жизни выясняется, что нельзя все делить на черное и белое, хороших на плохих, врагов и друганов...
В общем, только примитивы рассуждают в категориях да и нет.
Я даю ответы на любой вопрос (Money):
T - Да, значит дам, согласен.
F - Нет, не дам, обойдешься.
N - Не знаю, пока немаю, завтра может быть.
X - No comment - не понял, а кто ты такой (another on Russian )
Аксиомы и доказательства их непротиворечивости будут при наличии времени и желания.
В настоящее время жду охоты заняться однозначной логикой, это посерьезней.
Первая логика - когда знаешь, что делать, а остальное похрен.
Другая - когда точно знаешь, чего не надо.
Две однозначные умножить будет 4- логика...