4.7. Predicate Logic, Propositional Logic(PL) Notes | Artificial Intelligence BIM | TU | TABFlux