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