Fájl:Sequent calculus proof tree example.png
Nem érhető el nagyobb felbontású változat.
Sequent_calculus_proof_tree_example.png (617 × 501 képpont, fájlméret: 14 KB, MIME-típus: image/png)
|
Ez a fájl a Wikimedia Commonsból származik. Az alább látható leírás az ottani dokumentációjának másolata. A Commons projekt szabad licencű kép- és multimédiatár. Segíts te is az építésében! |
Összefoglaló
| Leírás |
An exmple of using sequent calculus for proving a formula in propositional logic. Created by myself, free for anyone's use. |
| Forrás | Áthozta FastilyClone az en.wikipedia projektből a Commonsba MTC! használatával. |
| Szerző | Dan Gluck a(z) Wikipédia projektből |
Licenc
|
Én, a szerző, ezt a művemet ezennel közkinccsé nyilvánítom. Ez a világ minden részén érvényes. Egyes országokban ez jogilag nem lehetséges. Ha így van, akkor: Jogot adok bárkinek, hogy bármilyen célból, feltétel nélkül használhassa ezt a fájlt, kivéve a törvény által kötelezően előírt feltételeket. |
Eredeti feltöltési napló
Az eredeti leírólap itt volt. Az itt következő felhasználónevek az en.wikipedia projektre hivatkoznak.
| Dátum/idő | Felbontás | Feltöltő | Megjegyzés |
|---|---|---|---|
| 2016-06-25 13:42:38 | 617× 501× | Dan Gluck | An exmple of using sequent calculus for proving a formula in propositional logic. Created by myself, free for anyone's use. {{PD-self}} |
Fájltörténet
Kattints egy időpontra, hogy a fájl akkori állapotát láthasd.
| Dátum/idő | Bélyegkép | Felbontás | Feltöltő | Megjegyzés | |
|---|---|---|---|---|---|
| aktuális | 2016. június 29., 03:05 | | 617 × 501 (14 KB) | FastilyClone | Transferred from en.wikipedia (MTC!) |
Fájlhasználat
Az alábbi lap használja ezt a fájlt:
Globális fájlhasználat
A következő wikik használják ezt a fájlt:
- Használata itt: en.wikipedia.org
