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
Q
Nested Quantifiers
A
26
Q
Free and Bound Variables
A
27
Q
Rules of Inference
A
28
Q
Theorem
A
29
Q
Conjecture
A
30
Q
Proof
A
31
Q
Lemma
A
32
Q
Corollary
A
33
Q
Fallacy
A
34
Q
Circular Reasoning
A
35
Q
Vacuous and Trivial Proof
A
36
Q
Direct and Indirect Proof
A
37
Q
Proof by Cases
A
38
Q
Proof by Counter Example
A
