File:Logic portal.svg
Jump to navigation
Jump to search

Size of this PNG preview of this SVG file: 287 × 218 pixels. Other resolutions: 316 × 240 pixels | 632 × 480 pixels | 790 × 600 pixels | 1,011 × 768 pixels | 1,280 × 972 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.
- Accessibility relation
- Accident (fallacy)
- Affine logic
- Affirmative conclusion from a negative premise
- Analytic reasoning
- Animistic fallacy
- Antecedent (logic)
- Antepredicament
- Appeal to ridicule
- Argument to moderation
- Argumentum ad baculum
- Argumentum ad crumenam
- Assertoric
- Association for Symbolic Logic
- Bar induction
- Baralipton
- Barcan formula
- Calculus of structures
- Class (philosophy)
- Cointerpretability
- Comprehension (logic)
- Conditioned disjunction
- Consequent
- Contradictio in terminis
- Converse accident
- Counterargument
- Counterinduction
- Counting quantification
- Deep inference
- Defeasible logic
- Degree of truth
- Double counting (fallacy)
- Empty domain
- End term
- Enumerative definition
- Existential fallacy
- Extension (predicate logic)
- Extension by new constant and function names
- Fallacies of illicit transference
- Fallacy of division
- Fallacy of exclusive premises
- 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
- Literal (mathematical logic)
- Logic Spectacles
- Logical constant
- Main contention
- Material nonimplication
- Middle term
- Monadic Boolean algebra
- Monotonicity of entailment
- Multimodal logic
- Multiple-conclusion logic
- Neighborhood semantics
- Nonfirstorderizability
- Normal form (natural deduction)
- Normal modal logic
- Objection (argument)
- Otter (theorem prover)
- Pars destruens and pars construens
- Philosophical logic
- 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
- Relative term
- Second-order predicate
- Self-verifying theories
- Sentence (mathematical logic)
- Specialization (logic)
- Syllogistic fallacy
- T-schema
- Tacit assumption
- Takeuti's conjecture
- Transparent intensional logic
- Trivial objections
- Truth predicate
- Vampire (theorem prover)
- Wikipedia:Userboxes/Science
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.