દ્રી-પ્રેરણ $p \Leftrightarrow q = …..$
$p \Rightarrow q$ અને $q \Rightarrow p$ નું વિયોજન
$q \Rightarrow p$ નું સમાનાર્થીં
$p \Rightarrow q$ નું પ્રતીપ
$p \Rightarrow q$ અને $q \Rightarrow p$ નું સંયોજન
વિધાન $p \Rightarrow (q \Rightarrow p)$ એ .....સાથે તાર્કિક રીતે સમાન છે.
ધારો કે $F_{1}(A, B, C)=(A \wedge \sim B) \vee[\sim C \wedge(A \vee B)] \vee \sim A$ અને $F _{2}( A , B )=( A \vee B ) \vee( B \rightarrow \sim A )$ એ બે તાર્કિક અભિવ્યક્તિઓ છે. તો :
$p \wedge (\sim p) = c$ નું દ્વંદ્વ વિધાન કયું છે ?
જો વિધાન $\mathrm{p} \rightarrow(\mathrm{p} \wedge-\mathrm{q})$ અસત્ય હોય તો $p$ અને $q$ ના સત્યર્થા મૂલ્યો મેળવો.
ધારો કે $p$ એ વિધાન $"x$ અસંમેય સંખ્યા છે$"$,
$q$ એ વિધાન $" y$ અબીજીય સંખ્યા છે $",$
અને $r$ એ વિધાન $"x $ સંમેય સંખ્યા છે $y$ અબીજીય સંખ્યા હોય તો$"$
વિધાન $- 1 : r$ એ $q$ અથવા $p$ સાથે સમતુલ્ય છે.
વિધાન $- 2 : r$ એ $(p \Leftrightarrow \sim q)$ સાથે સમતુલ્ય છે.