CS381 Notes
Chapter 1: Foundations of Logic
Mathematical
Mathematical logic includes a formal language, precice notation.
Propositional Logic is the logic of compound statements using boolean connectives.
A proposition is a declarative statement that is either true or false. Propositional logic includes combining propositions with connectives (also called operators).
Understand the contrapositive. Reverse each element, then switch them. The contrapositive has the same truth table as the original.
Excersises
a) Swimming is not allowed or there are sharks.
b) swimming is allowed only if there are no sharks
( p can-imply q ) and ( not p can imply q )
Swimming is allowed can imply that there are sharks, AND swimming is not allowed can imply that there are sharks
p q | !p p->q !p->q p->q^!p->q
1 1 0 1 1 1
1 0 0 0 0 0
0 1 1 1 1 1
0 0 1 1 0 0
If two compound statements have the same truth table, they are equivalent.
CS381 20120828 Class Notes
DISCRETE STRUCTURES
Syllabus, Notes and Homework assignemnts at <a href=”http://www.cs.odu.edu/~jhe/CS381/Fall12/DiscreteMathFall12-index.html”>http://www.cs.odu.edu/~jhe/CS381/Fall12/DiscreteMathFall12-index.html</a>
Homework by hardcopy due at beginning of next class.
We don’t have to bring our books to class.
This course seems to be about learning logical thinking and precise notation to express logical statements.
The idea is to use logic and logical notation to express real world problems
leave a comment