સંયુક્ત વિધાન $p \vee (\sim p \vee q)$ નું નિષેધ શું છે?

"જો $x$ અને $y$ એવા પૂર્ણાંકો હોય કે જેથી $x y$ એકી સંખ્યા હોય,તો $x$ અને $y$ બંને એકી સંખ્યા છે" તેનું પ્રતિ-વિધાન (contrapositive) શું છે?

નીચેનામાંથી ખોટું વિધાન કયું છે?

નીચેનામાંથી કયું તાર્કિક સમાનતા હંમેશા સાચું છે?

ધારો કે $p$ એ વિધાન '$x$ અસંમેય સંખ્યા છે',$q$ એ વિધાન '$y$ અબીજીય સંખ્યા છે',અને $r$ એ વિધાન '$x$ સંમેય સંખ્યા છે અથવા $y$ અબીજીય સંખ્યા છે'.
વિધાન-$1$: $r$ એ $q \lor p$ ને સમતુલ્ય છે.
વિધાન-$2$: $r$ એ $(p \Leftrightarrow \sim q)$ ને સમતુલ્ય છે.

$(S1) (p \Rightarrow q) \vee (p \wedge (\sim q))$ એ એક નિત્યસત્ય (tautology) છે. $(S2) ((\sim p) \Rightarrow (\sim q)) \wedge ((\sim p) \vee q)$ એ એક વિરોધાભાસ (contradiction) છે. તો