作者Jer1983 (stanley)
看板logic
標題[請益] axiom system
時間Sat Jan 17 21:14:38 2009
各位好, 小弟最近在研讀Mendelson的introduction to mathematical logic.
目前看到第一章第四節, 在談formal axiomatic thoery L.
其中有一段說 If A,B and C are any wfs(well-formed formulas) of L,
then the following are axioms of L:
(A1) ( A => (B => A) )
(A2) ( (A => (B => C)) => ((A => B) => (A => C)) )
(A3) ( ((┐B) => (┐A)) => (((┐B) => A) => B) )
實在不懂作者想表達的意思...這裡的axiom指的是公理嗎? 比方說實數系的公理那種?
還有就是well-formed formulas, 請問版上有人可以用數學的例子說明嗎?
thanks in advance.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.136.133.8