નીયે પ્રમાણે બે વિધાનો વિચારો :

$P_1: \sim( p \rightarrow \sim q )$

$P_2:( p \wedge \sim q ) \wedge((\sim p ) \vee q )$

જો વિધાન $p \rightarrow((\sim p ) \vee q )$ નું મુલ્યાંકન  $FALSE$ થતું હોય, તો :

વિધાન $( P \Rightarrow Q ) \wedge(R \Rightarrow Q )$ એ $........$ સાથે તાર્કિક રીતે સમકક્ષ છે.

$((\sim p) \wedge q) \Rightarrow r$નું પ્રતીપ $..........$ છે.

વિધાન $p → (p \leftrightarrow  q)$ = 

$(p \wedge(\sim q)) \vee(\sim p)$ નો નિષેધ $.........$ ને સમકક્ષ છે.

બે  વિધાનો ધ્યાનથી જુઓ.

$(\mathrm{S} 1):(\mathrm{p} \rightarrow \mathrm{q}) \vee(\sim \mathrm{q} \rightarrow \mathrm{p})$ એ સંપૂર્ણ સત્ય છે

$(S2): (\mathrm{p} \wedge \sim \mathrm{q}) \wedge(\sim \mathrm{p} \vee \mathrm{q})$ એ તર્કદોષી છે  

તો    .. . . . .