File:Cocoon concertina square graph; matrix sketches.svg
(Redirected from File:Predicate logic; 2 variables; implications.svg)
Size of this PNG preview of this SVG file: 288 × 456 pixels. Other resolutions: 151 × 240 pixels | 303 × 480 pixels | 485 × 768 pixels | 647 × 1,024 pixels | 1,293 × 2,048 pixels.
Original file (SVG file, nominally 288 × 456 pixels, file size: 23 KB)
Captions
Captions
Add a one-line explanation of what this file represents
Summary[edit]
| Description | Implications between statements with two variables in first-order logic, represented by sketches of their logical matrices | ||
| Date | |||
| Source | Own work | ||
| Author |
|
||
| Permission (Reusing this file) |
|
||
| Other versions |
 .svg) |
|
This vector image was created with Inkscape, and uploaded with Commonist. | 
|
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 22:16, 27 June 2013 | | 288 × 456 (23 KB) | Watchduck (talk | contribs) | correct mistake |
| 22:15, 27 June 2013 |  | 270 × 300 (17 KB) | Watchduck (talk | contribs) | reflect | |
| 23:59, 8 June 2013 |  | 288 × 456 (24 KB) | Watchduck (talk | contribs) | reflect | |
| 23:05, 7 December 2010 |  | 288 × 456 (26 KB) | Watchduck (talk | contribs) |
You cannot overwrite this file.
File usage on Commons
The following 83 pages use this file:
- Hasse diagram
- User:Watchduck
- User:Watchduck/list
- File:Cocoon concertina square graph; negations; matrix sketches.svg
- File:Concertina square graph; matrix sketches.svg
- File:Predicate logic; 2 variables; 2x2 list a(12).svg
- File:Predicate logic; 2 variables; 2x2 list a12.svg
- File:Predicate logic; 2 variables; 2x2 list a1e2.svg
- File:Predicate logic; 2 variables; 2x2 list a2e1.svg
- File:Predicate logic; 2 variables; 2x2 list e(12).svg
- File:Predicate logic; 2 variables; 2x2 list e12.svg
- File:Predicate logic; 2 variables; 2x2 list e1a2.svg
- File:Predicate logic; 2 variables; 2x2 list e2a1.svg
- File:Predicate logic; 2 variables; 2x2 list not a(12).svg
- File:Predicate logic; 2 variables; 2x2 list not a12.svg
- File:Predicate logic; 2 variables; 2x2 list not a1e2.svg
- File:Predicate logic; 2 variables; 2x2 list not a2e1.svg
- File:Predicate logic; 2 variables; 2x2 list not e(12).svg
- File:Predicate logic; 2 variables; 2x2 list not e12.svg
- File:Predicate logic; 2 variables; 2x2 list not e1a2.svg
- File:Predicate logic; 2 variables; 2x2 list not e2a1.svg
- File:Predicate logic; 2 variables; 3x3 list a(12).svg
- File:Predicate logic; 2 variables; 3x3 list a12.svg
- File:Predicate logic; 2 variables; 3x3 list a1e2.svg
- File:Predicate logic; 2 variables; 3x3 list a2e1.svg
- File:Predicate logic; 2 variables; 3x3 list e(12).svg
- File:Predicate logic; 2 variables; 3x3 list e12.svg
- File:Predicate logic; 2 variables; 3x3 list e1a2.svg
- File:Predicate logic; 2 variables; 3x3 list e2a1.svg
- File:Predicate logic; 2 variables; example matrix a(12).svg
- File:Predicate logic; 2 variables; example matrix a12.svg
- File:Predicate logic; 2 variables; example matrix a1e2.svg
- File:Predicate logic; 2 variables; example matrix a2e1.svg
- File:Predicate logic; 2 variables; example matrix e(12).svg
- File:Predicate logic; 2 variables; example matrix e12.svg
- File:Predicate logic; 2 variables; example matrix e1a2.svg
- File:Predicate logic; 2 variables; example matrix e2a1.svg
- File:Predicate logic; 2 variables; implications.svg (file redirect)
- User:Watchduck
- File:Predicate logic; 2 variables; example matrix a12.svg
- File:Predicate logic; 2 variables; example matrix a1e2.svg
- File:Predicate logic; 2 variables; example matrix a2e1.svg
- File:Predicate logic; 2 variables; example matrix a(12).svg
- File:Predicate logic; 2 variables; example matrix e1a2.svg
- File:Predicate logic; 2 variables; example matrix e2a1.svg
- File:Predicate logic; 2 variables; example matrix e12.svg
- File:Predicate logic; 2 variables; example matrix e(12).svg
- File:Predicate logic; 2 variables; 3x3 list a(12).svg
- File:Predicate logic; 2 variables; 3x3 list e(12).svg
- File:Predicate logic; 2 variables; 3x3 list a12.svg
- File:Predicate logic; 2 variables; 3x3 list e12.svg
- File:Predicate logic; 2 variables; 3x3 list a2e1.svg
- File:Predicate logic; 2 variables; 3x3 list e2a1.svg
- File:Predicate logic; 2 variables; 3x3 list e1a2.svg
- File:Predicate logic; 2 variables; 3x3 list a1e2.svg
- File:Predicate logic; 2 variables; 2x2 list a(12).svg
- File:Predicate logic; 2 variables; 2x2 list e(12).svg
- File:Predicate logic; 2 variables; 2x2 list a12.svg
- File:Predicate logic; 2 variables; 2x2 list e12.svg
- File:Predicate logic; 2 variables; 2x2 list a2e1.svg
- File:Predicate logic; 2 variables; 2x2 list a1e2.svg
- File:Predicate logic; 2 variables; 2x2 list e2a1.svg
- File:Predicate logic; 2 variables; 2x2 list e1a2.svg
- Template:Predicate logic; 2 variables; single; 3x3 list
- Template:Predicate logic; 2 variables; single; 2x2 list
- Template:Predicate logic; 2 variables; single; example matrices
- Hasse diagram
- File:Concertina square graph; matrix sketches.svg
- File:Cocoon concertina square graph; negations; matrix sketches.svg
- File:Predicate logic; 2 variables; 2x2 list not a12.svg
- File:Predicate logic; 2 variables; 2x2 list not a2e1.svg
- File:Predicate logic; 2 variables; 2x2 list not a1e2.svg
- File:Predicate logic; 2 variables; 2x2 list not e2a1.svg
- File:Predicate logic; 2 variables; 2x2 list not a(12).svg
- File:Predicate logic; 2 variables; 2x2 list not e1a2.svg
- File:Predicate logic; 2 variables; 2x2 list not e12.svg
- File:Predicate logic; 2 variables; 2x2 list not e(12).svg
- User:Watchduck/list
- File:Predicate logic; implications.svg (file redirect)
- Template:Predicate logic; 2 variables; single; 2x2 list
- Template:Predicate logic; 2 variables; single; 3x3 list
- Template:Predicate logic; 2 variables; single; example matrices
- Category:Representations of formulas in predicate logic
.svg){kind=link}
.svg){kind=link}
.svg){kind=link}
.svg){kind=link}
.svg){kind=link}
.svg){kind=link}
.svg){kind=link}
.svg){kind=link}
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on en.wikiversity.org
- Usage on he.wikipedia.org
