סיכום: לוגיקה פורמלית מבוא

מושג: טיעון

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

אמת או שקר: טענה היא תמיד נכונה.

שקר. טענה יכולה להיות נכונה או שקרית, לא תמיד אמת.

מהו 'הנחה'?

הנחה היא טענה שאנו מקבלים כבסיס לדיון או לטיעון, ללא הוכחה.

סוגי טיעונים: תקף ולא תקף

טיעון תקף: אם המסקנה נובעת מההנחות. טיעון לא תקף: המסקנה לא נובעת מההנחות.

מושג: תוצאה

ההיגיון המתמטי מראה כי אם ההנחות נכונות, אז התוצאה חייבת להיות נכונה.

שאלת אמת: כל טענה יכולה להיות נכונה.

שקר. טענה יכולה להיות נכונה או לא נכונה.

מהי 'מסקנה'?

המסקנה היא הטענה הסופית שמתקבלת בעקבות ההנחות והטיעונים שנעשו.

שחזור טיעון: דוגמה

אם 'כל בני האדם הם בני תמותה' ו'סוקרטס הוא אדם', אז 'סוקרטס הוא בן תמותה'.

אמת או שקר: 'כל הטיעונים הם נכונים'.

שקר. לא כל הטיעונים נכונים, יש טיעונים שגויים.

מהו 'לוגיקה'?

לוגיקה עוסקת בחקר העקרונות המנחים את החשיבה וההסקה.

מושג: טענה פשוטה

טענה שלא ניתן לחלק אותה לטענות נוספות. לדוגמה: 'הטלפון צלצל'.

מושג: טענה מורכבת

טענה שניתן לפרק אותה לטענות פשוטות. לדוגמה: 'הטלפון צלצל או שהמחשב לא עובד'.

אמת או שקר: 'אם A אז B'

נכון. אם A היא אמת ו-B היא אמת, אז המסקנה נכונה.

מושג: דיאגרמת ון

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

שאלת אמת: לוגיקה מתמקדת רק במספרים.

שקר. לוגיקה מתמקדת גם במושגים ובקשרים לוגיים.

מהו 'פרדוקס'?

מצב שבו טענה נראית סותרת את עצמה ולכאורה אינה יכולה להיות נכונה.

טיעון תקף

טיעון שבו אם ההנחות נכונות, אז גם המסקנה נכונה.

האם טיעון לא תקף הוא שימושי?

לא, כי מסקנותיו עשויות להיות שגויות למרות שההנחות נכונות.

טיעון מסקנתי

טיעון שבו המסקנה נגזרת ישירות מההנחות. לדוגמה, אם A ו-B אז C.

טיעון רדוקציה אד אבסורדום

טיעון המראה שמהנחה מסוימת נובעת סתירה, ולכן ההנחה אינה נכונה.

מה ההבדל בין טיעון תקף לטיעון לא תקף?

בטיעון תקף המסקנה נכונה מההנחות, בעוד שטיעון לא תקף לא מבטיח זאת.

טיעון אינדוקטיבי

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

טיעון סולידי

טיעון שהוא גם תקף וגם עם הנחות נכונות.

דוגמה לטיעון תקף

אם כל בני האדם מתים, אז סוקרטס מת. סוקרטס הוא אדם. לכן, סוקרטס מת.

טיעון מעגלי

טיעון שבו המסקנה מופיעה כהנחה, יוצר קושי בהבנת הלוגיקה.

האם טיעון סולידי חייב להיות תקף?

כן, טיעון סולידי חייב להיות תקף וגם עם הנחות נכונות.

טיעון דדוקטיבי

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

מהו טיעון סותר?

טיעון שמפריך טיעון אחר, מספק ראיה לכך שהראשון אינו נכון.

טיעון פוזיטיבי

טיעון המייצר תמונה חיובית או תוצאה רצויה, לדוגמה בטיעון של יתרון.

האם כל טיעון אינדוקטיבי הוא תקף?

לא, טיעון אינדוקטיבי אינו מבטיח מסקנה נכונה.

מהי הנחה?

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

טיעון פרדוקסלי

טיעון שמוביל לתוצאה סותרת או לא צפויה, יוצר בלבול.

טיעון אנלוגי

טיעון שמשווה בין שתי סיטואציות ומסיק מסקנות מהשוואה זו.

מה תפקיד הנחות בטיעון?

הנחות מספקות את הבסיס שעליו מתבססת המסקנה.

טיעון חלופי

טיעון המציע הסבר או פתרון שונה, מראה על גמישות מחשבתית.

טיעון חזק

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

היגיון מתמטי

ענף בלוגיקה העוסק בהוכחות מתודולוגיות ופורמליות, כולל משפטים, תכנים ומשפטים מתמטיים.

מה הוא משפט מתמטי?

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

הוכחה אינדוקטיבית

שיטה להוכיח טענה על ידי הוכחה בסיסית והנחה שהיא נכונה עבור n, והוכחתה עבור n+1.

מה היא הוכחה דדוקטיבית?

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

נכונות טענה

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

מהו אקסיומה?

הנחה בסיסית שמתקבלת כנכונה ללא הוכחה, משמשת כבסיס לבניית טיעונים נוספים.

הוכחה נגדית

שיטה שבה מראים שטענה אינה נכונה על ידי הצגת דוגמה או מצב סותר.

מהו טיעון תקף?

טיעון שבו אם ההנחות נכונות, אזי המסקנה חייבת להיות נכונה.

מהי חוקיות?

עקרון בלוגיקה מתמטית המצביע על הקשרים והקשרים בין הנחות למסקנות.

שיטת הוכחה קונטרדיקטורית

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

מהו דמיון בין הוכחה לדדוקציה?

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

מהו היקש?

הסקת מסקנה מתוך הנחות על סמך הקשרים הלוגיים ביניהם, כמו 'אם-אז'.

שיטה בוליאנית

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

מהי טענה פשוטה?

טענה שאינה תלויה בטענות אחרות וניתנת להערכה ישירה.

מסקנה

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

נכונות הוכחה

תהליך בו נבדק אם הוכחה מבוססת על הנחות נכונות ומביאה לתוצאה נכונה.

מהו פרדוקס?

מצב שבו טענה נראית נכונה אך מובילה לתוצאה סותרת או לא הגיונית.

מהי הוכחת שמא?

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

מהו טיעון לא תקף?

טיעון שבו לא ניתן להסיק את המסקנה אם ההנחות נכונות.

מהי מתודולוגיה בלוגיקה?

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

מונח: פרדיקט

תכונה או פעולה המיוחסת לנושא. דוגמה: 'החתול שחור'.

מה ההבדל בין משתנה לפרדיקט?

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

מונח: משתנה חופשי

משתנה שלא מוגדר על ידי כמות. דוגמה: $\displaystyle x$ ב-$\displaystyle P(x)$.

מונח: סמלים לוגיים

סימנים המייצגים טענות או פעולות לוגיות: $\displaystyle \land$, $\displaystyle \lor$, $\displaystyle \neg$.

נכון או לא נכון: $\displaystyle \land$ מייצג 'או'.

לא נכון. $\displaystyle \land$ מייצג 'וגם'.

מונח: טענה

משפט שיכול להיות נכון או לא נכון. דוגמה: 'המים קופאים ב-0 מעלות'.

מונח: תבנית לוגית

צורת ארגון של טיעונים שמבוססת על עקרונות לוגיים.

מונח: קונקטור לוגי

סימן שמחבר בין טענות, כמו $\displaystyle \lor$ או $\displaystyle \neg$. דוגמה: $\displaystyle P \lor Q$.

מונח: כמות כללית

מייצגת טענה על קבוצת אובייקטים. דוגמה: 'כל האורנג'וטנים הם יונקים'.

מונח: טענה אוניברסלית

טענה שמתקיימת עבור כל האובייקטים בקבוצה. דוגמה: 'כל הציפורים עפות'.

מונח: טענה קיימת

טענה שמתקיימת עבור לפחות אובייקט אחד. דוגמה: 'יש עכביש בחדר'.

נכון או לא נכון: טענה יכולה להיות גם נכונה וגם לא נכונה.

לא נכון. טענה יכולה להיות אחת בלבד: או נכונה או לא נכונה.

מונח: ניתן להוכיח

טענה שניתן להראות שהיא נכונה על פי הגדרות והנחות לוגיות.

השלם: טענה היא _____ אם היא לא נכונה.

שקרית.

מונח: ניתוח סמלי

תהליך הצגת טיעונים באמצעות סמלים לוגיים לייעול ההבנה.

מונח: לוגיקה פרדיקטיבית

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