File:Logical_connectives_Hasse_diagram.svg
From Wikipedia, the free encyclopedia
Size of this PNG preview of this SVG file: 424 × 600 pixels. Other resolutions: 170 × 240 pixels | 339 × 480 pixels | 543 × 768 pixels | 724 × 1,024 pixels | 1,448 × 2,048 pixels | 744 × 1,052 pixels.
Original file (SVG file, nominally 744 × 1,052 pixels, file size: 201 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
(Logical connectives table and Hasse diagram) |
DescriptionLogical connectives Hasse diagram.svg |
English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by:
|
|||
Date | ||||
Source | Own work | |||
Author |
|
|||
Permission (Reusing this file) |
|
|||
Other versions |
Printable versions: See also: |
Items portrayed in this file
depicts
15 May 2009
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 | 14:17, 13 February 2023 | 744 × 1,052 (201 KB) | TeunSpaans | updated to newer inkscape version, hopefully alll previous issues solved | |
14:14, 24 July 2021 | 744 × 1,052 (201 KB) | Watchduck | revert to last version by myself | ||
14:59, 20 June 2021 | 744 × 1,052 (193 KB) | Mechachleopteryx | widened xor symbol | ||
14:38, 20 June 2021 | 744 × 1,052 (193 KB) | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | ||
14:33, 20 June 2021 | 744 × 1,052 (201 KB) | Mechachleopteryx | Reverted to version as of 19:25, 7 May 2010 (UTC) | ||
14:27, 20 June 2021 | 744 × 1,052 (193 KB) | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | ||
14:24, 20 June 2021 | 744 × 1,052 (201 KB) | Mechachleopteryx | Reverted to version as of 19:25, 7 May 2010 (UTC) | ||
14:17, 20 June 2021 | 744 × 1,052 (193 KB) | Mechachleopteryx | changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign. | ||
19:25, 7 May 2010 | 744 × 1,052 (201 KB) | Watchduck | changed XOR sign from <math>\dot\or</math> to <math>\oplus</math> | ||
17:00, 24 August 2009 | 744 × 1,052 (206 KB) | Watchduck |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
- AND gate
- Boolean function
- Converse (logic)
- Converse nonimplication
- Digital buffer
- Exclusive or
- False (logic)
- IMPLY gate
- Inverter (logic gate)
- Logical NOR
- Logical biconditional
- Logical conjunction
- Logical connective
- Logical consequence
- Logical disjunction
- Logical equality
- Logical truth
- Material conditional
- Material nonimplication
- Minimal axioms for Boolean algebra
- NAND gate
- NIMPLY gate
- NOR gate
- Negation
- OR gate
- Outline of logic
- Sheffer stroke
- Tautology (logic)
- XNOR gate
- XOR gate
- Talk:Logical connective
- User:Idc18
- User:Kazkaskazkasako/Books/Mathematics
- User:Koryu Obihiro
- User:Matthew Kastor/Books/Logical
- User:Nayru25/sandbox/A Style Guide for Boolean Connectives
- User:Sedentarycephalopod/sandbox
- User talk:Gregbard/Archive 1
- Wikipedia:School and university projects/Discrete and numerical mathematics/Learning plan
- Wikipedia:WikiProject Logic/Logical Operators
- Wikipedia talk:WikiProject Mathematics/Archive/2008
- Wikipedia talk:WikiProject Mathematics/Archive/2008/Nov
- Template:Hexadecimal table
- Template:Logical connectives
- Template:Logical connectives table and Hasse diagram
- Template:Numeral systems for computation
- Category:Logical connectives
Global file usage
The following other wikis use this file:
- Usage on az.wikipedia.org
- Usage on beta.wikiversity.org
- Usage on ca.wikipedia.org
- Usage on cs.wikipedia.org
- Usage on de.wikipedia.org
- Usage on el.wikipedia.org
- Usage on eml.wikipedia.org
- Usage on en.wikiversity.org
- Usage on es.wikipedia.org
- Bicondicional
- Tautología
- Conectiva lógica
- Condicional material
- Lógica proposicional
- Disyunción lógica
- Conjunción lógica
- Contradicción
- Negación lógica
- Disyunción exclusiva
- Disyunción opuesta
- Conjunción opuesta
- Implicación opuesta
- Adjunción opuesta
- Adjunción lógica
- Plantilla:Conectivas lógicas
- Afirmación lógica
- Usage on et.wikipedia.org
- Usage on fa.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 | 210mm |
---|---|
Height | 297mm |