Prädikatenlogik

• Prädikate
• Prädikatenlogische Ausdrücke und deren Sprechweise
• Definitionen
• Zusammenhang zwischen Aussagen und prädikatenlogischen Ausdrücken