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