34:07Predicate logic propositions with multiple quantifiers and variablesG. Randolph Mayes10.0K views·11 years ago