หัวข้อ: logic
ดูหนึ่งข้อความ
  #2  
Old 26 มิถุนายน 2009, 01:04
milch's Avatar
milch milch ไม่อยู่ในระบบ
หัดเดินลมปราณ
  
วันที่สมัครสมาชิก: 28 มิถุนายน 2008
ข้อความ: 31
milch is on a distinguished road
Default
MT: from $\phi \rightarrow \chi$ and $\neg \chi$, infer $\neg \phi$.
MP: from $\phi$ and $\phi \rightarrow \chi$, infer $\chi$.
ตอบพร้อมอ้างอิงข้อความนี้