વિધાન પેટર્ન $[(p \land q) \to (\sim p \lor r)] \lor [(\sim p \lor r) \to (p \land q)]$ એ

નીચેનામાંથી કઈ વિધાન રચના એ સ્વતઃ સત્ય (tautology) છે?
$S_1 \equiv (\sim q \wedge p) \wedge q$
$S_2 \equiv [p \wedge (p$ $\rightarrow q)]$ $\rightarrow q$
$S_3 \equiv (p \wedge q) \wedge (\sim p \vee \sim q)$
$S_4 \equiv (p \wedge q) \rightarrow r$

નીચેનામાંથી કયું/કયા વિધાન અસત્ય છે?
$S_1: \exists n \in N$, જેથી $n^2 + n + 2$ એ $4$ વડે વિભાજ્ય છે.
$S_2: \exists x \in N$, જેથી $x - 17 < 20$.
$S_3: \forall n \in N, x^2 + 3x - 10 = 0$.
$S_4: \forall n \in N, n^2 \geq 1$.

નીચેનું વાક્ય વિધાન છે કે નહીં તે ચકાસો. તમારા જવાબ માટે કારણો આપો.
ગણિત મનોરંજક છે.

નીચેનામાંથી કયું વિધાન સાચું છે?
$(a)$ $S_1: (p \wedge q) \equiv \sim(p \rightarrow \sim q)$
$(b)$ $S_2: (p \wedge q) \wedge (\sim p \vee \sim q)$ એ નિત્યસત્ય (tautology) છે
$(c)$ $S_3: [p \wedge (p$ $\rightarrow \sim q)]$ $\rightarrow q$ એ વિરોધાભાસ (contradiction) છે
$(d)$ $S_4: p$ $\rightarrow (q$ $\rightarrow p)$ એ આકસ્મિક (contingency) છે

જો $(p \wedge \sim r) \rightarrow (\sim p \vee q)$ નું સત્યતા મૂલ્ય $False$ હોય,તો $p, q, r$ ના સત્યતા મૂલ્યો અનુક્રમે શું હશે?