Rudolf Adamkovič Personal site

Up: Logic   [Top][Contents]

Predicate logic

Propositional logic extended with

predicates and quantifiers

to work over

non-logical domains of discourse

like sets.

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.