Jacques Herbrand (1908 - 1931) Principal writings in logic
... ES(A,p) that makes the expansion true and assigns the numerical value q to the constant c. œxœy∑zı(x,y,z) expresses the existence, for any p and q, of interpretations that make ES(A,p) true, and give the constant c the value q. If the theory is a true theory of arithmetic, then œxœy∑zı(x,y,z) is tru ...
... ES(A,p) that makes the expansion true and assigns the numerical value q to the constant c. œxœy∑zı(x,y,z) expresses the existence, for any p and q, of interpretations that make ES(A,p) true, and give the constant c the value q. If the theory is a true theory of arithmetic, then œxœy∑zı(x,y,z) is tru ...
Predicate logic, motivation
... --if there is a tilde, the quantifier applies to the tilde and to whatever the tilde applies to --if there is a parenthesis (or bracket), the quantifier applies to everything in that pair of parentheses (or brackets) A variable is bound if and only if it is within the scope of a quantifier that con ...
... --if there is a tilde, the quantifier applies to the tilde and to whatever the tilde applies to --if there is a parenthesis (or bracket), the quantifier applies to everything in that pair of parentheses (or brackets) A variable is bound if and only if it is within the scope of a quantifier that con ...