A more complex form of logical analysis that involves analyzing propositions involving quantifiers and variables.