As we showed above, propositional logic is consistent of symbols which take the place of atomic propositions and logical operators. There are two other building blocks in propositional logic which include its syntax and semantics. Syntax refers to how to set up grammatically meaningful propositions in a symbolic logic system. The following are examples of syntax: ‘The dog is brown.’ Is a sentence. ‘The dog is brown, and the dog is microscopic.’ Is a sentence with two propositions connected by a conjunction. ‘The dog and’ is not a full sentence. In all of these cases we are looking at the grammar of the sentences, not the truth content nor interpretation. It is unlikely that the sentence in point (2) is true, but it can be said to be true or false as a proposition. It is impossible for sentence in point (3) to be converted into a proposition. One aspect to using proper syntax in any symbolic logic language is to be sure that the propositions expressed are well formed formulas. ...
Comments
Post a Comment