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