2.3. Predicate logic, Universal and existential quantification, Nested quantifiers, Logical equivalences, Translating english sentences, proof of logical equivalences, Limitations of predicate logic Verbal Notes | Discrete Structure BSc. CSIT | FWU | TABFlux