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 (this is the “Comparative Method” in Chapter 4 – you will not be required to know the other methods)...
View Full Document
- Spring '06
- Logic, invalid argument, Merritt