Class Notes (836,362)
Canada (509,755)
Philosophy (163)
PHIL 279 (15)
Lecture 6

Phil 279 Week 6.docx

2 Pages
202 Views
Unlock Document

Department
Philosophy
Course
PHIL 279
Professor
John James Mac Intosh
Semester
Winter

Description
Philosophy 279 Week 5ConsistencyA set is consistent if and only if it is satisfiableWe can prove inconsistency by showing that we can derive a contradiction any sentence and its same sentences negation Ex PP QP RQS RS This set is not satisfiable therefore it is not consistent To derive we must treat these as premises Dependence Sentence proved Justification 1 1 PP P 2 2 QP P 3 P 3 RQS 4 P 4 RS 4 5 R 4 Simp 4 6 S 4 Simp 3 4 3 5 MP 7 QS 8 8 Q P9 QQ 8 PC 10 10 S P 4 10 11 Q
More Less

Related notes for PHIL 279

Log In


OR

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


OR

By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.


Submit