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