Category:Logic
Jump to navigation
Jump to search
study of correct reasoning | |||||
Upload media | |||||
Pronunciation audio | |||||
---|---|---|---|---|---|
Instance of |
| ||||
Part of | |||||
Has part(s) | |||||
| |||||
![]() |
Subcategories
This category has the following 29 subcategories, out of 29 total.
A
B
C
D
- Digital timing diagrams (16 F)
H
I
L
- Logical contradiction (1 F)
M
P
R
S
T
- Trikonic (9 F)
V
Media in category "Logic"
The following 55 files are in this category, out of 55 total.
-
00 Generic Pseudo Code.png 1,254 × 416; 78 KB
-
01 Costruction Phase Pseudo Code.png 1,096 × 504; 96 KB
-
02 Local Search Pseudo Code.png 1,092 × 328; 56 KB
-
03 Refined Pseudo Code.png 1,094 × 672; 130 KB
-
Abductionfr.svg 1,920 × 1,080; 5 KB
-
AGClogicmodule.agr.jpg 1,592 × 902; 1.34 MB
-
Amoriax.jpg 604 × 601; 145 KB
-
EGIATAULA.jpg 491 × 144; 22 KB
-
Circular definition of circular definition (in Moroccan Darija).png 889 × 762; 18 KB
-
De La Harpe - La Logique de l’assertion pure, PUF, 1950.djvu 1,873 × 3,013, 115 pages; 4.87 MB
-
De-Logik-article.ogg 18 min 12 s; 17.55 MB
-
Deontic square.svg 512 × 460; 98 KB
-
Dialectical principle of charity – a procedure in discussion.jpg 1,380 × 1,224; 179 KB
-
El mentiroso.jpg 229 × 331; 20 KB
-
Example formalization.svg 512 × 144; 32 KB
-
Existential quantifier.svg 512 × 436; 2 KB
-
Family Generations (TheOriginals).jpg 1,625 × 2,057; 1.57 MB
-
First-order logic.png 2,094 × 510; 332 KB
-
Formula Bem Formada.png 300 × 276; 7 KB
-
Hypermorphisms.pdf 1,275 × 1,650; 57 KB
-
Impl-rule-1.svg 142 × 69; 25 KB
-
In Quest of Univeral Logic HypoSyll.png 2,322 × 1,085; 134 KB
-
In Quest of Univeral Logic Morgan.png 2,324 × 595; 51 KB
-
In Quest of Univeral Logic5.png 2,324 × 712; 92 KB
-
KJL02617.jpg 4,000 × 6,000; 9.22 MB
-
Leonid Vasilyevich Rutkowski short biography, 1907.jpg 1,524 × 2,201; 1.43 MB
-
Logical square.svg 1,000 × 1,000; 229 KB
-
Logos.gif 580 × 250; 7 KB
-
Main part of proving existence elimination.svg 91 × 94; 16 KB
-
Natural language formalization.svg 512 × 353; 62 KB
-
Negazione di un predicato.png 500 × 100; 4 KB
-
Para Todxs NATAL - uma introdução à lógica formal.pdf 750 × 1,200, 474 pages; 1.93 MB
-
Parse Tree Still.png 630 × 804; 21 KB
-
Parse Tree.gif 336 × 429; 43 KB
-
Participants of first colloquium.jpg 1,080 × 1,080; 161 KB
-
Planar SAT example.png 701 × 810; 61 KB
-
Program-logics-graph.png 2,029 × 1,116; 896 KB
-
Propositional Attitude.png 1,024 × 1,024; 22 KB
-
Razón.gif 215 × 48; 598 bytes
-
Relation.svg 512 × 205; 3 KB
-
Relationen im Dreierkontext einer polykontextualen Logik.png 397 × 639; 34 KB
-
Risunok1.png 800 × 591; 34 KB
-
Set of possible truths.png 384 × 381; 20 KB
-
Sls logo2021 horizontal color1020x124.png 1,020 × 124; 5 KB
-
Sur la logique de M Brouwer.pdf 3,154 × 5,239, 4 pages; 285 KB
-
Sur quelque points de la logique de M Brouwer.pdf 3,154 × 5,239, 6 pages; 519 KB
-
Titulnyi.jpg 1,080 × 1,512; 138 KB
-
Uniqueness Quantification.png 184 × 266; 2 KB
-
Unit.jpg 279 × 188; 10 KB
-
Univerzálisá.jpg 279 × 188; 17 KB
-
WaltherBrüning-Set-Diagrams.svg 778 × 182; 17 KB
-
WikiDEL5b.png 377 × 187; 16 KB
-
World Logic Day Logo.jpg 850 × 567; 78 KB
-
Ø Pablo Cieslik - Foto.png 512 × 512; 527 KB