An Introduction to General Logic door