Rudolf Adamkovič
Personal site
Up:
Orders
[
Top
][
Contents
]
Predicate logic
Define
Propositional logic
extended with
predicates
and
quantifiers
to work over
non-logical domains of discourse
like sets.
Name
Predicate calculus
First-order logic
Up:
Orders
[
Top
][
Contents
]
© 2024 Rudolf Adamkovič under
GNU General Public License
version 3.
Made with
Emacs
and secret alien technologies of yesteryear.