Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Unsatisfiable Formula (First-Order Logic)

1 min read

Definition

Unsatisfiable Formula (First-Order Logic)

A formula is unsatisfiable if there is no structure and no variable assignment such that .

Backlinks