#1
|
||||
|
||||
logic
ตอนนี้ผมสับสนกับคำว่า
modus tollent กับ modus ponent ช่วยอธิบายทีคับ |
#2
|
||||
|
||||
MT: from $\phi \rightarrow \chi$ and $\neg \chi$, infer $\neg \phi$.
MP: from $\phi$ and $\phi \rightarrow \chi$, infer $\chi$. |
หัวข้อคล้ายคลึงกัน | ||||
หัวข้อ | ผู้ตั้งหัวข้อ | ห้อง | คำตอบ | ข้อความล่าสุด |
หนังสือแนะนำ What is Mathematical Logic? / Genius Explained | rigor | ฟรีสไตล์ | 2 | 16 กรกฎาคม 2006 19:41 |
|
|