## 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 2^{n} 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