Progress report

Tomorrow (Thursday) I will give a crash course on propositional logic. This might be very helpful to those of you that are not already  familiar with propositional logic.