In the truth table for the statement form ( p • q) $\supset$ p, the column of truth values underneath the main connective should be TTTT.Therefore, this statement form is a:

Question

Quizplus · Accepted Answer

A statement form is a tautology if its truth table shows that it evaluates to true (T) under all possible truth value assignments to its component propositions. In this case, the truth table shows that (p • q) → p is true under all possible truth value assignments, making it a tautology.

In the Truth Table for the Statement Form ( P ⊃\supset⊃

In the Truth Table for the Statement Form ( P $\supset$