Последний раз редактировалось dikiy1 08.11.2013, 12:16, всего редактировалось 10 раз(а).
Прошу обратить внимание на совершенно иные аксиомы натуральных чисел, переведённые на язык математической логики. 08sapr.ru/forum/viewtopic.php?id=10
-- 04.11.2013, 09:57 -- Осмелюсь привести пример, как удобно применять язык мат.логики. (a + b = c) ≡ C(a,b,c) (a + b = c) => (b + a = c) ≡ C(a,b,c) => C(b,a,c) ≡ ≡ ¬C(a,b,c) v C(b,a,c) ≡ C(b,a,c) v ¬C(a,b,c) ≡ ≡ ¬C(b,a,c) => ¬C(a,b,c) ≡ (b + a ≠ c) => (a + b ≠ c)
|