A Brief Survey on Logic

• Boolean Expressions (Propositional Logic)
• Example: Problem of the N Queens
• Davis-Putnam Algorithm
• Natural Deduction for Propositional Logic
• Predicate Logic (FOL)
• Natural Deduction for First-Order Logic
• Prenex DNF

Please if you find any error in this note, send an email to Monica Nesi