前束范式逻辑习题ppt

- 前束范式逻辑习题 - Parsing Multivariate Quantification - When evaluating an expr