Outline of Logic

• Introductory Slide
• Truth and Atoms
• Operators
• Function
• Universal Quantifier
• Existential Quantifier
• Queries
• Monotonicity
• Second Order and Other Logics
• Complexity
• Prolog
• Exercise
• Conclusion