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.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results