Умозаключения. Теоремы. Утверждения
Понятия логической формулы и ее ранга Опр. Высказывание с заданным значением истинности называется ло-гической постоянной (F и Т), а высказывание, значение истинности которого не задано, называется логической переменной. Опр. Всякое простое высказывание (логическая переменная или логи-ческая постоянная), а также всякое сложное высказывание, образованное из простых с помощью логических операций, называется логической формулой. Обозначение: Ф, Ф1, Ф2, … Если в формулу Ф входят высказывания Х1, Х2,…, Хп, то в общем виде формулу обозначают Ф(X1, Х2,…, Xn). Например: 1) Ф1 = А ˅ ¬В ˄ (С → А) 2) Ф2 = ((А → У) ˄ В) ↔ (¬Х ˅ У)