![[‘PDF’] Classic Readings and Cases in the Philosophy of Law](http://www.greatminds.tv/wp-content/uploads/2016/12/Proving-Invalidity-Predicate-Calculus-196x126.jpg "[‘PDF’] Classic Readings and Cases in the Philosophy of Law")
![[‘PDF’] Classic Readings and Cases in the Philosophy of Law](http://www.greatminds.tv/wp-content/uploads/2016/12/Legal-Ethics-and-Human-Dignity-Cambridge-Studies-in-Philosophy-and-Law-196x126.jpg "[‘PDF’] Classic Readings and Cases in the Philosophy of Law")
![[‘PDF’] Classic Readings and Cases in the Philosophy of Law](http://www.greatminds.tv/wp-content/uploads/2016/12/Philosophy-of-Law-Debates-Rice-University-Dec.-1-2010-Part-46-196x126.jpg "[‘PDF’] Classic Readings and Cases in the Philosophy of Law")
![[‘PDF’] Classic Readings and Cases in the Philosophy of Law](http://www.greatminds.tv/wp-content/uploads/2016/12/History-of-the-Philosophy-of-Law-PHP-196x126.jpg "[‘PDF’] Classic Readings and Cases in the Philosophy of Law")
![[‘PDF’] Classic Readings and Cases in the Philosophy of Law](http://www.greatminds.tv/wp-content/uploads/2016/12/FROM-ENGLISH-TO-SPANISH-philosophy-of-law-196x126.jpg "[‘PDF’] Classic Readings and Cases in the Philosophy of Law")
![[‘PDF’] Classic Readings and Cases in the Philosophy of Law](http://www.greatminds.tv/wp-content/uploads/2016/12/FROM-ENGLISH-TO-ITALIAN-philosophy-of-law-196x126.jpg "[‘PDF’] Classic Readings and Cases in the Philosophy of Law")
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
