LOGIC SYMBOLS, TRUTH

TABLE and METHODS of

PROOF
GEC 104

Professor Rolando Buenavista

Statements and Open Sentences

Department of Mathematics and Statistics 1

Statements and Open Sentences

Department of Mathematics and Statistics 2

Statements and Open Sentences

Department of Mathematics and Statistics 3

Compound Statements (New Statements from Old Ones)

Department of Mathematics and Statistics 4

Conjunction

Department of Mathematics and Statistics 5

Conjunction

Department of Mathematics and Statistics 6

Disjunction

Department of Mathematics and Statistics 7

Disjunction

Department of Mathematics and Statistics 8

Disjunction

Department of Mathematics and Statistics 9

Negation

Department of Mathematics and Statistics 10

Negation

Department of Mathematics and Statistics 11

Exercises on Conjunction, Disjunction, and Negation

Department of Mathematics and Statistics 12

Conditional

Department of Mathematics and Statistics 13

Conditional

Department of Mathematics and Statistics 14

Conditional

Department of Mathematics and Statistics 15

Derived Conditional

Department of Mathematics and Statistics 16

Derived Conditional

Department of Mathematics and Statistics 17

Biconditional

Department of Mathematics and Statistics 18

Biconditional

Department of Mathematics and Statistics 19

Logical Equivalence and Truth Tables

Department of Mathematics and Statistics 20

Logical Equivalence and Truth Tables

Department of Mathematics and Statistics 21

Logical Equivalence and Truth Tables

Department of Mathematics and Statistics 22

Logical Equivalence and Truth Tables

Department of Mathematics and Statistics 23

Department of Mathematics and Statistics 24
QUANTIFIERS

Department of Mathematics and Statistics 25

QUANTIFIERS

Department of Mathematics and Statistics 26

Department of Mathematics and Statistics 27
Department of Mathematics and Statistics 28
Methods of Proof

Department of Mathematics and Statistics 29

Department of Mathematics and Statistics 30
Methods of Proof

Department of Mathematics and Statistics 31

Department of Mathematics and Statistics 32
Department of Mathematics and Statistics 33
Mathematical Induction

Department of Mathematics and Statistics 34

Mathematical Induction

Department of Mathematics and Statistics 35

Department of Mathematics and Statistics 36
Department of Mathematics and Statistics 37
Helpful links:

http://sites.millersville.edu/bikenaga/math-proof/truth-tables/truth-tables.html

https://www.google.com/search?
q=methods+of+proof+examples&oq=methods+of+proof&aqs=chrome .
4.69i57j0l7.30444j0j7&sourceid=chrome&ie=UTF-8

Department of Mathematics and Statistics 38

Thank you for listening