4 Fundamentals of Logic