| คำศัพท์ (VOCABULARY) | ความหมาย (TRANSLATION) |
|---|---|
| ทฤษฎีบท | [n.] theorem [n.] proposition [cl.] ทฤษฎี [def.] ข้อความที่พิสูจน์แล้วว่าเป็นจริง และใช้ในการอ้างอิงเพื่อพิสูจน์ข้อความอื่นได้ [example] ในการให้คอมพิวเตอร์พิสูจน์ทฤษฎีบทให้ เราจำเป็นต้องสร้างกฎในการพิสูจน์ขึ้นมาก่อน |