First order Logic §

• boolean operators
• non-logical constants
  • different interpretations
  • Proposition -> prediactaes, arguments
• logical constants
  • always same interpretation
  • boolean operators

Types §

• Entities
• Formulas/Sentences
  • have truth values
  • can form complex types

Aufgabe variablen §

• o = objekt
• x = man selbst, umstand
• p1 = property1
• p2 = property2