>>91
Rは数値処理ですね。（Maximaより先にR/APLのほうに触れています。）

(∀x (Px → Qx)) ∧ Pa → Qa

だって記号処理ですし、
everyやsomeという関数があったり、
『はじめてのMaxima』に外延／内包という記述もあったりで、期待はしていたのですが……