Женская логика

Аксиома 1. Любое утверждение может быть правдивым или ложным в зависимости от настроения и надетой кофточки.

Следствие. Не бывает взаимоисключающих утверждений.

Метод новой кофточки. Чтобы изменить верность утверждения купите новую кофточку. (данный метод может не работать)

Исключения.
1. Такая кофточка уже у кого-то есть.
2. Новая кофточка выглядит дешевле предыдущей.
3. Любая другая причина.

Аксиома 2. Существуют утверждения не являющиеся ни ложными, ни правдивыми.

Пример. Завтра я точно буду дома в 6 часов.

Определение. Такие утверждения называются ничего не значащими.

Свойства.
1. Ничего не значащее утверждение ничего не значит.
2. Ничего не значащее утверждение может стать значащим в любой момент.

Метод вопроса. Если вы подозреваете утверждение на незначимость - спросите об этом прямо.

Недостатки.
1. Не каждый вопрос имеет ответ. (см. ниже)
2. Принуждение к обдумыванию утверждения повышает вероятность решения его не в вашу пользу.

Аксиома 3. Не каждый вопрос требует ответа.

Пример. Правда же, мне очень идет эта кофточка? Данный отрицательный ответ на этот вопрос может привести к отрицанию практически всех утверждений.

Следствие. Некоторые вопросы содержат в себе ответ, а поэтому являются утверждениями.

Лемма. Вопросы, не содержащие ответа, являются ничего не значащими утверждениями. Доказательство. Если бы они что-то значили, ответ входил бы в вопрос. Поэтому они ничего не значат.

Теорема о вопросительности. Вопросов не существует. Есть только утверждения. Доказательство следует из предыдущих следствия и леммы.

Правила вывода.

Правило изменения качества. Если верно какое-либо утверждение, то при изменении в нем любого качественного или количественного параметра оно остается верным.

Пример. Я не могу купить норковую шубу. => Я не могу купить даже мороженое и, вообще, нищий.

Правило неполного отрицания. Если верно какое-либо утверждение, то противоположное к нему все-таки тоже может быть верным.

Пример. Я не могу купить норковую шубу. => Возможно, я могу купить норковую шубу.

Правило случайного перескока. Из любого утверждения, в крайнем случае, следует любое утверждение.

Крайний случай считается общеизвестным понятием и его определение не дается.

Пользуясь этими правилами, покажем, что слон и муха - парнокопытные животные. Для начала возьмем мертвую муху или муху, отбросившую копыта. Т.к. ног у мухи 6, то отброшенных копыт может быть не более 6. Может ли их быть менее 6? Этот вопрос не содержит ответа, а поэтому не имеет значения. Значит их ровно 6. Т.о. доказано, что у мертвой мухи 6 копыт. Применяя правило неполного отрицания, получаем, что у живой мухи 6 копыт. Т.е. муха - парнокопытное животное. Для слона доказательство аналогично, но у него 4 ноги, что создает некоторую проблему. Для ее решения используем правило случайного перескока, ведь делание из мухи слона - это, безусловно, крайний случай.