ผลต่างระหว่างรุ่นของ "ผู้ใช้:Thastp/ทดลองเขียน3"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ไม่มีความย่อการแก้ไข |
ไม่มีความย่อการแก้ไข |
||
บรรทัด 14:
* [[สูตรที่จัดดีแล้ว]] (Well-formed formula)
* [[เซต (คณิตศาสตร์)|เซต]]
* [[สมาชิก (คณิตศาสตร์)|สมาชิก]] (Element (mathematics))
* [[ชั้น (ทฤษฎีเซต)|ชั้น]] (Class (set theory)
* [[ตรรกศาสตร์แบบฉบับ]] (Classical logic
* [[สัจพจน์]]
* [[กฏการอนุมาน]] (Rule of inference
* [[ความสัมพันธ์อันตภาค|ความสัมพันธ์]] (Finitary relation)
* [[ทฤษฎีบท]] (Theorem)
* [[ผลพวงเชิงตรรกะ]] (Logical consequence
* [[ทฤษฎีแบบชนิด]] (Type theory
* [[สัญลักษณ์ (รูปนัย)|สัญลักษณ์]] (Symbol (formal))
* [[ไวยกรณ์ (ตรรกศาสตร์)|ไวยกรณ์]] (Syntax (logic))
* [[ทฤษฎี (คณิตตรรกศาสตร์)|ทฤษฎี]] (Theory (mathematical logic)
| group1= ระบบ
| list1 =
* [[ระบบรูปนัย]] (Formal system
* [[ระบบรูปนัย|ระบบนิรนัย]] (Deductive system
* [[ระบบสัจพจน์]] (Axiomatic system
* [[ระบบฮิลเบิร์ท]] (Hilbert system
* [[การนิรนัยธรรมชาติ]] (Natural deduction
* [[แคลคูลัสลำดับ]] (Sequent calculus
| group2 = [[Term logic|Traditional logic]]
|