หลักการที่เรียกว่าซึ่งจะขึ้นอยู่กับเหตุผลของมนุษย์และความปรารถนาที่จะพัฒนาและร่วมกันทำตามความจริง นอกจากนี้ยังหมายถึงการปฏิบัติในระยะยาวหลังการทดสอบซ้ำแล้วซ้ำอีกของมนุษยชาติโดยไม่ต้องพิสูจน์อีกอย่างหนึ่งของข้อเสนอ (เช่นในระบบดิจิตอล) แหล่งที่มาของ "สามก๊ก Wu Zhang Wen ชวน": "Jing Yan Yan และเลือก Caolang เสี่ยวส์ Biao ความพิเศษสุดที่รักและความเกลียดชังไม่ได้ช่วยให้ความจริง." ชิงยาวนาย "สั่งหลี่เจี้ยน": "ผ่านว่าไม่ต้องใช้ความระมัดระวังของคนยากจนคนโบราณไม่ได้โดยไม่มี. จนถึงวันนี้คนส่วนใหญ่ไม่สามารถไม่ต้องอยู่ในปรโลก. ความจริงนี้ยังเป็นนิรันดร์. "การออกเสียงของ
yin: gōnglǐ
ภาษาอังกฤษ: ความจริง
คำและวลี
1) หลังจากระยะยาวการทดสอบการปฏิบัติของมนุษย์ซ้ำเป็นความจริงไม่จำเป็นต้องพิสูจน์ด้วยอีกข้อเสนอผู้พิพากษาและหลักการ
2) โจทย์เริ่มต้นของระบบการอนุมาน โจทย์ดังกล่าวในระบบที่ไม่มีเรื่องอื่น ๆ ที่จะได้รับการพิสูจน์และพวกเขาจะเปิดตัวภายในของระบบพื้นฐานโจทย์ข้อเสนออื่น ๆ
คำอธิบายขั้นพื้นฐาน
1 [ความจริง]:. ขึ้นอยู่กับเหตุผลของมนุษย์และความปรารถนาที่จะพัฒนาและร่วมกันทำตามความจริง
2. [ความจริงตัวเองที่เห็นได้ชัดโดยทั่วไปได้รับการยอมรับความจริง]: หลังจากการปฏิบัติของการทดสอบซ้ำแล้วซ้ำอีกในระยะยาวของมนุษย์ไม่มีหลักฐานเพิ่มเติมของข้อเสนอ
คำอธิบายรายละเอียด
1. ชุมชนได้รับการยอมรับด้วยเหตุผลที่ถูกต้อง
"สามก๊ก Wu Zhang Wen ชวน": "Jing Yan Yan และเลือก Caolang เสี่ยวส์ Biao ความพิเศษสุดที่รักและความเกลียดชังไม่ได้ช่วยให้ความจริง." ชิงยาวนาย "สั่งหลี่เจี้ยน": "ผ่านว่าไม่ต้องใช้ความระมัดระวังของคนยากจนคนโบราณไม่สามารถ. วันนี้คนส่วนใหญ่ไม่สามารถไม่ต้องอยู่ในปรโลกความจริงนี้ยังเป็นนิรันดร์ "เต่า" Huan Ni ของ "เก้า:".. โลกมีอำนาจความยุติธรรมไม่มีอา "!
(2) ในระบบได้รับการพิสูจน์ซ้ำแล้วซ้ำอีกโดยการปฏิบัติที่มีการพิจารณาข้อเท็จจริงที่สำคัญไม่มีหลักฐานเพิ่มเติม เช่น "เงินจำนวนเท่ากันเท่ากับเท่ากันและ" เป็นจริงคือ
ตัวอย่างการใช้งาน
(A) รูปแบบดั้งเดิมของการอ้างเหตุผลตรรกะเกี่ยวกับนักเรียนทั้งชั้นของสิ่งที่สิ่งที่เป็นหรือไม่ได้เป็นแล้วบางสิ่งเหล่านี้คือสิ่งที่เป็นหรือไม่ได้เป็นเช่นหากได้ข้อสรุปว่าเป็นส่วนหนึ่งทั้งชั้นของสิ่งนั้นเป็นของ จะได้รับการสรุปความจริงที่ว่า อีกตัวอย่างหนึ่งก็จะถูกใช้โดยคนที่อยู่ในชีวิตประจำวันของ "ชีวิตต้องตาย" ยังเป็นคำตัดสินนี้ชัดเจนในตัวเอง
(ข) ในระบบอธิบายไว้ด้านล่างรูปทรงเรขาคณิตแบบยุคลิดเป็นสัจพจน์:
①ปริมาณที่เท่ากันเท่ากับจำนวนเงินที่เท่ากันกับแต่ละอื่น ๆ ;
②เงินจำนวนเท่ากันเท่ากันและเท่ากับของพวกเขา;
③ลบอื่น ๆ เท่ากันเท่ากับความแตกต่าง;
④วัตถุที่ทับซ้อนร่วมกันสอดคล้องกัน;
⑤ทั้งมากกว่าส่วน (หมายเหตุ:. เมื่อมีจำนวนอนันต์ขององค์ประกอบในการเก็บรวบรวมเมื่อความถูกต้องของหลักการที่จะกล่าวถึงเช่นขอบด้านล่างและขอบด้านล่างของรูปสามเหลี่ยมเส้นมัธยฐานบนเส้นมัธยฐานของครึ่งล่างของความยาว, แต่จุดบนขอบด้านล่างจุดสุดยอดของการเชื่อมต่อที่เลือกจะได้รับจุดที่สอดคล้องกันของเส้นมัธยฐานซึ่ง - แม้ว่าความยาวของเส้นมัธยฐานของครึ่งล่าง แต่จำนวนขององค์ประกอบภายในการจัดเก็บบนและด้านล่าง เท่า.)
ต่อไปนี้เป็นหลักการที่ใช้กันทั่วไปเท่ากัน:
1 เท่ากับปริมาณที่เท่ากันและเท่าเทียมกัน คือถ้า a = b แล้ว c = b c
2 ฯลฯ ลบเท่ากันเท่ากับส่วนต่าง คือถ้า a = b แล้ว c-b = c-
3 ครั้งจำนวนเท่ากับจำนวนเงินเดียวกันของเดียวกัน คือถ้า a = b แล้ว ac = BC
4 เท่ากับปริมาณที่เท่ากันขององค์ประกอบเดียวกัน คือถ้า a = b, c ≠ 0 แล้ว A / C = B / C
5 ทดแทนเท่ากับ คือถ้า a = b, b = c แล้ว c =
ระบบ
ในทางคณิตศาสตร์จริงระบบ (จริงระบบที่เรียกว่าเป็นระบบซึ่งเป็นจริงความจริงระบบซึ่งเป็นจริง) คือชุดของหลักการเหตุผลจากหลักการเหล่านี้สามารถส่งออกทั้งหมดของทฤษฎีบท นอกจากนี้คุณยังสามารถพูดได้ว่าระบบตรรกะความจริงอย่างเป็นทางการคือการแสดงออกที่สมบูรณ์แบบ ระบบทฤษฎีทางคณิตศาสตร์ที่ประกอบด้วยระบบการทำงานของสัจพจน์และทฤษฎีบทของทุกองค์ประกอบของการส่งออก ตัวอย่างเช่น: "เรขาคณิต" ยุคลิดและเป็นเรื่องที่ห้าสัจพจน์และห้าสมมุติฐานทั้งหมดทฤษฎีบทในเรขาคณิตเครื่องบินอาจได้มาจากเหล่านี้ห้าหลักการและสมมุติฐานที่ผลักดัน
|