Logic and Proofs Flashcards
1
Q
Proposition
A
2
Q
Truth Value
A
3
Q
Negation
A
4
Q
Logical Operators
A
5
Q
Compound Proposition
A
6
Q
Truth Table
A
7
Q
Disjunction
A
8
Q
Conjunction
A
9
Q
Converse
A
10
Q
Contrapositive
A
11
Q
Bit
A
12
Q
Boolean Variable
A
13
Q
Bit Operation
A
14
Q
Bit String
A
15
Q
Bitwise Operation
A
16
Q
Tautology
A
17
Q
Contradiction
A
18
Q
Contingency
A
19
Q
Logical Equivalence
A
20
Q
Propositional Function
A
21
Q
De Morgans Laws
A
22
Q
Predicates
A
23
Q
Existential Quantifier
A
24
Q
Universal Quantifier
A
25
Nested Quantifiers
26
Free and Bound Variables
27
Rules of Inference
28
Theorem
29
Conjecture
30
Proof
31
Lemma
32
Corollary
33
Fallacy
34
Circular Reasoning
35
Vacuous and Trivial Proof
36
Direct and Indirect Proof
37
Proof by Cases
38
Proof by Counter Example
