CS381 Notes

Posted in cs381 by bnmng on 2012 08/30

Chapter 1: Foundations of Logic


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.



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

Posted in cs381 by bnmng on 2012 08/28


Syllabus, Notes and Homework assignemnts at <a href=””></a&gt;

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