Geometry.....so lost :(

jenzy569 said:
Construct a truth table for the statement.

(p ? q) ? p
Words in red below were added due to a comment by Subhotosh Khan. Thanks SK

Before considering (p ? q), let's start by thinking about what (p ? q) means.
It MEANS "If p is true, then q is true." It is silent on the issue of whether or not q is true when p is false.
So, to make a truth table for (p ? q), we need to make a table with a row for each possible truth value for each atomic proposition.
There are two atomic propositions, namely p and q.
Each has two possible truth values, namely T and F.
So the table for (p ? q) will have five rows, one to specify the propositions being evaluated, and four for the possible combinations of atomic propositions and their truth values.

p q (p ? q)
T T T
T F F
F T T
F F T

I presume you understand that (p ? q) just means [(p ? q) + (q ? p)], right?

SO WHAT IS THE FIRST ROW OF YOUR TRUTH TABLE FOR (p ? q)?
HOW MANY MORE ROWS WILL YOUR TRUTH TABLE HAVE?
 
Top