Propositional calculus is the formal basis of logic dealing with the notion and usage of words such as 'NOT,' 'OR,' 'AND,' and 'implies.' Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of axioms. The term 'sentential calculus' is sometimes used as a synonym for propositional calculus.
This is an introduction to Propositional Logic tutorial.What is a Proposition?A Proposition is an atomic sentence that can either be TRUE or FALSE
and nothing else.Following sentences are example of proposition.Proposition: India is a countryResult: TRUEProposition: 100 is greater than 200Result: FALSEWhereas the sentence How are you? Is not a proposition as the answer can’t be TRUE or FALSE.Simple and Compound PropositionA simple proposition is one that does not contain
any other propositions as its part.A compound proposition is one that is made up of
two or more simple propositions.We use lower case letters a,b,c to represent proposition.