网逻辑

（计算机科学技术）

网逻辑（net enlogy），计算机科学技术名词，通过网元及网结构来表示逻辑命题，可建立起佩特里网同命题逻辑、一阶谓词逻辑以及时态逻辑等的联系。