4 תשובות
היגיון
היגיון
היגיון
לוגיקה יכולה להיות קיימת גם במקצועות כמו לוגיקה ספרתית שיש בחשמל
לוגיקה יכולה להיות קיימת גם במקצועות כמו לוגיקה ספרתית שיש בחשמל
הלוגיקה היא סדרה של כלים באמצעותם אנחנו בוחנים את תקפותם או בטלותם של טיעונים, ואת ערך האמת של טענות. כל טענה יכולה לקבל שני ערכים (בינרי) אמת או שקר (f, t או: 0 ,1).
החוקים הבסיסיים הם חוק הסתירה ועקרון השלישי הנמנע (שנובע ממנו בעזרת כללי דה מורגן וביטול שלילה כפופה). בפשטות הם אומרים שלא ייתכן שמתקיים p וגם מתקיים לא p (שלילה שלו), או בניסוח מקביל: או שמתקיים p או שמתקיים לא p.
יש טענות שבהכרח נכונות, משפטים אנליטיים וטאוטולוגיות, למשל: 'כל רווק אינו נשוי', או 'יורד גשם או לא יורד גשם' (x+~x = 1 בכל מקרה). ויש טענות שבהכרח שקריות כמו 'משולש מרובע' או 'יורד גשם וגם לא יורד גשם' - כיוון שהם מביאים לפסוק שקר או סתירה.
כללי ההיסק הבסיסיים והנפוצים הם כלל הניתוק (אישור הפותח, modus ponens) והכחשת הסוגר/ שלילת הסיפא (modus tollens). בהתאמה: אם א' אז ב', א', לכן ב'. אם א' אז ב', לא ב', לא א'.
בגדול, הטיעון התקף הוא מהצורה המכונה דדוקציה (=אפרוט, היסק מהכלל אל הפרט), ההדגמה הנפוצה היא על ידי הסילוגיזם מהסוג barbara (כל s הוא p, ו-a הוא s, לכן: a הוא p): כל האנשים הם בני תמותה, סוקרטס הוא בן אנוש, לכן סוקרטס הוא בן תמותה.
החוקים הבסיסיים הם חוק הסתירה ועקרון השלישי הנמנע (שנובע ממנו בעזרת כללי דה מורגן וביטול שלילה כפופה). בפשטות הם אומרים שלא ייתכן שמתקיים p וגם מתקיים לא p (שלילה שלו), או בניסוח מקביל: או שמתקיים p או שמתקיים לא p.
יש טענות שבהכרח נכונות, משפטים אנליטיים וטאוטולוגיות, למשל: 'כל רווק אינו נשוי', או 'יורד גשם או לא יורד גשם' (x+~x = 1 בכל מקרה). ויש טענות שבהכרח שקריות כמו 'משולש מרובע' או 'יורד גשם וגם לא יורד גשם' - כיוון שהם מביאים לפסוק שקר או סתירה.
כללי ההיסק הבסיסיים והנפוצים הם כלל הניתוק (אישור הפותח, modus ponens) והכחשת הסוגר/ שלילת הסיפא (modus tollens). בהתאמה: אם א' אז ב', א', לכן ב'. אם א' אז ב', לא ב', לא א'.
בגדול, הטיעון התקף הוא מהצורה המכונה דדוקציה (=אפרוט, היסק מהכלל אל הפרט), ההדגמה הנפוצה היא על ידי הסילוגיזם מהסוג barbara (כל s הוא p, ו-a הוא s, לכן: a הוא p): כל האנשים הם בני תמותה, סוקרטס הוא בן אנוש, לכן סוקרטס הוא בן תמותה.