ลักษณะและตัวอย่างของข้อเสนอไม่ถูกต้อง

ข้อเสนอที่ผิด พวกเขาเป็นหน่วยงานทางตรรกะที่มีมูลค่าที่แท้จริงของ null (เท็จ) โดยทั่วไปแล้วข้อเสนอเป็นภาษาศาสตร์ (ประโยค) หรือการแสดงออกทางคณิตศาสตร์ซึ่งสามารถมั่นใจได้ว่าความจริงหรือเท็จ ข้อเสนอเป็นพื้นฐานของตรรกะและสร้างเขตข้อมูลเฉพาะที่เรียกว่าตรรกะเชิงประพจน์.

ด้วยวิธีนี้คุณสมบัติหลักของข้อเสนอคือความเป็นไปได้ที่จะถูกประกาศตามมูลค่าความจริง (เท็จหรือจริง) ตัวอย่างเช่นนิพจน์¡ Juan ไปที่ร้าน! มันไม่ได้เป็นตัวแทนของข้อเสนอเพราะมันขาดความเป็นไปได้นี้ ในขณะเดียวกันคำอธิษฐานอย่างฮวนก็ไปที่ร้านเพื่อซื้อหรือฮวนไปที่ร้านถ้าพวกเขามี.

ตอนนี้ในระนาบทางคณิตศาสตร์ "10-4 = 6" และ "1 + 1 = 3" เป็นข้อเสนอ กรณีแรกเป็นข้อเสนอที่แท้จริง ส่วนที่สองเป็นส่วนหนึ่งของข้อเสนอที่ผิด.

ดังนั้นสิ่งสำคัญไม่ใช่ข้อเสนอหรือวิธีการนำเสนอ แต่คุณค่าของความจริง หากมีอย่างใดอย่างหนึ่งก็มีข้อเสนอ.

ดัชนี

• 1 ลักษณะ
  • 1.1 เรียบง่ายหรือสารประกอบ
  • 1.2 การประกาศ
  • 1.3 ไม่มีความกำกวม
  • 1.4 ด้วยค่าความจริงเดียว
  • 1.5 ไวต่อการเป็นตัวแทนสัญลักษณ์
  • 1.6 การใช้ตัวเชื่อมต่อหรือตัวเชื่อมต่อแบบลอจิก
• 2 ตารางความจริง
• 3 ตัวอย่างข้อเสนอที่ผิด
  • 3.1 ข้อเสนอง่าย ๆ
  • 3.2 ข้อเสนอแบบรวม
• 4 อ้างอิง

คุณสมบัติ

เรียบง่ายหรือสารประกอบ

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

ตัวอย่างแรกคือข้อเสนอที่ผิดประเภท: "ม้าขาวเป็นสีดำ", "2 + 3 = 2555" หรือ "นักโทษทั้งหมดเป็นผู้บริสุทธิ์".

ประเภทที่สองสอดคล้องกับข้อเสนอเช่น "ยานพาหนะเป็นสีดำหรือสีแดง", "ถ้า 2 + 3 = 6 ดังนั้น 3 + 8 = 6" ในหลังการเชื่อมโยงระหว่างข้อเสนอง่าย ๆ อย่างน้อยสองข้อสังเกต.  

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

คุณ declaratory

ข้อเสนอที่ไม่ถูกต้องเป็นการเปิดเผย ซึ่งหมายความว่าพวกเขามักจะมีค่าความจริงที่เกี่ยวข้อง (ค่าเท็จ).

ตัวอย่างเช่นหากคุณมี "x มากกว่า 2" หรือ "x = x" คุณจะไม่สามารถตั้งค่าของความเป็นเท็จ (หรือความจริง) จนกว่าคุณจะรู้ว่า "x" หมายถึง ดังนั้นทั้งสองนิพจน์จึงไม่ถือเป็นการประกาศ.

ขาดความกำกวม

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

ในทางกลับกันการขาดความคลุมเครือนี้สะท้อนให้เห็นถึงความเป็นสากล ดังนั้นสิ่งเหล่านี้สามารถลบในระดับสากลโดยเฉพาะเชิงลบและเชิงลบที่มีอยู่:

• ดาวเคราะห์ทุกดวงโคจรรอบดวงอาทิตย์ (เป็นลบในระดับสากล).
• มนุษย์บางคนผลิตคลอโรฟิลล์ (โดยเฉพาะในแง่ลบ).
• ไม่มีนกที่ดิน (ลบอยู่).  

ด้วยค่าความจริงเดียว

ข้อเสนอที่ผิดมีเพียงค่าความจริงเดียวเท่านั้น พวกเขาไม่มีคุณค่าที่แท้จริงพร้อมกัน แต่ละครั้งที่มีการเสนอเรื่องเดียวกันค่าของมันจะยังคงเป็นเท็จตราบใดที่เงื่อนไขที่สูตรไม่เปลี่ยนแปลง.

ไวต่อการเป็นตัวแทนของสัญลักษณ์

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

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

การใช้ตัวเชื่อมต่อหรือตัวเชื่อมต่อแบบลอจิก

ผ่านการใช้การเชื่อมโยง (ตัวเชื่อมต่อหรือการเชื่อมต่อแบบลอจิคัล) ข้อเสนอที่ผิดพลาดง่าย ๆ หลายประการสามารถเข้าร่วมและรวมเป็นองค์ประกอบ ตัวเชื่อมต่อเหล่านี้คือการเชื่อมต่อ (y), การแยก (o), การอนุมาน (จากนั้น), ความเท่าเทียมกัน (ถ้าและหากเท่านั้น) และการปฏิเสธ.

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

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

ตารางความจริง

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

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

ตัวอย่างข้อเสนอที่ผิด

ข้อเสนอง่าย ๆ

ข้อเสนอง่าย ๆ มีคุณค่าความจริงที่ไม่เหมือนใคร ในกรณีนี้ค่าความจริงเป็นเท็จ ค่านี้ได้รับมอบหมายขึ้นอยู่กับการรับรู้ส่วนบุคคลของบุคคลเกี่ยวกับความเป็นจริง ตัวอย่างเช่นข้อเสนอง่าย ๆ ต่อไปนี้มีค่าเท็จ:

1. หญ้าเป็นสีฟ้า.
2. 0 + 0 = 2
3. ศึกษาคนงงงวย.

ข้อเสนอแบบผสม

ข้อเสนอผสมที่ผิดพลาดเกิดขึ้นจากลิงก์แบบง่าย ๆ ที่ลิงก์ผ่านตัวเชื่อมต่อ:

1. หญ้านั้นมีสีฟ้าและศึกษาผู้คนอย่างไร้ความปราณี.
2. 0 + 0 = 2 หรือหญ้ามีสีน้ำเงิน.
3. ถ้า 0 + 0 = 2 แสดงว่าหญ้าเป็นสีน้ำเงิน.
4. 0 + 0 = 2 และหญ้าเป็นสีฟ้าถ้าและเมื่อศึกษาคนงัน.

การอ้างอิง

1. มหาวิทยาลัยเท็กซัสที่ออสติน (s / f) ตรรกะเชิงประพจน์ นำมาจาก cs.utexas.edu.
2. มหาวิทยาลัย Simon Fraser (s / f) ตรรกะเชิงประพจน์ นำมาจาก cs.sfu.ca.
3. มหาวิทยาลัย Old Dominion (s / f) เรื่อง นำมาจาก cs.odu.edu.
4. ปรัชญาสารานุกรมอินเทอร์เน็ต (s / f) ตรรกะเชิงประพจน์ นำมาจาก iep.utm.edu.
5. สารานุกรมบริแทนนิกา (2011, เมษายน) ตารางความจริง นำมาจาก britannica.com.
6. Andrade, E.; Cubides, P.; Márquez, C.; Vargas, E. และ Cancino, D. (2008) ตรรกะและการคิดอย่างเป็นทางการ โบโกตา: บรรณาธิการ Universidad del Rosario.
7. Grant Luckhardt, C.; Bechtel, W. (1994) วิธีการทำสิ่งต่าง ๆ ด้วยตรรกะ นิวเจอร์ซีย์: Lawrence Erlbaum Associates, Inc.