4.6. Logic Based: Propositional and Predicate Notes | Artificial Intelligence BIT | TU | TABFlux