👉 In propositional logic, a statement is said to be provable if it can be derived from other statements in a deductive system. Provable means that the conclusion of the argument or proof is logically valid and follows from the premises. It is different from being easily true or impossible.
