Lemmas คือ ใช้เพื่ออำนวยความสะดวกในการนำเสนอที่มาของคุณ เพื่อให้คุณสามารถเรียกมันในการพิสูจน์ของแต่ละทฤษฎีบท ผลสืบเนื่องนำเสนอผลลัพธ์หลักและใช้การพิสูจน์ทฤษฎีบทเดียวกัน แน่นอนว่ามันถูกต้อง! คุณสามารถใช้คำสั่งที่พิสูจน์แล้วในหลักฐานของคุณเองเป็นขั้นตอนเฉพาะได้
คุณต้องพิสูจน์บทแทรกหรือไม่
A Lemma เป็นผลลัพธ์ที่มีประโยชน์ที่ จำเป็นต้องเรียกใช้ซ้ำๆ เพื่อพิสูจน์ทฤษฎีบทบางส่วนหรืออื่นๆ โปรดทราบว่าบางครั้ง Lemmas อาจมีประโยชน์มากกว่าทฤษฎีบทที่พวกเขาเขียนไว้ตั้งแต่แรก เพื่อพิสูจน์ ข้อเสนอเป็นผลทางเทคนิคที่ไม่จำเป็นต้องเรียกใช้บ่อยเท่าเล็มมา
ตัวอย่างบทแทรกคืออะไร
แทรกเป็นคำที่ยืนอยู่ที่หัวของคำจำกัดความในพจนานุกรมคำนำหน้าทั้งหมดในพจนานุกรมเป็นคำแทรก ในทางเทคนิค มันคือ "คำพื้นฐานและการผันแปรของมัน" … ตัวอย่างเช่น ในภาษาอังกฤษ run, วิ่งและวิ่ง เป็นรูปแบบของคำศัพท์เดียวกัน แต่ run คือบทแทรก
ผลสืบเนื่องต้องการหลักฐานหรือไม่
Corollary - ผลลัพธ์ที่การพิสูจน์ (มักจะสั้น) อาศัยทฤษฎีบทที่กำหนดอย่างหนัก (เรามักจะพูดว่า “นี่เป็นผลสืบเนื่องของทฤษฎีบท A”) ข้อเสนอ - ผลลัพธ์ที่ได้รับการพิสูจน์แล้วและน่าสนใจ แต่โดยทั่วไปแล้วสำคัญน้อยกว่าทฤษฎีบท … Axiom/Postulate - ข้อความที่ถือว่าเป็นความจริงโดยไม่มีการพิสูจน์
คำหลักคืออะไร
ในวิชาคณิตศาสตร์ ตรรกศาสตร์อย่างไม่เป็นทางการและการจับคู่อาร์กิวเมนต์ บทแทรก (พหูพจน์ lemmas หรือ lemmata) คือ a โดยทั่วไปรองลงมา ประพจน์ที่พิสูจน์แล้วซึ่งใช้เป็นบันไดสู่ผลลัพธ์ที่ใหญ่ขึ้น. ด้วยเหตุผลดังกล่าว จึงเรียกอีกอย่างว่า "ทฤษฎีบทช่วย" หรือ "ทฤษฎีบทเสริม "