Logic
ตรรกะ
อะพอฟาซิส
CS1 uses Greek-language script (el)อะโพฟาซิส ( / ə ˈ p ɒ f ə s ɪ s / ; มาจาก ภาษา กรีกโบราณ ἀπόφασις (apóphasis) , จากἀπόφημι (apóphemi) ' พูดว่าไม่' )...
อ่าน 1 นาทีนิยามเชิงขยายและเชิงความหมาย
Definitionในตรรกศาสตร์นิยามเชิงขยายและนิยามเชิงความหมายเป็นสองวิธีหลักใน การ กำหนดนิยามของวัตถุแนวคิดหรือสิ่งอ้างอิง ที่ คำศัพท์ นั้น อ้างถึง นิยาม...
อ่าน 1 นาทีตรรกะเชิงเส้น
CS1 errors: missing periodicalตรรกศาสตร์เชิงเส้นเป็นตรรกศาสตร์ย่อยโครงสร้างที่เสนอโดยฌอง-อีฟส์ จิราร์ดนักตรรกศาสตร์ ชาวฝรั่งเศส เพื่อเป็นการปรับปรุงตรรกศาสตร์แบบคลาสสิกและ แบบสัญชาตญาณ โดยเชื่อมโยงความเป็นคู่..
อ่าน 1 นาทีการหาปริมาณ (ทางภาษาศาสตร์)
Grammarในความหมายเชิงรูปธรรมคำกริยาจะถูกกำหนดปริมาณหากการที่คำกริยานั้นเป็นจริงสำหรับสิ่งใดสิ่งหนึ่งจำเป็นต้องไม่เป็นจริงสำหรับส่วนย่อยที่แท้จริงของสิ่งนั้น ตัวอย่างเช่น...
อ่าน 1 นาทีตรรกะ
CS1 maint: ignored ISBN errorsตรรกศาสตร์คือการศึกษาเกี่ยวกับการให้เหตุผล ที่ถูกต้อง ซึ่งรวมถึง ตรรกศาสตร์ เชิงรูปธรรมและตรรกศาสตร์เชิงไม่เป็นทางการตรรกศาสตร์เชิงรูปธรรมคือการศึกษาเกี่ยวกับ การอนุมาน
อ่าน 1 นาทีการให้เหตุผลเชิงแผนภาพ
Cognitionการให้เหตุผลโดยใช้แผนภาพคือการให้เหตุผลโดยใช้การแสดงผลด้วยภาพ การศึกษา เกี่ยวกับ การให้เหตุผลโดยใช้แผนภาพนั้นเกี่ยวกับการทำความเข้าใจแนวคิดและไอเดียต่างๆ...
อ่าน 1 นาทีรูปแบบปกติแบบแคนอนิก
Algebraic logicในพีชคณิตบู ลีน ฟังก์ชันบูลีนใดๆก็สามารถแสดงได้ในรูปแบบปกติแบบแยกส่วน ( CDNF ) รูปแบบปกติแบบมินเทอมหรือผลรวมของผลคูณ ( SoPหรือSOP ) ในรูปของการแยกส่วน (OR) ของมินเทอม...
อ่าน 1 นาทีตรรกะของคำศัพท์
Concepts in epistemologyในตรรกศาสตร์และอรรถศาสตร์เชิงรูปธรรมตรรกศาสตร์เชิงคำหรือที่รู้จักกันในชื่อตรรกศาสตร์แบบดั้งเดิมตรรกศาสตร์เชิงอนุมานหรือตรรกศาสตร์แบบอริสโตเติลเป็นชื่อเรียกอย่างไม่เป็นทางการสำหรับแ...
อ่าน 1 นาทีหลักการของมาร์คอฟ
Constructivism (philosophy of mathematics)หลักการของ Markov (หรือที่รู้จักกันในชื่อหลักการ Leningrad ) ซึ่งตั้งชื่อตามAndrey Markov Jrเป็นข้อความแสดงการมีอยู่แบบมีเงื่อนไขซึ่งมีสูตรเทียบเท่ากันหลายสูตร...
อ่าน 1 นาทีลำดับความคิด
Cognitionลำดับความคิดหรือบางครั้งเรียกว่าห่วงโซ่ความคิดหมายถึงความเชื่อมโยงในลำดับของความคิดที่แสดงออกมาในระหว่างการสนทนาหรือความคิดที่ ต่อเนื่องกัน ตลอดจนลำดับนั้นเอง
อ่าน 1 นาทีความหมายเชิงพลวัต
Linguistic modalityความหมายเชิงพลวัตเป็นกรอบในตรรกศาสตร์และความหมายของภาษาธรรมชาติที่ถือว่าความหมายของประโยคเป็นศักยภาพในการปรับปรุงบริบท ในความหมายเชิงสถิต...
อ่าน 1 นาทีทฤษฎีความจริงเชิงปฏิบัติ
Belief revisionทฤษฎีความจริงเชิงปฏิบัติเป็นทฤษฎีความจริงในปรัชญาปฏิบัตินิยมและปรัชญาปฏิบัตินิยม ทฤษฎี ความจริงเชิงปฏิบัติได้รับการเสนอครั้งแรกโดยชาร์ลส์ แซนเดอร์ส เพียร์ซ , วิลเลียม...
อ่าน 1 นาทีการทำแผนที่เชิงปฏิบัติ
Cognitive psychologyการทำแผนที่เชิงปฏิบัติ (Pragmatic mapping ) ซึ่งเป็นคำที่ใช้กันอยู่ในปัจจุบันในสาขาภาษาศาสตร์คอมพิวเตอร์จิตวิทยาการรู้คิดและสาขาที่เกี่ยวข้อง คือกระบวนการที่คำกริยาเชิงนามธรรม (...
อ่าน 1 นาทีกราฟอยด์
Logicกราฟอยด์คือเซตของข้อความในรูปแบบ " Xไม่เกี่ยวข้องกับYเมื่อเรารู้ว่าZ " โดยที่X , YและZเป็นเซตของตัวแปร แนวคิดเรื่อง "ความไม่เกี่ยวข้อง" และ "เมื่อเรารู้ว่า" อาจตีความได้หลากหลาย...
อ่าน 1 นาทีความมุ่งมั่นทางภววิทยา
Logicในความหมายเชิงรูปธรรมข้อผูกมัดทางภววิทยาของภาษาคือวัตถุหนึ่งหรือมากกว่าที่ภาษานั้นตั้งสมมติฐานว่ามีอยู่จริง 'การดำรงอยู่' ที่กล่าวถึงไม่จำเป็นต้องเป็น 'ของจริง' แต่มีอยู่จริงใน...
อ่าน 1 นาทีตรรกศาสตร์เชิงเรขาคณิต
CS1 maint: publisher locationในตรรกศาสตร์ทางคณิตศาสตร์ตรรกศาสตร์เชิงเรขาคณิตเป็นการ ขยายทั่วไป แบบอนันต์ของตรรกศาสตร์เชิงสอดคล้องซึ่งเป็นข้อจำกัดของตรรกศาสตร์อันดับหนึ่งที่เสนอโดยสโกเลม และ...
ความสามารถในการทดสอบ
Empiricismความสามารถในการทดสอบเป็นลักษณะสำคัญของวิทยาศาสตร์และวิธีการทางวิทยาศาสตร์ความสามารถในการทดสอบมีองค์ประกอบสองประการ:
อ่าน 1 นาทีแผนผังอาร์กิวเมนต์
Argument mappingแผนผังการโต้แย้งหรือแผนภาพการโต้แย้งคือการแสดงโครงสร้างของการโต้แย้ง ในรูปแบบภาพ แผนผังการโต้แย้งโดยทั่วไปจะรวมส่วนประกอบสำคัญทั้งหมดของการโต้แย้ง
อ่าน 1 นาทีการไม่เกี่ยวข้องกัน
Abstractionในตรรกศาสตร์และทฤษฎีความน่าจะเป็นเหตุการณ์ (หรือข้อความ) สองเหตุการณ์จะแยกจากกันโดยสิ้นเชิงหรือแยกจากกันหากทั้งสองเหตุการณ์ไม่สามารถเกิดขึ้นพร้อมกันได้...
อ่าน 1 นาทีบริบทเชิงขยาย
Logicในสาขาวิชาต่างๆ ที่เกี่ยวข้องกับการใช้สัญลักษณ์ เช่นภาษาศาสตร์ตรรกศาสตร์คณิตศาสตร์อรรถศาสตร์สัญศาสตร์และปรัชญาภาษาบริบทเชิงขยาย (หรือบริบทโปร่งใส )
อ่าน 1 นาทีการอนุมาน
Concepts in epistemologyการอนุมานเป็นขั้นตอนในการให้เหตุผลเชิงตรรกะโดยเคลื่อนจากข้อสมมติไปสู่ผลลัพธ์เชิงตรรกะการอนุมานแบ่งออกเป็น สองประเภทหลักๆ คือ...
อ่าน 1 นาทีพยาน (คณิตศาสตร์)
Logicในตรรกศาสตร์ทางคณิตศาสตร์พยานคือค่าเฉพาะtที่จะนำมาแทนตัวแปรxในประโยคแสดงการมีอยู่ที่มีรูปแบบ∃ x φ ( x )โดยที่φ ( t )เป็นจริง
อ่าน 1 นาทีแผนภาพเวลาดิจิทัล
Diagramsแผนภาพเวลาดิจิทัลแสดงถึงชุดสัญญาณในโดเมนเวลาแผนภาพเวลาสามารถประกอบด้วยหลายแถว โดยปกติจะมีแถวหนึ่งเป็นสัญญาณนาฬิกา เป็นเครื่องมือที่ใช้กันทั่วไปในอิเล็กทรอนิกส์ดิจิทัล...
อ่าน 1 นาทีด้ายของอาริอาadne (ตรรกะ)
Ariadneด้ายของอาริอาadneซึ่งตั้งชื่อตามตำนานของอาริอาadneผู้มอบด้ายม้วนหนึ่ง (ซึ่งเปรียบเสมือน "เบาะแส" อย่างแท้จริง) ให้แก่เธเซอุสเพื่อหาทางออกจากเขาวงกตของมิโนทอร์...