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