This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: if the premises are true, we must accept the conclusion) You must translate Natural Language (NL) sentences and arguments into Propositional Logic (PL) by doing the following:- Making a key, showing each atomic formula and corresponding sentence letter- Having a grasp of the 5 connectives: ~, → , v, •, and ↔- Using those connectives and their meanings/functions, together with your sentence letters to translate a sentence into PL Truth Tables:- Be familiar with the basic truth tables for each connective- Know how to locate the main connective of a formula - Construct a truth table for a formula and then tell me whether it is inconsistent, tautologous, or contingent- Construct truth tables for the premises and conclusion of a sequent (argument) and then determine whether it is valid or invalid (You will only be responsible for the Comparative Method and the Short-Cut Method)...
View Full Document
- Fall '06
- Logic, valid argument form, invalid argument form