關於理則學的幾點提醒
先自我介紹，我是碩二薛明立，前幾週剛加入理則學助教
軍團^^。上次的作業（二十題證明題）是我負責改的。如果
有漏失、改錯的地方還請大家包涵並主動找老師或助教們討論。
鑑於期中考將屆，有幾點想提醒大家：
首先，許多同學在證明過程中會為了貪快而省略步驟，
像是DN，Assoc，Contra 等等，當中DN的省略尤其嚴重。
在某些比較複雜的證明過程中，省略輕則降低閱讀速度，
嚴重則造成一個證明結構性的瑕疵。儘管這次作業批改我
並沒有針對證明過程中的大量省略而扣分，但希望大家在
正式考試能夠盡量寫完整。
其次，是關於將文字符號化的部分。強烈建議大家在
符號化的時候，盡量依照題目文字陳述的方式符號化，而
不要出現經過等值換算後的符號式。例如：假設依題意符
號式應為p > q， 則請不要符號化為 ～q > ~p。這例子還
容易，倘若經過更複雜的等值換算來做符號式，會讓看的
人一整個霧傻傻。
最後，關於作業第十六題的符號化，請大家依照老師
教各位的方式來做。約莫有四到五人是沒有區分對象語言
與後設語言，直接用只設一個P來證。在批改過程中，我認
為這樣也是可以，所以給了你們對。但後來我問了老師，
老師並不認為這是成功符號化的作法，所以請你們務必依
照老師的方法來回答相類似的題目。對於這個明顯的錯誤
批改，我對這幾位同學感到十分抱歉。
並請大家相互提醒沒看板的同學，謝謝。
祝大家期中考順利
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.144.114