ผลต่างระหว่างรุ่นของ "ผู้ใช้:Thastp/ทดลองเขียน3"

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