Summary of the formal definitions of "Aussagen- & Prädikatenlogik"
Created for: Summer semester 2024
Last update on: 21/09/2024
Language(s): German
Post exam review: very helpful. The rules for the Herleitungen are a must-have and and some of the multiple choice was definitely made easier with the cheatsheet
Disclaimer: as with all other cheatsheets, please do not take the publication of this cheatsheet as a recommendation to use its contents. The idea behind this is to provide a reference point or a source of inspiration.
A short walk-through of some important Prädikatenlogik topics
Created for: Summer semester 2024
Last update on: 21/09/2024
Language(s): English