הצעות שגויות: מאפיינים ודוגמאות - סִפְרוּת - 2025

הטענות השגויות הן ישות לוגיות עם אפס ערך אמת (שווא). באופן כללי, הצעה היא ביטוי לשוני (משפט) או מתמטי שממנו ניתן להבטיח את אמיתותה או שקר. הצעות הן בסיס ההיגיון ומהוות תחום מאוד ספציפי המכונה היגיון הצעות.

באופן זה המאפיין העיקרי של ההצעה הוא האפשרות שלה להיות מוצהרת לפי ערך האמת שלה (שקר או נכון). לדוגמה, הביטוי חואן, לכו לחנות! היא אינה מייצגת הצעה מכיוון שהיא חסרה אפשרות זו. בינתיים משפטים כמו חואן הלכו לחנות לקנות או חואן הולך לחנות.

דוגמא להצעה שגויה ופשוטה

כעת, במישור המתמטי, "10−4 = 6" ו- "1 + 1 = 3" הן הצעות. המקרה הראשון הוא על הצעה אמיתית. השנייה מצדה השנייה היא חלק מההצעות השגויות.

אז מה שחשוב הוא לא ההצעה או הדרך בה היא מוצגת, אלא ערך האמת שלה. אם זה קיים, ההצעה קיימת גם.

מאפיינים

פשוט או מורכב

הצעות שגויות יכולות להיות פשוטות (הן מבטאות רק ערך אמת אחד) או מורכבות (הן מבטאות ערכי אמת מרובים). זה תלוי אם הרכיבים שלך מושפעים מרכיבי השרשרת או לא. אלמנטים קשורים אלה ידועים כמחברים או חיבורים לוגיים.

דוגמה לראשון הן הצעות שגויות מהסוג: "הסוס הלבן שחור", "2 + 3 = 2555" או "כל האסירים חפים מפשע".

מהסוג השני תואמים הצעות כמו "הרכב שחור או שהוא אדום", "אם 2 + 3 = 6, אז 3 + 8 = 6". באחרון נצפה הקשר בין לפחות שתי הצעות פשוטות.

בדומה לאלו האמיתיים, גם השגויים שזורים בהצעות פשוטות אחרות העשויות להיות שקריות ואחרות נכונות. התוצאה של ניתוח כל ההצעות הללו מובילה לערך אמת שיהיה מייצג את השילוב של כל ההצעות המעורבות.

הַצהָרָתִי

הצעות שגויות הן הצהרתיות. המשמעות היא שתמיד יש להם ערך אמת משויך (ערך כוזב).

אם יש לך, למשל, "x גדול מ- 2" או "x = x", אינך יכול לקבוע את הערך של שקר (או אמיתות) עד שאתה יודע את העובדה ש- "x" מייצג. לכן אף אחד משני הביטויים לא נחשב כהצהרתי.

חוסר עמימות

לטענות השגויות אין עמימות. הם בנויים בצורה כזו שיש להם רק פרשנות אפשרית אחת. באופן זה, ערך האמת שלו הוא קבוע וייחודי.

מצד שני, חוסר העמימות הזה משקף את האוניברסליות שלו. לפיכך, אלה יכולים להיות שליליים אוניברסליים, שליליים במיוחד, ושליליים קיומיים:

• כל כוכבי הלכת סובבים סביב השמש (שלילית אוניברסלית).
• ישנם אנשים המייצרים כלורופיל (שלילי במיוחד).
• אין עופות יבשתיים (שליליים באופן קיומי).

עם ערך אמת יחיד

להצעות שגויות יש רק ערך אמת אחד, שקרי. אין להם בעת ובעונה אחת את הערך האמיתי. בכל פעם שתעלה אותה הצעה, ערכה יישאר כוזב כל עוד התנאים שבהם הוא מנוסח לא ישתנו.

מורגש להיות מיוצג באופן סמלי

הצעות שגויות חשופות לייצוג סמלי. לשם כך מוקצות האותיות הראשונות של אוצר המילים באופן קונבנציונאלי לייעדן. לפיכך, בלוגיקה הצעתית, האותיות הקטנות a, b, c ואותיות עוקבות מסמלות הצעות.

לאחר שהוקצה להצעה מכתב סמלי, היא נשמרת לאורך כל הניתוח. באופן דומה, מוקצה לערך האמת המקביל, תוכן ההצעה כבר לא משנה. כל הניתוחים הבאים יתבססו על הסמל וערך האמת.

שימוש במחברים או בקשרים לוגיים

באמצעות קישוריות (מחברים או קישוריות לוגיות) ניתן להרכיב כמה הצעות שגויות פשוטות ויוצרים מתחם. מחברים אלה הם צירוף (ו), צירוף (או), השלכה (אם כן), שקילות (אם ורק אם) ושלילה (לא).

מחברים אלה קושרים אותם לאחרים שעלולים או לא עשויים להיות שגויים. ערכי האמת של כל ההצעות הללו משולבים זה בזה, על פי עקרונות קבועים, ונותנים ערך אמת "טוטאלי" לכל ההצעה או הטיעון המורכב כידוע.

מצד שני, המחברים מעניקים ערך אמיתי "מוחלט" של ההצעות שהם משוררים יחד. לדוגמה, הצהרה שגויה המשורשרת לאמירה שגויה דרך מחבר צירוף מחזירה ערך כוזב עבור המתחם. אבל אם הוא משורשר לאמירה אמיתית, ערך האמת של האמירה המורכבת יהיה נכון.

טבלאות אמת

כל השילובים האפשריים של ערכי אמת שההצעות השגויות יכולות לאמץ מכונים טבלאות אמת. טבלאות אלה מהוות כלי הגיוני לניתוח הצעות שגויות שונות המקושרות זו לזו.

כעת, ערך האמת המתקבל יכול להיות אמיתי (טאוטולוגיה), כוזב (סתירה) או מותנה (שקר או נכון, תלוי בתנאים). טבלאות אלה אינן לוקחות בחשבון את התוכן של כל אחת מההצהרות השגויות, אלא רק את ערך האמת שלהן. לכן הם אוניברסליים.

דוגמאות להצעות שגויות

הצעות פשוטות

להצעות פשוטות יש ערך אמת יחיד. במקרה זה, ערך האמת שקרי. ערך זה מוקצה בהתאם לתפיסה האישית של מציאותו של האדם המקצה אותו. לדוגמה, להצהרות הפשוטות הבאות יש ערך שגוי:

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. אוניברסיטת סיימון פרייזר. (s / f). היגדים לוגיים. נלקח מ- cs.sfu.ca.
3. אוניברסיטת דומיניון הישנה. (s / f). הצעה. נלקח מ- cs.odu.edu.
4. אנציקלופדיה אינטרנטית לפילוסופיה. (s / f). היגדים לוגיים. נלקח מ- iep.utm.edu.
5. אנציקלופדיה בריטניקה. (2011, אפריל). שולחן האמת. נלקח מ britannica.com.
6. אנדרדה, ה .; קובידס, עמ '; מרקז, סי .; Vargas, E. and Cancino, D. (2008). הגיון וחשיבה פורמאלית. בוגוטה: אוניברסידאד דל רוסאריו העריכה.
7. גרנט לוקהרט, סי .; בכטל, וו. (1994). כיצד לעשות דברים עם היגיון. ניו ג'רזי: לורנס ארלבום סוחרים, בע"מ.