Provable Argument

logic

Definition

Provable Argument

An argument is called provable if there exists a proof of the conclusion from the premises.

Equivalently, the conclusion is derivable from the premises, written $\Gamma ⊢Q$.