EN

Antonyms for truth-functional logic

Antonyms

n.
predicate logic, modal logic, quantificational logic