BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
321 users online, thereof 0 logged in

From the Syntax to the Semantics of Formal Languages

Up to now, any string of a language, even if it follows a strict syntax, for instance, a string representing a formula like $1 < 2$, is nothing else but a meaningless concatenation of letters. Semantics governs the way we can interpret a given formula of a formal language. Only with semantics, it is possible to distinguish between true and false formulae.

In this chapter, we will stepwise approach the concept of semantics of formal languages. In order to do so, we will first introduce the truth values and further concepts, including interpretation, axioms, rules of interference, derivability, and model. It will turn out that semantics is s model relation we can use to decide if a formula is true or false.

| | | | created: 2018-02-01 22:33:43 | modified: 2020-05-04 18:51:40 | by: bookofproofs

1.Axiom: Bivalence of Truth

2.Definition: Set of Truth Values (True and False)

3.Definition: Domain of Discourse

4.Definition: Interpretation of Strings of a Formal Language and Their Truth Function

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

(none)