Proposition: If a card has an even value on one side, then its opposite face is red.
The cards which MUST be turned over to verify the above proposition are
The core task is to verify the conditional statement: "If a card has an even value on one side, then its opposite face is red." This follows the logical structure "If P, then Q", where:
To verify "If P, then Q", we must check cases that could potentially prove it false. A conditional statement is only false if P is true and Q is false.
We examine each of the four visible faces (2, 3, red, blue) to see if turning the card is necessary:
To verify the proposition, we need to check the card that could represent the case "P is true" (the '2' card) and the card that could represent the case "Q is false" (the 'blue' card).
The cards that must be turned over are those showing '2' and 'blue'.
Consider a linear arrangement of seven bulbs, each of which can be in the ON or OFF states. The initial configuration of the bulbs is shown in the figure. In every Step, the states of the bulbs are changed based on the following rules:
The state of bulbs at the end of Step 1 and Step 2 are also shown in the figure.
The number of bulbs which are ON at the end of Step 8 is ______

Consider a five-digit number PQRST that has distinct digits P, Q, R, S and T, and satisfies the following conditions:
$P < Q$
$S > P > T$
$R < T$
If integers 1 through 5 are used to construct such a number, the value of P is: