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