first-order-logic Definition Tautology (First-Order Logic) A formula is valid, written , if for every structure and every variable assignment :