A truth dependent on facts. As such, it is neither logically necessary nor logically impossible. In propositional logic, a contingently true statement is true on at least one row of the truth table, in the column under the (main) operator.