ધારો કે $\Delta, \nabla \in \{\wedge, \vee\}$ એવા છે કે જેથી $(p \nabla q) \Rightarrow ((p \nabla q) \nabla r)$ એ એક નિત્યસત્ય (tautology) છે. તો $(p \nabla q) \Delta r$ એ તાર્કિક રીતે કોના સમકક્ષ છે?

નીચેનામાંથી કયા વિધાનનું સત્યતા મૂલ્ય $T$ છે?
$A$: એકમના ઘનમૂળ સમગુણોત્તર શ્રેણીમાં છે અને તેમનો સરવાળો $0$ છે.
$B$: $4+7 > 10$ જો અને તો જ $2+8 < 10$.
$C$: $\exists x \in N$ જેથી $x^2-3x+2=0$ અને $\exists n \in N$ જેથી $n$ એકી સંખ્યા છે.
$D$: $3+i$ એક સંકર સંખ્યા છે અથવા $\sqrt{2}+\sqrt{3}=\sqrt{5}$.

નીચેનામાંથી કયું વિધાન સ્વરૂપ વિરોધાભાસ (contradiction) છે?

પ્રતિ-ઉદાહરણ આપીને દર્શાવો કે નીચેનું વિધાન સત્ય નથી.
$q:$ સમીકરણ $x^{2}-1=0$ ને $0$ અને $2$ ની વચ્ચે કોઈ બીજ નથી.

આપેલ છે $p$: માણસ ન્યાયાધીશ છે,$q$: માણસ પ્રમાણિક છે. જો $S_1$: જો માણસ ન્યાયાધીશ હોય,તો તે પ્રમાણિક છે; $S_2$: જો માણસ ન્યાયાધીશ હોય,તો તે પ્રમાણિક નથી; $S_3$: માણસ ન્યાયાધીશ નથી અથવા તે પ્રમાણિક છે; $S_4$: માણસ ન્યાયાધીશ છે અને તે પ્રમાણિક છે. તો:

સરળ વિધાનો $p, q$,અને $r$ માટે,$p \rightarrow (q \vee r)$ એ તાર્કિક રીતે કોના સમકક્ષ છે?