ผลต่างระหว่างรุ่นของ "การพิสูจน์เชิงคณิตศาสตร์"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ล แทนที่ ‘(?mi)\{\{Link GA\|.+?\}\}\n?’ ด้วย ‘’: เลิกใช้ เปลี่ยนไปใช้วิกิสนเทศ |
ล แทนที่ ‘เห้น’ ด้วย ‘เห็น’ |
||
บรรทัด 1:
{{ลิงก์ไปภาษาอื่น}}
ใน[[คณิตศาสตร์]] '''การพิสูจน์เชิงคณิตศาสตร์''' ({{lang-en|Mathematical Proof}}) คือการแสดงให้เห็นว่า ถ้าหากประพจน์ (หรือในบางกรณีเป็นสัจพจน์) บางอย่างเป็นจริงแล้ว ประพจน์ทางคณิตศาสตร์เป็นผลจากสมมุติฐานดังกล่าวที่จะต้องเป็นจริงด้วย <ref name="nutsandbolts">Cupillari, Antonella. ''The Nuts and Bolts of Proofs''. Academic Press, 2001. Page 3.</ref><ref>Gossett, Eric. ''Discrete Mathematics with Proof''. John Wiley and Sons, 2009. Definition 3.1 page 86. ISBN 0-470-45793-7</ref><ref>Gossett, Eric. ''Discrete Mathematics with Proof''. John Wiley and Sons, 2009. Definition 3.1 page 86. ISBN 0-470-45793-7</ref> เราจะ
การพิสูจน์นั้นใช้ประโยชน์จากตรรกศาสตร์ซึ่งมักเป็นภาษาที่รัดกุมแต่ในบางครั้งก็มักจะใช้ภาษาที่เกิดขึ้นตามธรรมชาติเพื่อการสื่อสารหรือ [[ภาษาธรรมชาติ]] (natural language) ในการอธิบายด้วยซึ่งก่อให้ให้เกิดความกำกวม
|