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