Escolar Documentos
Profissional Documentos
Cultura Documentos
Lecture 1
Dr. Kemal Akkaya
Department of Computer Science
Propositional logic:
Basic definitions.
Equivalence rules & derivations.
Predicate logic
Predicates.
Quantified predicate expressions.
Equivalences & derivations.
context.
Later, we will study probability theory, in which we assign
degrees of certainty (“between” T and F) to propositions.
But for now: think True/False only!
p1 p2 … pn F F F
of n propositions F T F
will have 2n rows
T F F
in its truth table.
T T T
Also: ¬ and operations together are
sufficient to express any Boolean truth
table!
p q q p pq q p
F F T T T T
F T F T T T
T F T F F F
T T F F T T
N
a
me: no
ta
ndo
rxo
rimp
l
ies i
ff
P
r
oposi
ti
onall
ogic
:
B
ool
eanalg
ebra
: ppq+
C
/C++/
Java(wor
dw i
se)
:! &&|
| !
= ==
C
/C++/
Java(b
it
w i
se)
: ~&|^
L
og
i
c g
at
es: