Αρχείο:Non-closed propositional tableau.svg

Από testwiki
Μετάβαση στην πλοήγηση Πήδηση στην αναζήτηση
Πρωτότυπο αρχείο (Αρχείο SVG, ονομαστικό μέγεθος 189 × 270 εικονοστοιχεία, μέγεθος αρχείου: 23 KB)

Αυτό το αρχείο είναι από το Wikimedia Commons και ενδέχεται να χρησιμοποιείται από άλλα εγχειρήματα. Η περιγραφή στη σελίδα περιγραφής του εκεί, εμφανίζεται παρακάτω.

Σύνοψη

Περιγραφή
English: A non-closed tableau for the set . 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, ο κάτοχος των πνευματικών δικαιωμάτων αυτού του έργου, το δημοσιεύει δια του παρόντος υπό την εξής άδεια χρήσης:
w:el:Creative Commons
αναφορά προέλευσης παρόμοια διανομή 		Το αρχείο διανέμεται υπό την άδεια Creative Commons Αναφορά προέλευσης-Παρόμοια διανομή 3.0 Μη εισαγόμενη Με τους όρους των αποποίηση ευθυνών.
Απόδοση: Tizio from en.wikipedia.org
Είστε ελεύθερος:
  • να μοιραστείτε – να αντιγράψετε, διανέμετε και να μεταδώσετε το έργο
  • να διασκευάσετε – να τροποποιήσετε το έργο
Υπό τις ακόλουθες προϋποθέσεις:
  • αναφορά προέλευσης – Θα πρέπει να κάνετε κατάλληλη αναφορά, να παρέχετε σύνδεσμο για την άδεια και να επισημάνετε εάν έγιναν αλλαγές. Μπορείτε να το κάνετε με οποιοδήποτε αιτιολογήσιμο λόγο, χωρίς όμως να εννοείται με οποιονδήποτε τρόπο ότι εγκρίνουν εσάς ή τη χρήση του έργου από εσάς.
  • παρόμοια διανομή – Εάν αλλάξετε, τροποποιήσετε ή δημιουργήσετε πάνω στο έργο αυτό, μπορείτε να διανείμετε αυτό που θα προκύψει μόνο υπό τους όρους της ίδιας ή συμβατής άδειας με το πρωτότυπο.
Αυτή η ετικέτα άδειας χρήσης προστέθηκε στο αρχείο ως μέρους της αναθεώρησης της άδειας GFDL .
GNU head Παραχωρείται η άδεια προς αντιγραφή, διανομή και/ή τροποποίηση αυτού του εγγράφου υπό τους όρους της Άδειας Ελεύθερης Τεκμηρίωσης GNU, Έκδοση 1.2 ή οποιασδήποτε νεότερης έκδοσης δημοσιευμένης από το Ίδρυμα Ελεύθερου Λογισμικού· χωρίς Απαράλαχτους Τομείς, χωρίς Κείμενα Εξωφύλλου, και χωρίς Κείμενα Οπισθοφύλλου. Αντίγραφο της άδειας περιλαμβάνεται στην σελίδα με τίτλο GNU Free Documentation License. Με τους όρους των αποποίηση ευθυνών.

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

Η αρχική σελίδα περιγραφής ήταν εδώ. Όλα τα ακόλουθα ονόματα χρήστη αναφέρονται στην 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

Λεζάντες

Προσθέστε εξήγηση μιας γραμμής για το τι αντιπροσωπεύει αυτό το αρχείο

Τα Αντικείμενα που απεικονίζονται σε αυτό το αρχείο

απεικονίζει

Ιστορικό αρχείου

Πατήστε σε μια ημερομηνία/ώρα για να δείτε το αρχείο όπως εμφανιζόταν εκείνη την χρονική στιγμή.

Ημερομηνία/ΏραΜικρογραφίαΔιαστάσειςΧρήστηςΣχόλιο
τρέχον15:39, 12 Ιουλίου 2010Μικρογραφία για την έκδοση της 15:39, 12 Ιουλίου 2010189 × 270 (23 KB)wikimediacommons>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,

Η ακόλουθη σελίδα χρησιμοποιεί προς αυτό το αρχείο:

Ανακτήθηκε από «https://el.wiki.beta.math.wmflabs.org/wiki/Αρχείο:Non-closed_propositional_tableau.svg»