Monday, July 26, 2010

Proposational LOgic.

Propositional logic is a special case of FOPL. It is simple to deal with and a decision procedure exists for it. We can easily represent real world facts as logical propositions. Propositions are elementary atomic sentences, written as formula or well formed formulas (wffs). Propositions may either be true or false . some examples of simple propositions are


it is raining


snow is white


people live on moon


Compound Propositions are formed from wffs using logical connectives “ not, and or , if …then (implication) and if … and only if”. For example :it is raining and wind is blowing” is a compound proposition.


As example of prepositional logic is given below


it is raining RAINING


it is hot HOT


it is windy WINDY





1 comment: