3.3. Logic Based Knowledge Representation: Propositional and Predicate Notes | Artificial Intelligence BDS | TU | TABFlux