File:First_order_natural_deduction.png
維基百科,自由的 encyclopedia
![File:First order natural deduction.png](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/First_order_natural_deduction.png/470px-First_order_natural_deduction.png)
預覽大小:470 × 599 像素。 其他解析度:188 × 240 像素 | 377 × 480 像素 | 685 × 873 像素。
原始檔案 (685 × 873 像素,檔案大小:34 KB,MIME 類型:image/png)
![]() |
本圖片是以PNG、GIF或JPEG格式上傳。然而,其中包含的資料或訊息,應該重新建立成可縮放向量圖形(SVG)檔案,以更有效率或更準確的方式儲存。如有可能,請上傳本圖片的SVG格式版本。在上傳之後,請修改維基各姊妹計畫中所有使用舊版圖片的條目(列在圖像連結章節中),替換為新版圖片,並在舊圖片的描述頁中加入{{Vector version available|新圖片名稱.svg}}模板,同時移除本模板。
|
Transferred from en.wikipedia to Commons by Maksim.
The original description page was here. All following user names refer to en.wikipedia.
Summary of the formal first-order (intuitionistic) natural deduction system
![]() |
已授權您依據自由軟體基金會發行的無固定段落、封面文字和封底文字GNU自由文件授權條款1.2版或任意後續版本,對本檔進行複製、傳播和/或修改。該協議的副本列在GNU自由文件授權條款中。http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
![]() ![]() ![]() |
此檔案採用創用CC 姓名標示-相同方式分享 3.0 未在地化版本授權條款。 | |
| ||
已新增授權條款標題至此檔案,作為GFDL授權更新的一部份。http://creativecommons.org/licenses/by-sa/3.0/CC BY-SA 3.0Creative Commons Attribution-Share Alike 3.0truetrue |
date/time | username | edit summary |
---|---|---|
00:41, 25 August 2004 | en:User:Kaustuv | (Summary of the formal first-order (intuitionistic) natural deduction system {{GFDL}}) |
原始上傳日誌
Legend: (cur) = this is the current file, (del) = delete this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 10:57, 5 September 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 685x873 (34620 bytes) (minor correction in ∃I rule)
- (del) (rev) 00:41, 25 August 2004 . . en:User:Kaustuv Kaustuv ( en:User_talk:Kaustuv Talk) . . 685x873 (28217 bytes) (Summary of the formal first-order (intuitionistic) natural deduction system { { GFDL } })
說明
添加單行說明來描述出檔案所代表的內容
在此檔案描寫的項目
描繪內容
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 使用者 | 備註 | |
---|---|---|---|---|---|
目前 | 2006年3月19日 (日) 19:55 | ![]() | 685 × 873(34 KB) | Maksim | La bildo estas kopiita de wikipedia:en. La originala priskribo estas: Summary of the formal first-order (intuitionistic) natural deduction system {{GFDL}} {| border="1" ! date/time || username || edit summary |---- | 00:41, 25 August 2004 || [[:en:User: |
檔案用途
下列頁面有用到此檔案:
全域檔案使用狀況
以下其他 wiki 使用了這個檔案:
- en.wikipedia.org 的使用狀況
- ja.wikipedia.org 的使用狀況