File:Non-closed propositional tableau.svg
![File:Non-closed propositional tableau.svg](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Non-closed_propositional_tableau.svg/189px-Non-closed_propositional_tableau.svg.png)
Size of this PNG preview of this SVG file: 189 × 270 pixels. Other resolutions: 168 × 240 pixels | 336 × 480 pixels | 537 × 768 pixels | 717 × 1,024 pixels | 1,433 × 2,048 pixels.
Original file (SVG file, nominally 189 × 270 pixels, file size: 23 KB)
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:39, 12 July 2010 | ![]() | 189 × 270 (23 KB) | File Upload Bot (Magnus Manske) | {{BotMoveToCommons|en.wikipedia|year={{subst:CURRENTYEAR}}|month={{subst:CURRENTMONTHNAME}}|day={{subst:CURRENTDAY}}}} {{Information |Description={{en|A non-closed tableau for the set <math>\{a \wedge c, \neg a \vee b\}</math>. This set is unsatisfiable, |
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 el.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on pt.wikipedia.org