This preview shows pages 1–2. 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: 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 ShortCut Method)...
View Full
Document
 Fall '06
 ?

Click to edit the document details