Tip:
Highlight text to annotate it
X
Here is our logic question.
I would like you to mark each sentence as "valid," which means it is always true--
you can't make it untrue--"satisfiable," which means it is sometimes true
but could also be false depending on the variable values, or "unsatisfiable,"
which means you cannot possibly make it true.
The first statement is not A.
The second is A or not A.
The third one is (A and not A) implies (B implies C).
The fourth one is (A implies B) and (B implies C) and (C implies A).
The next one is (A implies B) and not (not A or B).
The final one is ((A implies B) and (B implies C)) equivalent to (A implies C).
Remember, you might use truth tables to find out.