We do not currently know of any antonyms for propositional logic.
The noun propositional logic is defined as: