PHI 142 Smybolic Logic

This course teaches formal techniques for analysis of arguments and language in symbolic logic. Topics covered include translation of sentence arguments into formal logic structure, using derivation rules, proof construction, establishing validity or invalidity of arguments.