Semantic validity

Redirect to:

• Validity (logic)#Satisfiability