A compound proposition that is false in every row of its truth table. Canonical example: p ∧ ¬p. Distinct from the inferential 'contradicts' edge-type relation between claims — this is the propositional-form concept.
A compound proposition that is false in every row of its truth table. Canonical example: p ∧ ¬p. Distinct from the inferential 'contradicts' edge-type relation between claims — this is the propositional-form concept.