Discrete Mathematics
Chapter Two
Logic
The first great treatises
on logic were written by
the Greek philosopher
Aristotle. They were a
collection of rules for
deductive reasoning that
were intended to server
as a basis for the study
of every branch of
kno
Discrete Mathematics
Chapter Two
Logic
The first great treatises
on logic were written by
the Greek philosopher
Aristotle. They were a
collection of rules for
deductive reasoning that
were intended to server
as a basis for the study
of every branch of
kno
Discrete Mathematics
Chapter Two
Logic
The first great treatises
on logic were written by
the Greek philosopher
Aristotle. They were a
collection of rules for
deductive reasoning that
were intended to server
as a basis for the study
of every branch of
kno
Discrete Mathematics
Chapter Two
Logic
The first great treatises
on logic were written by
the Greek philosopher
Aristotle. They were a
collection of rules for
deductive reasoning that
were intended to server
as a basis for the study
of every branch of
kno
Logic Puzzles
Comp 180
Problem:
Suppose that there was an island that had
two kinds of inhabitants, knights, who
always told the truth, and knaves, who
always told lies. You encounter two people
Alex and Bob. What are Alex and Bob if
Alex says Bob is a kn
COMP 180
Chapter One
Rewriting a Universal Conditional Statement.
For all real numbers x, if x is nonzero that
x2 is positive.
If a real number is nonzero, then its square
_
For all nonzero real numbers x, _
If x _, then _ .
Rewriting a Universal Exist
NAME: Oliver Borris
CLASS: COMP 180-001
DATE: February 10,2016
HOMEWORK ASSIGNMENT:
4
PG 49
13b)
p
T
T
F
F
q
T
F
T
F
Not q
F
T
F
T
pq
T
F
T
T
Not(pq)
F
T
F
F
p ^ not q
F
T
F
F
Yes, the truth table concludes that Not (pq) is in fact equivalent to p ^ not q