Russian History in the 20th Century


Comments

Post a Comment

Popular posts from this blog

Logic Posts

 The following are my posts on propositional logic: Propositional Logic - Preface Propositional Logic - Syntax Propositional Logic - Semantics Propositional Logic - Conjunction Propositional Logic - Disjunction Propositional Logic - Negation Propositional Logic - Conditionals Propositional Logic - Biconditional Propositional Logic - Deductive Hypotheses Propositional Logic - Rules of Inference Propositional Logic - Transformations of the Conditional Propositional Logic - Other Topics The following are my posts on Predicate Logic: Predicate Logic - Introduction Predicate Logic - Inference Rules The following are my posts on Alethic Logic (Modal Logic): Modal/Alethic Logic - Introduction The following are my posts on Discrete Math: Discrete Math - Naïve Set Theory Discrete Math - Other Set Theory Basics Discrete Math - Relations Discrete Math - Functions
Read more

Propositional Logic - Syntax

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. ...
Read more