Противоречие, согласно Колмогорову, формулируется следующим образом [Математическая логика, стр 51]: «Формула, ложная в любой интерпретации, называется противоречием». Так, формулы (2 = 2), (Y = Y) – истинны; формулы (2 = 3), (Y ≠ Y), (Y = ¬Y) – ложны. Но тогда из этого следует, что не существует разницы сказать: формула — ложна, формула – противоречива.
Читать полностью »