Proposition :- A statement which is either true or false,but not both. Propositional Form (necessary to understand Well Formed Formula) :- An assertion which contains at least one propositional variable. If P is a propositional variable then it is a wff. If P is a propositional variable,then ~P is a wff.