logical assertion
Sign in to saveAlso known as assertion
statement that asserts that a certain premise is true
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
Q22908627
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