Formal Logic

An introduction to formal logic: analysis of the logical form of sentences; use of a formal language to symbolize sentences and arguments from natural languages; testing for the validity of arguments, consistency of sets of sentences, etc., by formal techniques; deductive methods of proof.