Logic Questions and Answers

Answer: C

Correct answer: R

Both P and Q lead to R, and \( P \lor Q \) guarantees that one of them holds, so R follows in either case. This is the constructive dilemma with the same conclusion on both branches, which collapses it to a proof of R. Neither P nor Q individually can be concluded, since the premises do not say which of them is true.

Answer: C

Correct answer: Peter’s team

Take the comparisons in turn. Peter beats David; Smith beats Peter; Smith beats Taiwa; and Taiwa scores less than David. That gives Smith above Peter above David above Taiwa, a complete ordering. Second in descending order is therefore Peter’s team.

Answer: A

Correct answer: niece

Your father’s mother is your grandmother, and her grandsons are you and your brothers and male cousins. Her grandson’s daughter is therefore your own daughter or your brother’s daughter, and since the question asks how Samantha is related to you rather than the reverse, the intended answer is your brother’s daughter - your niece.

Answer: C

Correct answer: S v R

This is the constructive dilemma. \( P \lor Q \) guarantees that at least one of P and Q holds; if P holds then \( P \to R \) gives R, and if Q holds then \( Q \to S \) gives S. Either way at least one of R and S is true, which is exactly \( S \lor R \). Nothing stronger follows, since neither R nor S is guaranteed on its own.

Answer: C

Correct answer: between Peter and Kenel

Chumley and Senthil take the two ends. Chumley must sit next to Peter, so Peter is in the second seat. Donald may not sit next to Senthil, so he cannot take the fourth seat and must take the third. Kenel must sit next to Donald, and the only seat left is the fourth. The order is Chumley, Peter, Donald, Kenel, Senthil.

Answer: D

Correct answer: ((x v y) ↔( ~x v ~y))

This fails whenever x and y have the same truth value: with both true, the left side is true and the right false, so the biconditional is false. The other three are valid - modus ponens, an implication with a self-contradictory antecedent, and the addition law - and a valid formula cannot be the false one.

Answer: A

Correct answer: True

The first equivalence makes a equivalent to \( b \lor \lnot b \), which is a tautology, so a is always true. Now suppose the antecedent \( a \land b \) holds; then b is true, and since \( b \leftrightarrow c \), c is true too, so \( a \land c \) is true and the consequent holds. The implication is therefore true in every case.

Answer: A

Correct answer: True

Take p and q both true. Then \( p \leftrightarrow q \) is true, but \( p \to \lnot q \) is \( T \to F \), which is false. A single row in which the first is true and the second false is enough to show that the first does not imply the second, so the statement that it does not imply it is correct.

Answer: B

Correct answer: He says

A declarative sentence makes a statement and can be assigned a truth value. “It’s right”, “Two may not be an even integer” and “I love you” are all declarative in form. “He says” is a fragment with no complement, asserts nothing and cannot be called true or false, so it is not a statement at all.

Answer: A

Correct answer: JAK

The first letters advance by one through the series: F, G, H, I, so the next is J. The middle letter is A throughout. The last letters run G, F, I, H, so they advance by two and alternate high and low within each pair; the pair beginning with J takes K. The answer is therefore JAK.