SMS: Introduction to Logic and Theory of Knowledge