In the Vinony graph
Vinony's link graph records 41 inbound references to 逻辑断言, and connects out to axiom, digital object identifier and International Standard Serial Number.
It sits within the topics Concepts in logic, Logical calculi and Proof theory.
Vinony links it to 6 Wikipedia language editions.
Article · 中文
逻辑断言（英語：Logical assertion）是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。 例如，如果 p = "x 是偶数"，则蕴涵 因此为真。我们还可以使用逻辑断言符号写为
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
axiom
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
mathematical logic
Entity
sequence
Entity
OCLC, Inc.
Entity
proposition
Entity
Stanford Encyclopedia of Philosophy
Entity
tautology
Entity
metalanguage
Entity
first-order logic
Entity
Semantic Scholar
Entity
formal system
Entity
metatheory
Entity
logical consequence
Entity
type theory
Entity
rule of inference
Entity
CiteSeerX
Entity
natural deduction
Entity
Curry–Howard correspondence
Entity