Formal Statement
A formal statement is one or more formal sentences that abide by a Formal Theory.
- AKA: Formal Expression, Structured Declaration, Formal Assertion.
- Context:
- It can be a Proven Statement or an Unproven Statement, depending on its verification status.
- It can be a Logic Statement, a Mathematical Statement, or other formal domain statements.
- It can follow formal syntax through grammar rules.
- It can maintain formal semantics through meaning rules.
- ...
- It can (often) be used in Formal Reasoning for logical deductions.
- It can (often) support Formal Verification through proof methods.
- It can (often) enable Formal Analysis through systematic evaluations.
- ...
- It can range from being a Simple Statement to being a Compound Statement, depending on its statement structure.
- It can range from being a Concrete Statement to being an Abstract Statement, depending on its abstraction level.
- It can range from being an Axiomatic Statement to being a Derived Statement, depending on its logical basis.
- ...
- It can have statement consistency through formal rule compliance.
- It can have statement completeness through information coverage.
- It can have statement precision through formal definitions.
- It can have statement verifiability through formal checkings.
- ...
- Examples:
- a Premise, which establishes a formal basis for reasoning.
- a Formally-specified Question, which requests information using formal syntax.
- Logical Statements, such as:
- Logical Propositions for truth value assertion.
- Logical Implications for conditional relationships.
- Mathematical Statements, such as:
- Mathematical Theorems for proven property assertion.
- Mathematical Definitions for concept formalization.
- Requirement Statements, such as:
- ...
- Counter-Examples:
- an Informal Statement, which lacks formal rules and structure.
- a Natural Language Expression, which follows linguistic conventions rather than formal rules.
- a Casual Comment, which lacks formal precision and verifiability.
- an Ambiguous Statement, which violates formal clarity requirements.
- See: Regular Expression Statement, Computer Program Statement, Formal Language, Formal Grammar, Formal Logic, Formal Method, Formal Analysis, Statement Structure, Formal Theory, Formal System.
References
2013
- http://encarta.msn.com/encnet/features/dictionary/DictionaryResults.aspx
- a formal document giving explicit details such as the terms of a business agreement or plan, or information on goods or assets for tax purposes