3.3. Propositional and predicate logic Notes | Artificial Intelligence BEI | TU | TABFlux