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)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
Logic portal icon English: It shows the symbols and combined to , with the Venn diagram  in the background. |
||
| Date | |||
| Source | Own work | ||
| Author |
|
||
| SVG development |
Licensing
I, the copyright holder of this work, hereby publish it under the following license:
This file is licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license.
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
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
- 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)
- 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
- Regular modal 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
- Unique name assumption
- 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.
