Logic and Proofs

Question 1

Proposition

Question 2

Truth Value

Question 3

Negation

Question 4

Logical Operators

Question 5

Compound Proposition

Question 6

Truth Table

Question 7

Disjunction

Question 8

Conjunction

Question 9

Converse

Question 10

Contrapositive

Question 11

Bit

Question 12

Boolean Variable

Question 13

Bit Operation

Question 14

Bit String

Question 15

Bitwise Operation

Question 16

Tautology

Question 17

Contradiction

Question 18

Contingency

Question 19

Logical Equivalence

Question 20

Propositional Function

Question 21

De Morgans Laws

Question 22

Predicates

Question 23

Existential Quantifier

Question 24

Universal Quantifier

Question 25

Nested Quantifiers

Question 26

Free and Bound Variables

Question 27

Rules of Inference

Question 28

Theorem

Question 29

Conjecture

Question 30

Proof

Question 31

Lemma

Question 32

Corollary

Question 33

Fallacy

Question 34

Circular Reasoning

Question 35

Vacuous and Trivial Proof

Question 36

Direct and Indirect Proof

Question 37

Proof by Cases

Question 38

Proof by Counter Example