File:Venn0100.svg
From Wikipedia, the free encyclopedia
Size of this PNG preview of this SVG file: 380 × 280 pixels. Other resolutions: 320 × 236 pixels | 640 × 472 pixels | 1,024 × 755 pixels | 1,280 × 943 pixels | 2,560 × 1,886 pixels.
Original file (SVG file, nominally 380 × 280 pixels, file size: 351 bytes)
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
One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and logical connectives:
Operations and relations in set theory and logic
∅c |
A = A |
|||||||||||||
Ac Bc |
true A ↔ A |
A B |
A Bc |
AA |
A Bc |
|||||||||
A Bc |
¬A ¬B A → ¬B |
A B |
A B A ← ¬B |
Ac B |
A B |
A¬B |
A = Bc |
A¬B |
A B |
|||||
Bc |
A ¬B A ← B |
A |
A B A ↔ ¬B |
Ac |
¬A B A → B |
B |
B = ∅ |
AB |
A = ∅c |
A¬B |
A = ∅ |
AB |
B = ∅c | |
¬B |
A Bc |
A |
(A B)c |
¬A |
Ac B |
B |
Bfalse |
Atrue |
A = B |
Afalse |
Btrue | |||
A ¬B |
Ac Bc |
A B |
A B |
¬A B |
AB |
|||||||||
¬A ¬B |
∅ |
A B |
A = Ac |
|||||||||||
false A ↔ ¬A |
A¬A |
|||||||||||||
These sets (statements) have complements (negations). They are in the opposite position within this matrix. |
These relations are statements, and have negations. They are shown in a separate matrix in the box below. |
more relations | ||||
---|---|---|---|---|
|
Public domainPublic domainfalsefalse |
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |
Items portrayed in this file
depicts
image/svg+xml
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 23:09, 1 March 2024 | 380 × 280 (351 bytes) | Watchduck | cleaner code and lighter red (overwritten with Pywikibot) | |
20:29, 24 July 2023 | 380 × 280 (352 bytes) | SVG-image-maker | Redrew with a text editor | ||
14:08, 26 July 2009 | 384 × 280 (3 KB) | Watchduck | |||
13:26, 26 January 2008 | 615 × 463 (4 KB) | Watchduck | {{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }} | ||
16:00, 22 January 2008 | 615 × 463 (4 KB) | Watchduck | {{Information |Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory |Source=own work |Date=2008/Jan/22 |Author=Tilman Piesk |Permission=publich domain |other_versions= }} |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on als.wikipedia.org
- Usage on am.wikipedia.org
- Usage on anp.wikipedia.org
- Usage on ar.wikipedia.org
- Usage on bar.wikipedia.org
- Usage on ba.wikipedia.org
- Usage on be-tarask.wikipedia.org
- Usage on be.wikipedia.org
- Usage on bg.wikipedia.org
- Usage on bn.wikipedia.org
- Usage on ca.wikipedia.org
- Usage on ckb.wikipedia.org
- Usage on cs.wikipedia.org
- Usage on da.wikipedia.org
- Usage on de.wikipedia.org
- Usage on de.wikibooks.org
- Mathe für Nicht-Freaks: Verknüpfungen zwischen Mengen
- Mathe für Nicht-Freaks: Grundlagen der Mathematik: Zusammenfassung
- Benutzer:Stabacs/ Mengenlehre
- Mathe für Nicht-Freaks: Differenz, symmetrische Differenz und Komplement
- Benutzer:Dirk Hünniger/mnf
- Formelsammlung Mathematik: Mengenlehre
- Mathematrix: AT BRP/ Theorie/ Reifeniveau 5
- Mathematrix: MA TER/ Theorie/ Zahlendarstellungen Mengentheorie und Aussagenlogik
- Mathematrix: AT BRP/ Theorie nach Thema/ Zahlendarstellungen Mengentheorie und Aussagenlogik
- Mathematrix: AT AHS/ Theorie nach Thema/ Zahlendarstellungen Mengentheorie und Aussagenlogik
- Mathematrix: BY GYM/ Theorie nach Thema/ Zahlendarstellungen Mengentheorie und Aussagenlogik
- Usage on de.wikiversity.org
- Usage on de.wiktionary.org
- Usage on en.wikibooks.org
- A-level Computing 2009/AQA/Problem Solving, Programming, Data Representation and Practical Exercise
- A-level Computing 2009/AQA/Problem Solving, Programming, Data Representation and Practical Exercise/Fundamentals of Programming/Set operators
- Template:CPTNavigationU1
- A-level Computing 2009/AQA/Print version/Unit 1
- Structured Query Language/SELECT: Set Operations
- Structured Query Language/Print version
- A-level Computing/AQA/Problem Solving, Programming, Data Representation and Practical Exercise
- A-level Computing/AQA/Paper 1/Theory of computation/Maths for regular expressions
- A-level Computing/AQA/Print version/Unit 1
- Template:CPTNavigationP1
- A-level Computing/AQA/Paper 1
- Usage on en.wikiversity.org
- Usage on eo.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 | 380 |
---|---|
Height | 280 |
Retrieved from "https://en.wikipedia.org/wiki/File:Venn0100.svg"