# Propositional Logic

Materials about propositional logic are published here.

### 2.1-PL-Logic

My proposition for this year is ... having you learning propositional logic.

### 2.2-PL-Calculus

How do you know it is really true?

### 2.3-PL-DPLLInference

The truth is, it is certainly false.

### 2.4-tableauxInference

What's on the table..aux?

### 2.5-PL-Exercises

Some exercises.

### Will Carla go to the party?

... Not without a final twist.

### Exercises

Have fun!