Definition:Falsifiable

Definition
Let $\LL$ be a logical language.

Let $\mathscr M$ be a formal semantics for $\LL$.

Also see

 * Definition:Satisfiable
 * Definition:Tautology
 * Definition:Contradiction