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