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