Satisfiable Formula (First-Order Logic)

first-order-logic

Definition

Satisfiable Formula (First-Order Logic)

A formula is satisfiable if there exists a structure and a variable assignment such that .