Cтраница 1
Знак общности V заменяет в словесных формулировках слова: все, всякий, каждый, любой. Знак существования 3 употребляется вместо слов: хотя бы один, найдется, существует. [1]
Знак общности V замсляет в словесных формулировках слова: все, всякий, каждый, любой. Знак существования 3 употребляется вместо слов: хотя бы один, найдется, существует. [2]
Знак общности V заменяет в словесных формулировках слова: все, всякий, каждый, любой. [3]
Если мы добавим знак общности или существования, мы получим высказывание, о котором уже можно будет говорить, верно оно или нет. [4]
Первый из них ( знак общности V) заменяется в словесных формулировках словами всякий, каждый, любой, все. Второй знак 3 ( знак существования) заменяется в словесных формулировках словами существует, найдется, какой-нибудь, хотя бы один. [5]
Именно, о формулах, которые ( в нормальной форме) имеют приставку, состоящую из одних только знаков общности, или из одних только знаков существования, или у которых все знаки общности предшествуют знакам существования. Во всех этих случаях вопрос о всегда-истинности формулы узкого исчисления предикатов сводится к вопросу о всегда-истинности ее в области, содержащей определенное конечное число индивидуумов, а в такой области он решается полностью средствами исчисления предложений. [6]
Именно, о формулах, которые ( в нормальной форме) имеют приставку, состоящую из одних только знаков общности, или из одних только знаков существования, или у которых все знаки общности предшествуют знакам существования. Во всех этих случаях вопрос о всегда-истинности формулы узкого исчисления предикатов сводится к вопросу о всегда-истинности ее в области, содержащей определенное конечное число индивидуумов, а в такой области он решается полностью средствами исчисления предложений. [7]
Первый из них ( знак общности V) представлен в словесных формулировках словами каждый, всякий, любой, все. Второй знак ( знак существования 3) представлен в словесных формулировках словами существует, найдется, какой-нибудь, хотя бы. [8]