File:Noncont-sym.svg
From Wikipedia, the free encyclopedia
Noncont-sym.svg (SVG file, nominally 54 × 18 pixels, file size: 974 B)
| This is a file from the Wikimedia Commons. The description on its description page there is shown below.
|
 |
This type image should be recreated using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is already available, please upload it. After uploading an SVG, replace this template with {{vector version available|new image name.svg}}. |
|
العربية | Български | Català | Česky | Dansk | Deutsch | English | Esperanto | Español | Suomi | Français | Galego | עברית | 한국어 | Italiano | Magyar | Lietuvių | 日本語 | ភាសាខ្មែរ | Македонски | Plattdüütsch | Nederlands | Norsk (bokmål) | Polski | Português | Română | Русский | Svenska | ไทย | Türkçe | Українська | 中文 | 中文(繁體) | 中文(简体) | +/− |
|
| Description |
English: Version of en::Image:Noncont.svg using symbols for "and" and "not". The brackets shouldn't be italic.
|
|---|---|
| Date |
2008-05-07 (original upload date) |
| Source |
Transferred from en.wikipedia; transferred to Commons by User:Sfan00_IMG using CommonsHelper. |
| Author |
Original uploader was Tizio at en.wikipedia |
| Permission (Reusing this image) |
Released into the public domain (by the author). |
| This media file needs to be cleaned up. For help, see Commons:Media for cleanup. |
|
Česky | Dansk | Deutsch | English | Español | Français | 日本語 | Nederlands | Norsk (bokmål) | Português | 中文(简体) | 中文(繁體) | +/− |
 |
This image has been (or is hereby) released into the public domain by its author, Tizio at the wikipedia project. This applies worldwide. In case this is not legally possible: Català | Česky | Dansk | Deutsch | Ελληνικά | English | Suomi | Français | עברית | Italiano | 한국어 | Plattdüütsch | Nederlands | Polski | Svenska | 中文(简体) | 中文(繁體) | +/− |
[edit] Original upload log
The original description page is/was here. All following user names refer to en.wikipedia.
- 2008-05-07 15:48 Tizio 54×18×??? (974 bytes) fixed positions
File history
Click on a date/time to view the file as it appeared at that time.
(latest | earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 16:51, 22 August 2008 | | 54×18 (974 B) | File Upload Bot (Magnus Manske) | ( {{BotMoveToCommons|en.wikipedia}} {{Information |Description={{en|Version of en::Image:Noncont.svg using symbols for "and" and "not". The brackets shouldn't be italic.}} |Source=Transferred from [http://en.wikipedia.org en.wikipedia]; transferred ) |
File links
More than 100 pages link to this file. The following list shows the first 100 page links to this file only. A full list is available.
- Argument form
- Affirming the consequent
- Biconditional introduction
- Biconditional elimination
- Conditional proof
- Conjunction introduction
- First-order predicate
- Double negative elimination
- Symbolic logic
- Second-order predicate
- Specialization (logic)
- Abacus logic
- Predicate logic
- Combinational logic
- Denying the antecedent
- Ultrafinitism
- HOL theorem prover family
- LCF (theorem prover)
- Relevance logic
- Hasty generalization
- Domain of discourse
- Direct proof
- Barcan formula
- Otter (theorem prover)
- Extensionality
- Set of all sets
- Universal set
- User:Banno
- User talk:Mywyb2
- Procatalepsis
- User talk:Jorend
- Degree of truth
- Negation normal form
- Backward chaining
- Coq
- User talk:Danko Georgiev MD
- User talk:Maclyn611
- Computability logic
- Provability logic
- Interpretability
- Cointerpretability
- Cotolerant sequence
- Polysyllogism
- Löb's theorem
- Monotonicity of entailment
- Affine logic
- Strict logic
- Category:Logic
- Fallacy of four terms
- Fallacy of distribution
- Existential fallacy
- Syllogistic fallacy
- Middle term
- End term
- User talk:Lucidish
- Vampire (theorem prover)
- Hybrid logic
- Simplification
- Special case
- Antecedent (logic)
- Consequent
- LF (logical framework)
- Truth-conditional semantics
- Proof-theoretic semantics
- Normal modal logic
- User talk:Killtacular
- Proof net
- Problem of multiple generality
- User talk:Icut4you
- User talk:MattW
- Self-verifying theories
- User talk:PWilkinson
- Monadic Boolean algebra
- Defuzzification
- Algebraic normal form
- T-schema
- Categorical logic
- OBJ3
- Normal form (natural deduction)
- Independence (mathematical logic)
- Logic in computer science
- User talk:Noosphere
- Calculus of structures
- Deep inference
- Constructive dilemma
- Destructive dilemma
- Interval temporal logic
- User talk:Cafzal
- Portal:Mathematics
- User talk:Jok2000
- User talk:Porcher
- Propositional variable
- Portal:Cryptography
- Universal instantiation
- PhoX
- Proof procedure
- User talk:No1bassoonist
- User talk:Amerindianarts
- Prototype Verification System
- Finitistic induction
View more links to this file.
