Rudolf Adamkovič Personal site

Up: Personal website [Top][Contents]

Predicate logic

a.k.a. first-order logic, predicate calculus

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.