Modus Ponens works with axioms (tru

Modus Ponens works with axioms (truth statements) to infer new facts.

For example: The axioms can be compiled into a list as follows where axiom 3 follows from 1 and 2.
E1
E1 → E2
E2

If another axiom exists of the form E2 → E3 , then E3 would also be added to the list.

ผลลัพธ์ (ไทย) 1:

โมดัส Ponens หลักการ (ความจริงงบ) จะอนุมานข้อเท็จจริงใหม่ได้ตัวอย่างเช่น: หลักสามารถถูกคอมไพล์เป็นรายการดังซึ่งสัจพจน์ที่ 3 ต่อจาก 1 และ 2E1 E1 → E2E2 ถ้าสัจพจน์อื่นของ→แบบฟอร์ม E2 E3 แล้ว E3 จะถูกเพิ่มลงในรายการ

ผลลัพธ์ (ไทย) 2:

Modus Ponens ทำงานร่วมกับสัจพจน์ (งบจริง) เพื่อสรุปข้อเท็จจริงใหม่

ตัวอย่างเช่น: หลักการสามารถเรียบเรียงรายชื่อดังต่อไปนี้ความจริงที่ 3 ต่อจาก 1 และ 2
E1
E1 E2 →
E2

หากความจริงที่มีอยู่อีกรูปแบบ E2 → E3 แล้ว E3 จะถูกเพิ่มลงในรายการ

ผลลัพธ์ (ไทย) 3:

วิธีการ ponens ทำงานกับสัจพจน์ ( ความจริงงบ ) เพื่อสรุปข้อเท็จจริงใหม่ตัวอย่าง : สัจพจน์สามารถเรียบเรียงรายการดังต่อไปนี้ที่สัจพจน์ 3 ดังนี้ จาก 1 และ 2E1E1 E2 → keyboard - key - nameทูถ้าสัจพจน์อื่นที่มีอยู่ในรูปแบบของ E2 E3 → keyboard - key - name แล้ว E3 ก็จะถูกเพิ่มไปยังรายการ