Introduction to Logic and Theory of Knowledge