Σύνοψη

ΠεριγραφήNon-closed propositional tableau.svg	English: A non-closed tableau for the set ${\displaystyle \{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.
Ημερομηνία	5 Ιανουαρίου 2007 (original upload date)
Πηγή	Transferred from en.wikipedia to Commons by Piquart using CommonsHelper.
Δημιουργός	Tizio at Αγγλικά Βικιπαίδεια

Αδειοδότηση

Tizio from en.wikipedia.org, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, το δημοσιεύει δια του παρόντος υπό την εξής άδεια χρήσης:

	Το αρχείο διανέμεται υπό την άδεια Creative Commons Αναφορά προέλευσης-Παρόμοια διανομή 3.0 Μη εισαγόμενη Με τους όρους των αποποίηση ευθυνών.
	Απόδοση: Tizio from en.wikipedia.org
	Είστε ελεύθερος: να μοιραστείτε – να αντιγράψετε, διανέμετε και να μεταδώσετε το έργο να διασκευάσετε – να τροποποιήσετε το έργο Υπό τις ακόλουθες προϋποθέσεις: αναφορά προέλευσης – Θα πρέπει να κάνετε κατάλληλη αναφορά, να παρέχετε σύνδεσμο για την άδεια και να επισημάνετε εάν έγιναν αλλαγές. Μπορείτε να το κάνετε με οποιοδήποτε αιτιολογήσιμο λόγο, χωρίς όμως να εννοείται με οποιονδήποτε τρόπο ότι εγκρίνουν εσάς ή τη χρήση του έργου από εσάς. παρόμοια διανομή – Εάν αλλάξετε, τροποποιήσετε ή δημιουργήσετε πάνω στο έργο αυτό, μπορείτε να διανείμετε αυτό που θα προκύψει μόνο υπό τους όρους της ίδιας ή συμβατής άδειας με το πρωτότυπο.
	Αυτή η ετικέτα άδειας χρήσης προστέθηκε στο αρχείο ως μέρους της αναθεώρησης της άδειας GFDL .http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue

Παραχωρείται η άδεια προς αντιγραφή, διανομή και/ή τροποποίηση αυτού του εγγράφου υπό τους όρους της Άδειας Ελεύθερης Τεκμηρίωσης GNU, Έκδοση 1.2 ή οποιασδήποτε νεότερης έκδοσης δημοσιευμένης από το Ίδρυμα Ελεύθερου Λογισμικού· χωρίς Απαράλαχτους Τομείς, χωρίς Κείμενα Εξωφύλλου, και χωρίς Κείμενα Οπισθοφύλλου. Αντίγραφο της άδειας περιλαμβάνεται στην σελίδα με τίτλο GNU Free Documentation License. Με τους όρους των αποποίηση ευθυνών.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

Καταγραφές ανεβασμάτων πρωτότυπου αρχείου

• 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