ההבדל בין השתתפות והשלכה מהותית
כאשר משתמשים בתור שמות עצם , כישלון פירושו פעולת ההשתלמות, מצב ההשתלשלות או דבר הכרוך בו, ואילו השלכה חומרית פירושו השלכה כהגדרתה בלוגיקה הצעתית קלאסית, המובילה לאמת כמו q vdash p to q, להיקרא כ'כל הצעה שהיא שהיא תנאי מספיק להצעה אמיתית '.
בדוק את השאלות להגדרות אחרות של כליאה ו השלכה מהותית
-
כליאה שיהיה לך שֵׁם עֶצֶם :
פעולת ההשתלמות, מצב ההשתלשלות או דבר הכרוך בכך.
דוגמאות:
'כליאה אינה מרמזת על סיבתיות: אם מערכת הנחות יסוד גוררת מסקנה, אין פירוש הדבר (בהכרח) שהם גורמים למסקנה זו להיות נכונה.'
'טיעון תלוי [[entailment]] ואילו משפט אם-אז תלוי ברמז.'
-
השלכה מהותית שיהיה לך שֵׁם עֶצֶם (הִגָיוֹן):
משמעות כהגדרתה בלוגיקה הצעתית קלאסית, המובילה לאמת כמו Q vdash P to Q, להיקרא כ'כל הצעה שהיא שהיא תנאי מספיק להצעה אמיתית '.
דוגמאות:
'בטבלת האמת באיור 1, השורה הראשונה תואמת את מודוס ponens, את השורה האחרונה תואמת את modus tollens, ניתן לקחת את השורה השנייה כדי לייצג טיעון לא חוקי (כאשר P → Q הוא הטיעון ו- P הוא הנחת יסוד או צירוף הנחות) והשורה השלישית מסייעת להבטיח שארגומנט בצורה P rightarrow Q, neg P vdash neg Q אינו חוקי. '
'הפרדוקס הבא (וגם האקסיומה) של ההשלכה החומרית: ניתן לראות את P rightarrow (Q rightarrow P) כמונוטוניות של הסתבכות, כלומר אם 'P' נכון אז אין שום עובדה אחרת או חדשה'. Q 'אמור להיות מסוגל להתעורר אשר מרמז על ביטול האמת של P, כלומר, לא יכול להיות המקרה, עבור אף' Q ', ש- Q & #; P;'
השווה מילים:
מצא את ההבדלהשווה למילים נרדפות ומילים קשורות:
- הסתבכות לעומת השלכה חומרית
- תנאי מהותי לעומת השלכה חומרית
- השלכה מהותית לעומת השלכה קפדנית
- חיבור לוגי לעומת השלכה חומרית
- הסתבכות לעומת השלכה חומרית