Disjunction, Conjunction and Negation Flashcards
Negation (not)
denial of proposition
two negations cancel each other out
the thing negated is false, then not - t is true
conjunction (and)
assert the truth of two propositions
true only if both conjucts are true, otherwise it is false
disjunction (or)
asserts that at least one of two propositions is true
if one or more is true, the whole thing is true
inclusive or
the default in logic (unless there is information to the contrary) both disjuncts can be true at the same time
exclusive or
only one of the two disjuncts can be true at the same time
disjunctive syllogism
valid form
1. p or q
2. not - p
3. therefore q
invalid version of disjunctive syllogism
- if p or q
- p
- therefore, not - q
(unless there is context that says otherwise)
disjunctive proposition
a proposition with the form p or q, the p and q are called disjuncts