看過Elliott Mendelson的Introduction of Mathematical Logic，然後為了一些關於新增function letter的證明參考過Kleene的Introdu

邏輯學是怎麼學的啊？原理是什麼？

2

1

1

1.1 語句，對於任何能夠判斷真偽的句子 我們稱做語句，e.g.，A）你媽死了 -語句，B）2，4，6，8 -不是語句，C）你媽炸死了 現在變殭屍在跳舞 -語句，D）你媽死了？ -不是語句，E）快去幫

3

3

1