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