Proving Invalidity (Predicate Calculus)
April 5, 2014 2:39 pm
An explication of two methods for proving invalidity in Predicate Calculus: the Counterexample Method, and the Finite Universe Method (100 Days of Logic)
Category: Philosophy