Math Logic Flashcards
1
Q
a statement that may be true or false
A
proposition
1
Q
Enumerate the 5 connectives of compound propositions
A
- Negation
- Conjunction
- Disjunction
- Implication
- Biconditional
2
Q
3 kinds of implication
A
- Converse
- Inverse
- Contrapositive
3
Q
switching of orders ng proposition; q –> p
A
Converse
3
Q
negation of proposition; ~q –> ~p
A
inverse
3
Q
switching of orders and negation ng proposition; ~q –> ~p
A
contrapositive
3
Q
3 terms under logical equivalence
A
- tautology
- contradiction
- contingency
4
Q
proposition that is always true
A
tautology
5
Q
proposition that is always false
A
contradiction
6
Q
neither tautology nor contradiction
A
contingency
7
Q
assumption; where we draw our conclusions
A
premises
8
Q
templates to construct valid argument
A
rules of inference
9
Q
result of assumptions
A
conclusion
10
Q
set of premises with one conclusion
A
argument
11
Q
8 types of inference rules
A
- Modus ponens
- Modus tollens
- Hypothetical syllogism
- Disjunctive syllogism
- Addition
- Simplification
- Conjunction
- Resolution
