If $p$ and $q$ are statements,then $\qquad$ is a contingency.

If $p: \forall n \in N, n^2+n$ is an even number and $q: \forall n \in N, n^2-n$ is an odd number,then the truth values of $p \wedge q, p \vee q$ and $p \rightarrow q$ are respectively:

The negation of the inverse of $\sim p \rightarrow q$ is

The dual of the converse of the inverse of the logical statement $p \to (q \to r)$ is equivalent to...

Consider the statement patterns:
$A. (q \to p) \lor (p \to q)$
$B. (\sim p \lor \sim q) \leftrightarrow \sim (p \land q)$
$C. [(p \lor q) \land \sim p] \land \sim q$
$D. (p \land q) \land (\sim p \lor \sim q)$
Then identify the nature of these statement patterns.

Which of the following statements is/are False?
$S_1: \exists n \in N, \text{ such that } n^2 + n + 2 \text{ is divisible by 4.}$
$S_2: \exists x \in N, \text{ such that } x - 17 < 20.$
$S_3: \forall n \in N, x^2 + 3x - 10 = 0.$
$S_4: \forall n \in N, n^2 \ge 1.$