File:Logic portal.svg
Appearance
![File:Logic portal.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7c/Logic_portal.svg/287px-Logic_portal.svg.png)
Size of this PNG preview of this SVG file: 287 × 218 pixels. Other resolutions: 316 × 240 pixels | 632 × 480 pixels | 1,011 × 768 pixels | 1,280 × 972 pixels | 2,560 × 1,945 pixels.
Original file (SVG file, nominally 287 × 218 pixels, file size: 8 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 15:33, 15 November 2013 | ![]() | 287 × 218 (8 KB) | Watchduck | layout |
22:58, 13 November 2013 | ![]() | 150 × 130 (14 KB) | Watchduck | layout | |
16:04, 13 November 2013 | ![]() | 150 × 130 (14 KB) | Watchduck | {{Information |Description ={{en|1=.}} |Source ={{own}} |Author =Mate2code |Date = |Permission = |other_versions = }} |
File usage
More than 100 pages use this file. The following list shows the first 100 pages that use this file only. A full list is available.
- Accident (fallacy)
- Affine logic
- Affirmative conclusion from a negative premise
- Anangeon
- Animistic fallacy
- Antecedent (logic)
- Appeal to motive
- Appeal to ridicule
- Appeal to tradition
- Argument to moderation
- Argumentum ad baculum
- Argumentum ad crumenam
- Assertoric
- Association for Symbolic Logic
- Bar induction
- Baralipton
- Barcan formula
- Calculus of structures
- Classical modal logic
- Clause (logic)
- Cointerpretability
- Commutativity of conjunction
- Comprehension (logic)
- Conditioned disjunction
- Conjunction elimination
- Conjunction introduction
- Consequent
- Constructive dilemma
- Converse accident
- Counterargument
- Counterinduction
- Counting quantification
- Deep inference
- Defeasible logic
- Degree of truth
- Dialectica space
- Double counting (fallacy)
- Effective method
- Empty domain
- Enumerative definition
- Existential fallacy
- Extension (predicate logic)
- Extension by new constant and function names
- Fallacies of illicit transference
- Fallacy of division
- False premise
- First-order predicate
- Fluent calculus
- Herbrand interpretation
- Hybrid logic
- Idempotency of entailment
- Illicit major
- Illicit minor
- Interpretability
- Interval temporal logic
- Inverse (logic)
- Knowledge base
- Limitation of size
- Lindenbaum's lemma
- Logical constant
- Loki's wager
- Material nonimplication
- Monadic Boolean algebra
- Monotonicity of entailment
- Morton's fork
- Multimodal logic
- Multiple-conclusion logic
- Neighborhood semantics
- Normal form (natural deduction)
- Normal modal logic
- Overwhelming exception
- Pars destruens and pars construens
- Performative contradiction
- PhoX
- Polysyllogism
- Port-Royal Logic
- Principle of nonvacuous contrast
- Principles of Mathematical Logic
- Probabilistic proposition
- Problem of multiple generality
- Process of elimination
- Proof-theoretic semantics
- Proof net
- Propositional variable
- Prototype Verification System
- Provability logic
- Robinson's joint consistency theorem
- Second-order predicate
- Self-verifying theories
- Sentence (mathematical logic)
- T-schema
- Tacit assumption
- Takeuti's conjecture
- Transparent intensional logic
- Trivial objections
- Truth predicate
- Unsatisfiable core
- Vampire (theorem prover)
- Wikipedia:Userboxes/Science
- Wikipedia:WikiProject Logic/Stub template
View more links to this file.
Global file usage
The following other wikis use this file:
- Usage on ar.wikipedia.org
- رياضيات
- الكندي
- منطق ضبابي
- أرسطو
- مجموعة (رياضيات)
- ديفيد هيلبرت
- نظام عد ثنائي
- ابن سينا
- برولوغ
- وقت
- لطفي زادة
- بوابة:رياضيات
- احتمال شرطي
- غيورغ كانتور
- نظرية المجموعات
- بارمينيدس
- غوتفريد لايبنتس
- فلسفة الرياضيات
- تجريبية (فلسفة)
- دحوضية
- مسلمات هلبرت
- تحكم بالمنطق الضبابي
- منطق رياضي
- احتمال
- عقل (منطق)
- تصنيف:منطق
- كورت غودل
- علم الحاسوب النظري
- نظرية الحسوبية
- مبرهنة
- منطق موجهات
- تصنيف:نظرية المجموعات
- حقيقة
- ذكاء
- انحياز
- تصنيف:انحياز
- هنري بوانكاريه
- حساب القضايا
- ابن عقيل الظاهري
- ريتشارد مونتاغيو
- كلي
- زوج مرتب
- استدلال
- جوهر (فلسفة)
- منطق الرتبة الأولى
- تصنيف:منطق رياضي
- تصنيف:نظرية النموذج
- نظرية النموذج
- توما الأكويني
- أبو الفتح الشهرستاني
View more global usage of this file.