PROPOSITIONAL LOGIC

PROPOSITION: premise or conclusion of an argument true or false
PROPOSITIONAL CONNECTIVE: takes propositions, and connects them to create new propositions and, or, not, but, only, if, furthermore, it is true that
TRUTH FUNCTIONAL CONNECTIVE; propositional connective that makes a new proposition whose truth or falsity depends solely on t or f of its propositional ingredients.
CONJUNCTION: "and" as a truthfunct connect.
1. CONJUNCTION INTRODUCTION INFERENCE: the conclusion uses a conjunction that wasnt present
2. .CONJUNCTION ELIMINATION ARGUMENT: the conclusion is either P or Q from P&Q (valid)
3. conjunction&disjunction are both conmutative&associatives
DISJUNCTION: P or Q or both
1. SIMPLE disjunction eliminations arguments: not valid (PvQ/P) - unless there's a premise that discounts Q
2. disjunction introduction argument: P(sin OR) luego Q: PvQ: valid
CONJOINING A DISJUNCTION or DISJOINING A CONJUNCTION: depends on the ORDER
OPERATOR: operates on a proposition to produce ANOTHER prop.
1. I believe that: not truth functional
2. truth functional: NEGATION
CONDITIONAL; if..then, if, only if
1. modus ponens: Ptrue, ifPthenQ true, then Qtrue
  1. modus tollens: if NOT Q, ifPthenQ true, then NOT P
  2. OJO: Qtrue Ptrue: invalid
2. if argument P to Q valid, then ifPthenQ true
BICONDITIONALS: P-->Q & Q-->P: if and only if, “exactly when” and “just in case.”

Resource summary

	Created by cristian velez almost 11 years ago