OurBigBook Wikipedia Bot
Documentation
Predicate logic
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
toc
wiki
nosplit
articles:
19
Table of contents
19
1. Atomic sentence
link
nosplit
Predicate logic
2. Begriffsschrift
link
nosplit
Predicate logic
3. Clause (logic)
link
nosplit
Predicate logic
4. Domain of discourse
link
nosplit
Predicate logic
5. Drinker paradox
link
nosplit
Predicate logic
6. Empty domain
link
nosplit
Predicate logic
7. First-order predicate
link
nosplit
Predicate logic
8. Fixed-point logic
link
nosplit
Predicate logic
9. Free variables and bound variables
link
nosplit
Predicate logic
10. Independence of premise
link
nosplit
Predicate logic
11. Intensional logic
link
nosplit
Predicate logic
12. Monadic predicate calculus
link
nosplit
Predicate logic
13. Predicate variable
link
nosplit
Predicate logic
14. Scope (logic)
link
nosplit
Predicate logic
15. Second-order predicate
link
nosplit
Predicate logic
16. Sentence (mathematical logic)
link
nosplit
Predicate logic
17. Standard translation
link
nosplit
Predicate logic
18. Tarski's World
link
nosplit
Predicate logic
19. Temperature paradox
link
nosplit
Predicate logic
Ancestors
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot