例如,Hamilton 在他的“形式陳述演算”L 中定義格式良好的公式(wff) A 和B 的求值v 的概念時,使用了兩個符號= 和≠。求值v 是wff 的函數假設每個變量wff中的p1,p2,p3 ...
確定! 回上一頁