This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: ( B C ) Argument ( ): B C B A P 1 . . . P n is truthfunctionally valid iF no TVA makes P 1 , . . . P n true and C false. C We can connect truthfunctional entailment with truthfunctional validity: In the denition of truthfunctional entailment, let be { P 1 , . . . P n } , and let P be C. P 1 . . Thus, P . n is valid iF { P 1 , . . . P n } truthfunctionally entails C. C Prove that Argument ( ) is valid and that its premises truthfunctionally entail its conclusion by means of a truthtable. A B C MIT OpenCourseWare http://ocw.mit.edu 24.241 Logic I Fall 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms ....
View
Full
Document
This note was uploaded on 01/25/2012 for the course PHIL 201H1F taught by Professor Derekallen during the Fall '10 term at University of Toronto Toronto.
 Fall '10
 DerekAllen
 Philosophy

Click to edit the document details