File:Non-closed propositional tableau.svg

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Non-closed_propositional_tableau.svg‎ (SVG file, nominally 189 × 270 pixels, file size: 23 KB)
Description
English: A non-closed tableau for the set \{a \wedge c, \neg a \vee b\}. This set is satisfiable, so this tableau cannot be closed. Indeed, one sees that, for every non-literal formula and every branch the formula is in, the applicable rule has been applied.
Date 5 January 2007(2007-01-05) (first version); 30 July 2009(2009-07-30) (last version)
Source Transferred from en.wikipedia; transferred to Commons by User:Piquart using CommonsHelper.
Author Original uploader was Tizio at en.wikipedia. Later version(s) were uploaded by RobHar at en.wikipedia.
Permission
(Reusing this file)

CC-BY-SA-3.0-MIGRATED; Released under the GNU Free Documentation License.

[edit] Licensing

Tizio at the English language Wikipedia, the copyright holder of this work, hereby publishes it under the following license:
GNU head Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
Subject to disclaimers.

Asturianu | ‪Беларуская (тарашкевіца)‬ | Български | Català | Deutsch | Ελληνικά | English | Español | Eesti | فارسی | Suomi | Français | Gaeilge | Magyar | Italiano | 한국어 | Kurdî | Lietuvių | Македонски | മലയാളം | Plattdüütsch | Nederlands | Polski | Português | Русский | ไทย | Українська | Tiếng Việt | +/−

Creative Commons license
Creative Commons Attribution Creative Commons Share Alike		 This file is licensed under the Creative Commons Attribution ShareAlike 3.0 License. In short: you are free to share and make derivative works of the file under the conditions that you appropriately attribute it, and that you distribute it only under a license identical to this one. Official license Subject to disclaimers.

This licensing tag was added to this file as part of the GFDL licensing update.

Deutsch | English | Eesti | Suomi | Italiano | Македонски | മലയാളം | Nederlands | Português | Русский | Српски / Srpski | +/−

[edit] Original upload log

The original description page is/was here. All following user names refer to en.wikipedia.

  • 2009-07-30 23:08 RobHar 189×270× (23459 bytes) added background
  • 2009-07-30 01:00 RobHar 189×270× (23203 bytes) Convert text to path to fix display problem, change font, other tweaks
  • 2007-01-05 16:46 Tizio 189×270× (3611 bytes) a non-closed tableau

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current14:39, 12 July 2010Thumbnail for version as of 14:39, 12 July 2010189 × 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,
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Global file usage

The following other wikis use 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 189
Height 270
Retrieved from "http://en.wikipedia.org/wiki/File:Non-closed_propositional_tableau.svg"
Personal tools
Namespaces

Variants
Views
Actions
Navigation
Interaction
Toolbox