Session 10
Logic Representations and Reasoning
810:161
Artificial Intelligence
today's slides in PDF
Truth Tables
We can define the semantics of a compound logical expression using a
truth table that specifies the value of the compound for
each possble combination of its parts. If a compound has n
distinct components, then it will have 2n rows in its
truth table.
Here is a truth table for the basic connectives of propositional logic:
| p |
q |
not p |
not q |
p or q |
p and q |
p implies q |
| T |
T |
F |
F |
T |
T |
T |
| T |
F |
F |
T |
T |
F |
F |
| F |
T |
T |
F |
T |
F |
T |
| F |
F |
T |
T |
F |
F |
T |
Wrap Up
- Homework -- Homework 2 is
available now and is due a week from Friday.
- Paper -- Don't forget the next
milestone for your paper...
P>
- Exam -- Our first midterm exam is a week from next Tuesday, October 16.
You will have the Thursday of that week, October 18, off. Use that
time to work on your paper.
Eugene Wallingford ====
wallingf@cs.uni.edu ====
October 4, 2001