logic

JamesCoe#18 · #1 24 มิถุนายน 2009, 20:08

ตอนนี้ผมสับสนกับคำว่า

modus tollent กับ modus ponent

ช่วยอธิบายทีคับ

milch · #2 26 มิถุนายน 2009, 01:04

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