Category:Predicate logic
Jump to navigation
Jump to search
subfield of logic | |||||
Upload media | |||||
Instance of |
| ||||
---|---|---|---|---|---|
Subclass of |
| ||||
Part of | |||||
Has part(s) |
| ||||
Different from | |||||
| |||||
![]() |
![](https://upload.wikimedia.org/wikipedia/commons/thumb/b/b3/Square_of_opposition%2C_one_predicate.svg/300px-Square_of_opposition%2C_one_predicate.svg.png)
Subcategories
This category has the following 10 subcategories, out of 10 total.
E
P
R
S
U
Media in category "Predicate logic"
The following 14 files are in this category, out of 14 total.
-
Completude logique premier ordre.png 621 × 215; 12 KB
-
Completudé logique premier ordre.png 621 × 215; 39 KB
-
Hopelyhek.png 283 × 283; 2 KB
-
IMG Tree.gif 323 × 217; 2 KB
-
Kvantoros következtetés Venn-diagrammon.png 283 × 283; 9 KB
-
Logiquepremierordre modele exemple.png 767 × 684; 70 KB
-
Logiquepremierordre syntaxe.svg 292 × 175; 48 KB
-
QuantifierScopes svg.svg 407 × 230; 19 KB
-
QuantifierScopes.pdf 677 × 383; 20 KB
-
Symboles mathématiques des deux quantificateurs logiques.png 236 × 145; 3 KB
-
Termstammbaum.png 464 × 398; 13 KB
-
Universe of discourse 1.png 361 × 296; 29 KB
-
Univerzális kvantor ábrázolása.png 283 × 283; 1 KB