An Introduction to Symbolic Logic and Its Application door