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