An introduction to symbolic logic, including sentential and predicate logic. Its purpose is to familiarize you with certain formal methods for representing and evaluating arguments and reasoning.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results