מערכות ספרתיות עם ליביו - לוגיקה סדרתית חלק 1, יסודות לוגיקה סדרתית והכרת הדלגלג