PHIL 279 Lecture 3: L1_part3.pdf

90 views6 pages

Document Summary

To test a nite set of sentences for satis ability: Make a list of all members of that set. Apply these rules until no rules can be applied. If all paths are closed, conclude that the set is unsatis able. If at least one path is open (and the tree nished) conclude that the set is satis able. Test the set of the premises and the denial of the conclusion for satis ability. If that set is satis able, then the argument is invalid. If set is unsatis able, then argument is valid. If the denial is unsatis able, the orig. sentence is valid. Test the set consisting of a and the denial of b for satis ability. If the set is satis able, a does not imply b. To test whether a is equivalent to b: Test whether a implies b and b implies a.

Get access

Grade+20% off
$8 USD/m$10 USD/m
Billed $96 USD annually
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
40 Verified Answers
Class+
$8 USD/m
Billed $96 USD annually
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
30 Verified Answers

Related Documents

Related Questions