Rudolf Adamkovič Personal site

Up: Index of logic   [Top][Contents]

Predicate logic

Propositional logic extended with

predicates and quantifiers

to work over

non-logical domains of discourse

like sets.

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