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