Question

use a truth table to determine whether or not the argument given in symbolic form is valid or invalid.

premise 1: \\(p \
ightarrow q\\)
premise 2: \\(\sim p\\)
conclusion: \\(\therefore q\\)

a. choose the compound statement you must evaluate to determine whether the argument is valid or invalid.

\\(\bigcirc (p \
ightarrow q) \wedge (\sim p) \
ightarrow q\\)
\\(\bigcirc (p \
ightarrow q) \vee (\sim p) \
ightarrow q\\)
\\(\bigcirc (p \
ightarrow q) \wedge (\sim q) \
ightarrow p\\)

b. create a truth table for the argument you must evaluate in part a. then, enter the correct truth values for the last column of the truth table for the compound statement that you evaluated.

Explanation:

Formulate the conditional statement representing the argument

$$
LATEXBLOCK0
$$

Construct the truth table to find the final column values

$$
LATEXBLOCK1
$$

Determine the truth values for the final column

$$
LATEXBLOCK2
$$

Answer:

Question a

• **\([(p

ightarrow q) \wedge (\sim p)]
ightarrow q\) (Correct answer)**

• \([(p

ightarrow q) \vee (\sim p)]
ightarrow q\)

• \([(p

ightarrow q) \wedge (\sim q)]
ightarrow p\)

Question b

The truth values for the last column of the truth table from top to bottom are:
T, T, T, F