แคลคูลัสเชิงประพจน์

เพื่อกำหนดคำว่า "ตรรกะประพจน์" มันเป็นสิ่งจำเป็นที่จะเข้าใจอย่างชัดเจนว่าเป็น "คำสั่ง"

ดังนั้นคำสั่งที่เป็นประโยคอันดับไวยากรณ์ที่ถูกต้องและเป็นเท็จหรือจริง ความคิดนี้จะต้องแสดงความหมายบางอย่าง ยกตัวอย่างเช่นวลีที่ว่า "นกขมิ้นมี" รวมถึงองค์ประกอบต่อไปนี้: "นกขมิ้น" และ "นก"

นั่นคือเหตุผลที่หนึ่งในแนวคิดเริ่มต้นที่สำคัญของตรรกะและการพูด แนวคิดเหล่านี้จะต้องอธิบายสถานการณ์ที่เฉพาะเจาะจงในการที่คำสั่งอย่างใดอย่างหนึ่งคือบางสิ่งบางอย่างหรือการปฏิเสธ

มันจะถือเป็นคำสั่งที่จริงถ้าเป็นจริงสายสืบของสถานการณ์เมื่อมีการ circumscribing โดยตัวเอง "เท็จ" และ "ความจริง" ตรวจสอบความจริงของงบที่

แคลคูลัสเชิงประพจน์ประกอบด้วยการแสดงออกที่ง่ายและซับซ้อน ดังนั้นเพียงแค่คิดว่าคำว่าไม่รวมถึงการแสดงออกในองค์ประกอบอื่น ๆ และซับซ้อนรวมถึงการแสดงออกที่จะได้มาจากการที่ง่ายและเชื่อมต่องบเหตุผล

คลาสสิกแคลคูลัสเชิงประพจน์สามารถแสดงโดยทฤษฎีทั่วไปของการหัก มันเป็นส่วนหนึ่งของตรรกะที่ซึ่งอธิบายได้ขึ้นอยู่กับงบของการเชื่อมต่อตรรกะของการแสดงออกที่เรียบง่าย

ไม่ต้องพูดถึงสันธาน - เป็นโจทย์ที่ยากที่ได้จากการรวมสองแสดงออกอย่างง่ายโดยใช้คำว่า "และ" ความจริงของยืนยันร่วมว่างบทั้งหมดรวมอยู่ในโครงสร้างของมัน ในกรณีที่อย่างน้อยหนึ่งในสมาชิกของเท็จร่วมทั้งเป็นสัญญาณของการ "โกหก".

ตัวเองเป็นร่วมในรูปแบบงบที่ซับซ้อนซึ่งจะขึ้นอยู่กับสมมติฐานเหล่านี้:

- การแสดงออกใด ๆ (และที่ง่ายและซับซ้อน) สามารถเป็นได้ทั้งจริงหรือเท็จ;

- ความจริงของคำพูดที่ซับซ้อนขึ้นอยู่กับความจริงของงบที่มีอยู่ในนั้นและการเชื่อมโยงทางตรรกะในนั้น

เมื่อเชื่อมต่อสองงบใช้คำว่า "หรือ" จะได้รับแล้วหย่า ในชีวิตประจำวันแนวคิดนี้สามารถดูได้จากมุมมองของสองความหมายที่แตกต่างกัน ครั้งแรกมันเป็นความรู้สึกที่ไม่ผูกขาดซึ่งหมายถึงความจริงของการแสดงออกโดยไม่คำนึงถึงการแสดงออกที่แท้จริงของหนึ่งในสองหรือว่าพวกเขาเหล่านั้นของทั้งสอง ประการที่สองการขจัดความรู้สึกที่อ้างว่าเป็นหนึ่งในการแสดงออกเป็นความจริงและอื่น ๆ - เป็นเท็จ

สูตรประพจน์มีอักขระพิเศษ ดังนั้นในสัญลักษณ์ร้าวฉานวีแสดงให้เห็นว่าการแสดงออกเป็นความจริงถ้าความจริงของอย่างน้อยหนึ่งของงบการเงินและเท็จถ้าทั้งสองอวัยวะเพศที่ผิดพลาดของเธอ

ในการกำหนดความหมายมีการยืนยันว่างบฐานไม่สามารถเป็นจริงที่การสอบสวนที่ไม่ถูกต้อง ในคำอื่น ๆ แนวคิดนี้หมายถึงความจริงการพึ่งพาหรือความผิดพลาดในการแสดงออกของมูลค่าของส่วนประกอบและวิธีการของความสัมพันธ์ของพวกเขาที่

แม้จะมีความจริงที่ว่าอาการค่อนข้างมีประโยชน์เพื่อวัตถุประสงค์บางอย่างก็ไม่สอดคล้องอย่างยิ่งกับความเข้าใจทั่วไปของการสื่อสารทั่วไป ดังนั้นเมื่อมันล้อมรอบอุปกรณ์หลายคุณสมบัติที่สำคัญของพฤติกรรมตรรกะของงบที่ได้รับแนวความคิดอาจจะไม่เป็นคำอธิบายที่เพียงพอของมัน

แคลคูลัสเชิงประพจน์มุ่งเป้าไปที่การแก้ปัญหาดังกล่าวเป็นงานกลางเช่นการแยกของที่ถูกต้องและไม่ถูกต้องวงจรเหตุผลและการจัดระบบครั้งแรก เพื่อให้ได้ผลที่ถูกต้องคุณจะต้องมุ่งเน้นไปที่ตัวละครพิเศษที่สามารถเป็นตัวแทนหนึ่งหรืออีกรูปแบบหนึ่ง ดังนั้นแสดงความสนใจในคำพูดที่ดูเหมือนจะไม่มีนัยสำคัญดังกล่าวเช่น "หรือ" "และ" ฯลฯ

งบลอจิกยังมีภาษาของตัวเองประกอบด้วยองค์ประกอบต่อไปนี้:

- ตัวละครเดิม - ตัวแปรค่าคงที่ตรรกะและสัญลักษณ์ทางเทคนิค

- สูตร

เพื่อความเข้าใจที่ดีของสิ่งที่ได้รับการกล่าวคุณต้องไปที่ตัวอย่างที่เฉพาะเจาะจง ยกตัวอย่างเช่นการร่วมใช้สัญลักษณ์ & ร้าวฉาน - \ / หรือ \ º /