An introduction to the principles of deductive logic for connectives (“and”, “not,” “or,” “if”) and quantifiers (“all,” “some”). Attention is given to the logical structure of English sentences and its representation in symbolic notation and to formal proofs establishing the logical properties and relations of sentences.
