formal-logic slides