Assumption | Outcome | |
Forced into a Contradiction in Every Row of the Partial Truth Table | Not Forced into a Contradiction in Every Row of the Partial Truth Table | |
A Given Proposition Is False | The Proposition Is Tautologous | The Proposition Is Either Self-Contradictory or Contingent |
A Given Proposition Is True | The Proposition Is Self-Contradictory | The Proposition Is Either Tautologous or Contingent |
Two or More Propositions Are Consistent (with One Another) | The Propositions Are Inconsistent (with One Another) | The Propositions Are Consistent (with One Another) |
A Given Argument Is Invalid | The Argument Is Valid | The Argument Is Invalid |