יום שני, 11 בספטמבר 2017

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

למדנו היום מהי לוגיקה - תורת ההגיון, ודיברנו על אפלטון ועל אריסטו וראינו דוגמאות לכל מיני שרשראות טיעונים:

  • לשרשרת טיעונים תקפה:
    • מלפפון הוא ירק.
    • כל הירקות בריאים.
    • מסקנה: מלפפון הוא בריא.
  • שרשרת טיעונים לא תקפה:
    • מלפפון הוא בריא.
    • ירק הוא בריא.
    • מסקנה: מלפפון הוא ירק.
  • ואפילו ראינו את פרדוקס השקרן כדוגמה לשרשרת טיעונים בעלת סתירה פנימית:
    • דוגמה אחת: "אני משקר כעת".
    • דוגמה שניה:
      • המשפט הבא הינו אמת.
      • המשפט הקודם הינו שקר.
עוד למדנו מהו שער לוגי, ראינו שהכניסות לשערים לוגיים הם "TRUE" או "FALSE", והמוצא שלהם "TRUE" או "FALSE" בהתאם לסוג השער: AND, OR, NOT, NAND, NOR, XOR.
למדנו מהי טבלת אמת, וראינו את טבלאות האמת של השערים הלוגיים שלעיל.

שיעורי בית:

  1. לממש שער AND בעזרת שערי OR ו-NOT בלבד.
  2. לממש שער OR בעזרת שערי AND ו-NOT בלבד.

אין תגובות:

הוסף רשומת תגובה