Skip to content
Vinony
中文
EnglishEspañolItalianoPolskiРусский中文日本語
EntityQ843812· pop 7· linked from 41 articles

逻辑断言

Sign in to save

Also known as assertion

statement that asserts that a certain premise is true

Wikidata facts

Subclass of
proposition
Sources (1)

via Wikidata · CC0

Article · 中文

逻辑断言（英語：Logical assertion）是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。 例如，如果 p = "x 是偶数"，则蕴涵 因此为真。我们还可以使用逻辑断言符号写为

Abstract from DBpedia / Wikipedia · CC BY-SA

Available in 6 languages

via Wikidata sitelinks · CC0