Lukas' Notes

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

Consistent Theory (First-Order Logic)

1 min read

first-order-logic

Definition

Consistent Theory (First-Order Logic)

A theory is consistent if there exists a structure such that for all .

Satisfaction

Theorem

For finite , consistency is equivalent to satisfiability of the conjunction:

Backlinks