3.3. Propositional and predicate logic Handwritten Notes | Artificial Intelligence BCT-NEW | TU | TABFlux