Cтраница 1
Пропозициональные тавтологии образуют исходный пункт всякого дедуктивного рассуждения. [1]
Важность пропозициональных тавтологий для дедуктивных рассуждений подсказывает нам построение формальных аксиоматических систем, являющихся точным описанием этого отдела логики. [2]
Важность пропозициональных тавтологий Для дедуктивных рассуждений подсказывает нам построение формальных аксиоматических систем, являющихся точным описанием этого отдела логики. [3]
Если а - модальная пропозициональная тавтология, то, в силу 9.2, 1а, а значит, и ( ЧаЬМр. [4]
Формула о является пропозициональной тавтологией е том и только в том случае, когда все концевые последовательности з диаграмме формулы а0 фундаментальны. [5]
Формула о является пропозициональной тавтологией в том и только в том случае, когда все концевые последовательности в диаграмме формулы ко фундаментальны. [6]
Формула - является пропозициональной тавтологией в том и только в том случае, когда - а является интуиционистской пропозициональной тавтологией. [7]
Формула р является модальной пропозициональной тавтологией в том и только в том случае, когда формула 10 является модальной пропозициональной тавтологией. [8]
Формула р является модальной пропозициональной тавтологией в том и только в том случае, когда формула Ip1 является модальной пропозициональной тавтологией. [9]
В силу 2.1 выражения пропозициональная тавтология и доказуемая в 5 формула равнозначны. Практически мы чаще будем использовать первое из них. [10]
В силу 2.1 выражения пропозициональная тавтология и доказуемая в У0 формула равнозначны. Практически мы чаще будем использовать первое из них. [11]
Формула - а является пропозициональной тавтологией в том и только в том случае, когда - а является интуиционистской пропозициональной тавтологией. [12]
Тавтологии этого типа называются пропозициональными тавтологиями. [13]
В силу 5.2 а - пропозициональная тавтология тогда и только тогда, когда элемент а е ЗЦ) плотен, т.е. когда - - сс [ - - а У. В силу 2.2 и 3.1 последнее условие выполняется в том н только в том случае, когда - - а - интуиционистская тавтология. [14]
Формула называется позитивно общезначимой или позитивной пропозициональной тавтологией, если она общезначима в каждой импликативной решетке. [15]