The language used is abstract, refl

The language used is abstract, reflecting advanced arguments from propositional calculus:
“Let there be associated with each positive integer n, a proposition P(n)” (Australian Curriculum, Assessment and Reporting Authority, 2015, Glossary). Two examples of proof by mathematical induction are suggested: the first would illustrate “sums”, and the other “divisibility
results”.

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

ภาษาที่ใช้เป็นนามธรรม สะท้อนขั้นสูงอาร์กิวเมนต์จากแคลคูลัสเชิงประพจน์: "ให้เชื่อมโยงกับแต่ละจำนวนเต็มบวก n เสนอ P(n)" (ออสเตรเลียหลักสูตร การประเมิน และรายงานผู้มี อำนาจ 2015 อภิธานศัพท์) มีการแนะนำตัวอย่างของหลักฐานโดยเหนี่ยวนำคณิตศาสตร์: ครั้งแรกจะแสดงให้เห็นถึง "ผล" และที่อื่น ๆ "divisibilityผล"

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

ภาษาที่ใช้เป็นนามธรรมสะท้อนให้เห็นถึงข้อโต้แย้งที่ทันสมัยจากแคลคูลัสเชิงประพจน์:
"ขอให้มีความเชื่อมโยงกับ n แต่ละจำนวนเต็มบวกเป็นเรื่อง P (n)" (หลักสูตรออสเตรเลียประเมินและผู้มีอำนาจรายงาน 2015, คำศัพท์) ตัวอย่างที่สองของการพิสูจน์โดยอุปนัยทางคณิตศาสตร์ที่มีข้อเสนอแนะ: ครั้งแรกที่จะแสดงให้เห็นถึง "ผลบวก" และอื่น ๆ
"หารผล"

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

ภาษาที่ใช้เป็นนามธรรม ที่สะท้อนความคิดเห็นจากขั้นสูงแคลคูลัสเชิงประพจน์ :
" ให้มีความสัมพันธ์กับแต่ละจำนวนเต็มบวก n ข้อเสนอ P ( n ) " ( หลักสูตร อภิธานศัพท์ ประเมินและรายงาน Authority , 2015 , ออสเตรเลีย ) สองตัวอย่างของการพิสูจน์โดยอุปนัยเชิงคณิตศาสตร์จะแนะ : ครั้งแรกจะแสดง " บวก " และ " การหารลงตัว
ผล "