4.4.1. FOPL, Syntax, Semantics, Quantification Handwritten Notes | Artificial Intelligence BSC-CSIT | TU | TABFlux