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