Exercise · ZW-AXIOMATIC-SYSTEM-003 · ★☆☆ Basic
A derivation inside an axiomatic system is...
Choose one option.
Show answer
- A. A finite sequence of formulas, each an axiom or obtained from earlier ones by a rule
Explanation
A derivation is the formal proof: each step is an axiom or follows from earlier steps by a rule of inference.
Review the concept: Axiomatic system
An axiomatic system is a triple \(\mathcal{S}=(\mathcal{L},\mathcal{A},\mathcal{R})\) made of a formal language, axioms and rules of inference.
\[\mathcal{S}=(\mathcal{L},\mathcal{A},\mathcal{R})\]
More practice problems: axiomatic system
- ZW-AXIOMATIC-SYSTEM-001 An axiomatic system includes...
- ZW-AXIOMATIC-SYSTEM-002 Axioms work as...
- ZW-AXIOMATIC-SYSTEM-004 The rules of an axiomatic system indicate...
- ZW-AXIOMATIC-SYSTEM-005 An axiomatic system can be studied by asking whether it is...
- ZW-AXIOMATIC-SYSTEM-006 An axiomatic system starts from...
- ZW-AXIOMATIC-SYSTEM-007 An axiom is a statement that...
- ZW-AXIOMATIC-SYSTEM-008 The rules of inference indicate...
- ZW-AXIOMATIC-SYSTEM-009 Which of these statements about a formal system is correct?