**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**

## No comments:

## Post a Comment