ผลพวงเชิงตรรกะ
แหล่งข้อมูลอื่น

Beall, Jc; Restall, Greg (2013-11-19). "Logical Consequence".  ใน Zalta, Edward N. (บ.ก.). Stanford Encyclopedia of Philosophy (Winter 2016 ed.).
"Logical consequence". Internet Encyclopedia of Philosophy.
Logical consequence ที่ Indiana Philosophy Ontology Project
Logical consequence and entailment ที่ PhilPapers
Hazewinkel, Michiel, บ.ก. (2001), "Implication", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
| ด ค กคณิตตรรกศาสตร์ |
| --- | --- |
ทั่วไป:  ภาษารูปนัย  กฎการก่อรูป (Formation rule)  การพิสูจน์เชิงรูปนัย (Formal proof)  อรรถศาสตร์รูปนัย (Semantics of logic)  สูตรที่จัดดีแล้ว (Well-formed formula)  เซต  สมาชิก  ชั้น (Class (set theory))  ตรรกศาสตร์แบบฉบับ (Classical logic)  สัจพจน์  กฏการอนุมาน (Rule of inference)  ความสัมพันธ์ (Finitary relation)  ทฤษฎีบท (Theorem)  ผลพวงเชิงตรรกะ  ทฤษฎีแบบชนิด (Type theory)  สัญลักษณ์ (Symbol (formal))  ไวยกรณ์ (Syntax (logic))  ทฤษฎี (Theory (mathematical logic)) 
ระบบ:  ระบบรูปนัย (Formal system)  ระบบนิรนัย (Deductive system)  ระบบสัจพจน์ (Axiomatic system)  ระบบฮิลเบิร์ท (Hilbert system)  การนิรนัยธรรมชาติ (Natural deduction)  แคลคูลัสลำดับ (Sequent calculus) 
ตรรกศาสตร์แบบดั้งเดิม (Term logic):  ประพจน์  การอนุมาน  การอ้างเหตุผล (Argument)  ความสมเหตุสมผล (Validity (logic))  ตรรกบท (Syllogism)  จตุรัสแห่งความขัดแย้ง (Square of opposition)  แผนภาพเวนน์ 
แคลคูลัสเชิงประพจน์ และตรรกศาสตร์แบบบูล:  ฟังก์ชันแบบบูล (Boolean function)  แคลคูลัสเชิงประพจน์  สูตรประพจน์ (Propositional formula)  ตัวดำเนินการตรรกะ  ตารางค่าความจริง  ตรรกศาสตร์หลายค่า (Many-valued logic) 
ตรรกศาสตร์ภาคแสดง (Predicate logic):  อันดับหนึ่ง (First-order logic)  ตัวบ่งปริมาณ (Quantifier (logic))  ภาคแสดง (Predicate (mathematical logic))  อันดับสอง (Second-order logic)  แคลคูลัสภาคแสดงเชิงเอกภาค (Monadic predicate calculus) 
ทฤษฎีเซตสามัญ (Naive set theory):  เซต  เซตว่าง  สมาชิก  การแจงนับ (Enumeration)  ภาวะเท่าเทียมภายนอก (Extensionality)  เซตจำกัด  เซตอนันต์ (Infinite set)  เซตย่อย  เซตกำลัง  เซตนับได้  เซตนับไม่ได้ (Uncountable set)  เซตเวียนเกิด (Recursive set)  โดเมน  โคโดเมน  ภาพ (Image (mathematics))  การส่ง (Map (mathematics))  ฟังก์ชัน  ความสัมพันธ์  คู่อันดับ 
ทฤษฎีเซต:  รากฐานของคณิตศาสตร์  ทฤษฎีเซตแซร์เมโล-เฟรนเคิล (Zermelo–Fraenkel set theory)  สัจพจน์การเลือก (Axiom of choice)  ทฤษฎีเซตทั่วไป (General set theory)  ทฤษฎีเซตคริปคี-ปลาเตก (Kripke–Platek set theory)  ทฤษฎีเซตฟอนนอยมันน์-แบร์ไนส์-เกอเดิล (Von Neumann–Bernays–Gödel set theory)  ทฤษฎีเซตมอร์ส-เคลลีย์ (Morse–Kelley set theory)  ทฤษฎีเซตทาร์สกี-โกรเทินดีค (Tarski–Grothendieck set theory) 
ทฤษฎีตัวแบบ (Model theory):  ตัวแบบ (Structure (mathematical logic))  การตีความ (Interpretation (logic))  ตัวแบบไม่มาตรฐาน (Non-standard model)  ทฤษฎีตัวแบบจำกัด (Finite model theory)  ค่าความจริง  ความสมเหตุสมผล (ตรรกศาสตร์) (Validity (logic)) 
ทฤษฎีพิสูจน์ (Proof theory):  การพิสูจน์เชิงรูปนัย (Formal proof)  ระบบนิรนัย (Deductive system)  ระบบรูปนัย (Formal system)  ทฤษฎีบท (Theorem)  ผลพวงเชิงตรรกะ  กฎการอนุมาน (Rule of inference)  ไวยากรณ์ (ตรรกศาสตร์) (Syntax (logic)) 
ทฤษฎีการคำนวณได้:  การเรียกซ้ำ  เซตเวียนเกิด  เซตแจงนับได้แบบเวียนเกิด (Recursively enumerable set)  ปัญหาการตัดสินใจ  วิทยานิพนธ์เชิร์ช-ทัวริง (Church–Turing thesis)  ฟังก์ชันคณนาได้ (Computable function)  ฟังก์ชันเวียนเกิดปฐมฐาน (Primitive recursive function)