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 | 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)
Summary
| Description |
Logic stub 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) | wikimediacommons>Watchduck | layout |
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
- Annibale Pastore
- Antecedent (logic)
- Appeal to motive
- Appeal to ridicule
- Argument to moderation
- Argumentum ad baculum
- Assertoricity
- Bar induction
- Barcan formula
- Calculus of structures
- Classical modal logic
- Cointerpretability
- Commutativity of conjunction
- Completeness (knowledge bases)
- Comprehension (logic)
- Conditioned disjunction
- Conjunction elimination
- Conjunction introduction
- Consequent
- Consistency (knowledge bases)
- Constructive dilemma
- Converse accident
- Counterargument
- Counterinduction
- Counting quantification
- Deep inference
- Defeasible logic
- Degree of truth
- Dialectica space
- Double turnstile
- Empty domain
- Enumerative definition
- Eternal statement
- Extension (predicate logic)
- Fallacies of illicit transference
- False premise
- First-order predicate
- Fluent calculus
- Herbrand interpretation
- Hybrid logic
- Illicit major
- Illicit minor
- Interpretability
- Interval temporal logic
- Invincible ignorance fallacy
- Lambert of Auxerre
- Limitation of size
- Lindenbaum's lemma
- Logical constant
- Loki's wager
- Material nonimplication
- Monadic Boolean algebra
- Monotonicity of entailment
- Morton's fork
- Multiple-conclusion logic
- Neighborhood semantics
- Normal modal logic
- Overwhelming exception
- Pars destruens and pars construens
- Performative contradiction
- PhoX
- Polychotomous key
- Polysyllogism
- Port-Royal Logic
- Principle of nonvacuous contrast
- Principles of Mathematical Logic
- Probabilistic proposition
- Proof net
- Prototype Verification System
- Provability logic
- Questionable cause
- Regular modal logic
- Relation construction
- Robinson's joint consistency theorem
- Rules of passage
- Second-order predicate
- Second-order propositional logic
- Self-reference puzzle
- Self-verifying theories
- Slothful induction
- Tacit assumption
- Takeuti's conjecture
- Tee (symbol)
- Transparent intensional logic
- Trivial objections
- Truth predicate
- Unique name assumption
- Unsatisfiable core
- Vagrant predicate
- Vampire (theorem prover)
- Vivid knowledge
- Window operator
- MyWiki:Userboxes/Science
- MyWiki:WikiProject Logic/Stub template
- MyWiki:WikiProject Logic/Templates
View more links to this file.
