File:Logic_portal.svg
From Wikipedia, the free encyclopedia
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
DescriptionLogic portal.svg |
Logic portal icon |
||
Date | |||
Source | Own work | ||
Author |
|
||
SVG development InfoField |
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.
Items portrayed in this file
depicts
13 November 2013
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
- 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
- Instantiation principle
- 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.
Metadata
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
If the file has been modified from its original state, some details may not fully reflect the modified file.
Width | 286.65771 |
---|---|
Height | 217.88187 |
Retrieved from "https://en.wikipedia.org/wiki/File:Logic_portal.svg"