|
สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
#1
|
|||
|
|||
Existential graph
An existential graph is a type of diagrammatic or visual notation for logical expressions, proposed by Charles Sanders Peirce, who wrote on graphical logic as early as 1882,[2] and continued to develop the method until his death in 1914. Peirce proposed three systems of existential graphs: alpha, isomorphic to sentential logic and the two-element Boolean algebra; beta, isomorphic to first-order logic with identity, with all formulas closed; gamma, (nearly) isomorphic to normal modal logic. |
#2
|
|||
|
|||
A logical graph is a special type of diagrammatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic. In his papers on qualitative logic, entitative graphs, and existential graphs, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic. In the century since Peirce initiated this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures. |
หัวข้อคล้ายคลึงกัน | ||||
หัวข้อ | ผู้ตั้งหัวข้อ | ห้อง | คำตอบ | ข้อความล่าสุด |
สอบถามเกี่ยวกับการ plot graph ครับ | Little-Boy | Calculus and Analysis | 8 | 25 สิงหาคม 2014 14:34 |
Graph Theory อีกข้อครับ | Mathopolis | คณิตศาสตร์อุดมศึกษา | 1 | 06 ธันวาคม 2010 21:59 |
ใครชอบ Graph เชิญคร๊าฟฟ ยากหน่อยนะครับ!! | kanji | คอมบินาทอริก | 6 | 14 มิถุนายน 2007 21:00 |
โจทย์graphครับ | A1 | ปัญหาคณิตศาสตร์ ม.ปลาย | 2 | 09 สิงหาคม 2005 22:14 |
เรื่องเกี่ยวกับ Graph และ Calculus | Adapt | ปัญหาคณิตศาสตร์ทั่วไป | 3 | 26 พฤษภาคม 2002 21:33 |
|
|