Logic stubs
ต้นขั้วลอจิก
อ่าน 1 นาทีความสม่ำเสมอของการสืบเนื่อง
Logic stubsความสอดคล้องของการอนุมานเป็นคุณสมบัติของระบบตรรกะ หลาย ระบบ เช่น หากประโยคหนึ่งสามารถอนุมานได้จากชุดประโยคที่กำหนด ประโยคนั้นก็สามารถอนุมานได้จากชุดประโยคย่อยใดๆ...
อ่าน 1 นาทีเงื่อนไขก่อนหน้า (ตรรกศาสตร์)
Conditionalsส่วนนำหน้าคือครึ่งแรกของประโยคสมมติฐาน เมื่อใดก็ตามที่ประโยคเงื่อนไขอยู่ก่อนประโยคเงื่อนไข ในบางบริบท ส่วนนำหน้าเรียกว่าprotasis
อ่าน 1 นาทีตรรกะโมดอลปกติ
Logic stubsตรรกะที่เล็กที่สุดที่ตรงตามเงื่อนไขข้างต้นเรียกว่าKตรรกะเชิงโมดอลส่วนใหญ่ที่ใช้กันทั่วไปในปัจจุบัน (ในแง่ของแรงจูงใจทางปรัชญา) เช่นS4 และS5 ของ CI Lewisเป็นตรรกะปกติ...
อ่าน 1 นาทีการอนุมานเชิงลึก
Inferenceในตรรกศาสตร์ทางคณิตศาสตร์ การอนุมานเชิงลึก ( deep inference)เป็นชื่อเรียกแนวคิดทั่วไปในทฤษฎีการพิสูจน์เชิงโครงสร้าง (structural proof theory)ที่แตกต่างจากแคลคูลัสลำดับแบบคลาสสิก...
อ่าน 1 นาทีแคลคูลัสคล่องแคล่ว
Logic stubsแคลคูลัสแบบฟลู เอนท์ เป็นรูปแบบสำหรับการแสดงโดเมนแบบไดนามิกในตรรกะลำดับที่หนึ่งมันเป็นรูปแบบหนึ่งของแคลคูลัสสถานการณ์ความแตกต่างหลักคือสถานการณ์ถือเป็นการแสดงแทนสถานะ
อ่าน 1 นาทีส่วนขยาย (ตรรกศาสตร์ภาคแสดง)
Logic stubsส่วนขยายของ述语 ( predicate ) ซึ่ง เป็นฟังก์ชันที่มีค่าความจริง คือเซตของคู่ค่าที่ใช้เป็นอาร์กิวเมนต์แล้วทำให้述语นั้นเป็นจริง เซตของคู่ค่าดังกล่าวเรียกว่าความสัมพันธ์ (relation )
อ่าน 1 นาทีทฤษฎีบทของเบิร์คฮอฟฟ์ (ตรรกศาสตร์เชิงสมการ)
CS1 errors: periodical ignoredในตรรกศาสตร์ทฤษฎีบทของ Birkhoffในตรรกศาสตร์เชิงสมการระบุว่า ความเท่าเทียมกัน t = u เป็นผลลัพธ์เชิงความหมายของเซตของความเท่าเทียมกัน E ก็ต่อเมื่อ t = u...
อ่าน 1 นาทีตรรกศาสตร์เชิงเส้น
Logic stubsตรรกศาสตร์เชิงอัฟฟินเป็นตรรกศาสตร์ย่อยโครงสร้างที่มีทฤษฎีการพิสูจน์ปฏิเสธ กฎ การหดตัวเชิงโครงสร้างนอกจากนี้ยังสามารถอธิบายได้ว่าเป็นตรรกศาสตร์เชิงเส้นที่มีการลดทอน
อ่าน 1 นาทีระบบตรวจสอบต้นแบบ
Common Lisp (programming language) softwareระบบตรวจสอบต้นแบบ ( PVS ) เป็นภาษากำหนดคุณสมบัติที่ผสานรวมกับเครื่องมือสนับสนุนและตัวพิสูจน์ทฤษฎีบทอัตโนมัติซึ่งพัฒนาขึ้นที่ห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์ของSRI...
อ่าน 1 นาทีการไม่เกี่ยวข้องกับวัสดุ
Logic stubsการไม่บ่งชี้เชิงเนื้อหาหรือการเชื่อมโยง (จากภาษาละตินab ' ออกไป'และjunctio ' เชื่อมต่อ' ) เป็นคำที่อ้างถึงการดำเนินการทางตรรกะที่ใช้ในวงจรทั่วไปและพีชคณิตบูลีน...
อ่าน 1 นาทีแกนกลางที่ไม่อาจพึงพอใจ
Logic stubsในตรรกศาสตร์ทางคณิตศาสตร์เมื่อกำหนดสูตรประพจน์ บูลีนที่ไม่สามารถหา คำตอบได้ ในรูปแบบปกติเชิงเชื่อมโยงกลุ่มย่อยของประโยคย่อยที่มีการเชื่อมโยงยังคงไม่สามารถหาคำตอบได้...
อ่าน 1 นาทีข้อโต้แย้ง
Informal argumentsในการให้เหตุผลและการทำแผนที่ข้อโต้แย้งข้อโต้แย้งกลับคือข้อคัดค้านต่อข้อคัดค้าน ข้อโต้แย้งกลับสามารถใช้เพื่อหักล้างข้อคัดค้านต่อข้อตั้งต้นข้อโต้แย้งหลัก...
อ่าน 1 นาทีความทั่วไปอย่างสมบูรณ์
Concepts in metaphysicsในตรรกศาสตร์เชิงปรัชญาอภิปรัชญาและปรัชญาภาษาปัญหาของความทั่วไปสัมบูรณ์คือปัญหาของการอ้างถึงทุกสิ่งทุกอย่างอย่างแท้จริงในอดีต...
อ่าน 1 นาทีแบบจำลองและตัวอย่างค้าน
Free theorem proversModels And Counter-Examples ( Mace ) เป็นตัวค้นหาแบบจำลองโปรแกรมพิสูจน์ทฤษฎีบทอัตโนมัติ ส่วนใหญ่พยายามทำการพิสูจน์โดยการหักล้างบนรูปแบบปกติของข้อความในปัญหาการพิสูจน์
อ่าน 1 นาทีลูกบาศก์ตรรกะ
Conceptual modelsในระบบตรรกศาสตร์ของอริสโตเติลลูกบาศก์ตรรกะเป็นแผนภาพ ที่แสดงถึงวิธีการต่างๆ ที่ ข้อเสนอทั้งแปด ข้อ ของระบบมีความสัมพันธ์เชิงตรรกะ ('ตรงข้าม') กับข้อเสนออื่นๆ
อ่าน 1 นาทีตาข่ายกันฉีกขาด
Logic stubsในทฤษฎีการพิสูจน์ เครือข่ายการพิสูจน์ ( Proof nets)เป็นวิธีการทางเรขาคณิตในการแสดงการพิสูจน์ที่ขจัดรูปแบบของระบบราชการ สองรูปแบบ ที่ทำให้การพิสูจน์แตกต่างกัน ได้แก่ (A)
ความสามารถในการตีความ
Logic stubsในตรรกศาสตร์ทางคณิตศาสตร์ความสามารถในการตีความคือความสัมพันธ์ระหว่างทฤษฎีเชิงรูปธรรม ซึ่งแสดงถึงความเป็นไปได้ในการตีความหรือแปลความหมายจากทฤษฎีหนึ่งไปเป็นอีกทฤษฎีหนึ่ง
อ่าน 1 นาทีตัวแปรสดใหม่
Automated theorem provingในการให้เหตุผลอย่างเป็นทางการ โดยเฉพาะในตรรกศาสตร์ทางคณิตศาสตร์พีชคณิตคอมพิวเตอร์และการพิสูจน์ทฤษฎีบทอัตโนมัติตัวแปรใหม่คือตัวแปรที่ไม่เคยปรากฏในบริบทที่พิจารณามาก่อน...
อ่าน 1 นาทีสมมติฐานชื่อที่ไม่ซ้ำกัน
Knowledge representationข้อสมมติชื่อเฉพาะเป็นข้อสมมติที่ทำให้ง่ายขึ้นใน ภาษา ออนโทโลยีและตรรกะเชิงพรรณนา บาง ภาษา ในตรรกะที่มีข้อสมมติชื่อเฉพาะ ชื่อที่แตกต่างกันจะอ้างอิงถึงเอนทิตีที่แตกต่างกันในโลกเสมอ..
อ่าน 1 นาทีสาเหตุที่น่าสงสัย
Accuracy disputes from September 2011สาเหตุที่น่าสงสัย —หรือที่รู้จักกันในชื่อความผิดพลาดเชิงสาเหตุความผิดพลาดเรื่องสาเหตุหรือnon causa pro causa ("สาเหตุที่ไม่ใช่สาเหตุสำหรับสาเหตุ" ในภาษาละติน
อ่าน 1 นาทีการสรุปเชิงอัตถิภาวะ
Logic stubsในตรรกศาสตร์ภาคแสดงการสรุปเชิงมีอยู่ (เรียกอีกอย่างว่าการแนะนำเชิงมีอยู่ ∃I )เป็นกฎการอนุมานที่ถูกต้อง ซึ่งช่วยให้สามารถย้ายจากข้อความเฉพาะ หรือตัวอย่างหนึ่ง...
อ่าน 1 นาทีการเปิดใจกว้าง
Logic stubsความเปิดใจคือการเปิดรับความคิดใหม่ๆ ความเปิดใจเกี่ยวข้องกับวิธีที่ผู้คนเข้าถึงมุมมองและความรู้ของผู้อื่นเจสัน เบเออร์ นิยามบุคคลที่มีความเปิดใจว่าเป็นผู้ที่...
อ่าน 1 นาทีสกุล (ปรัชญา)
Definitionในตรรกศาสตร์เชิงคำ ศัพท์ เจนัสคือหนึ่งในสิ่งที่สามารถทำนายได้มันคือส่วนหนึ่งของคำนิยามที่สามารถทำนายสิ่งอื่น ๆ ที่แตกต่างจากสิ่งที่ถูกนิยามได้ตัวอย่างเช่นรูปในคำนิยาม:
อ่าน 1 นาทีOR-AND-invert
Logic gatesเกต OR-AND-invertหรือเกต OAIคือเกตตรรกะที่ประกอบด้วยเกต ORตามด้วยเกต NANDสามารถนำไปใช้งานได้อย่างมีประสิทธิภาพในตระกูลตรรกะต่างๆ เช่นCMOSและTTL เกต เหล่านี้เป็นคู่ตรงข้ามกับเกต...