Typo, the order of "if" and "only if" in text?

[calvinsilly]

Typo location:

OpenLogic/content/first-order-logic/proof-systems/introduction.tex

Line 94 in ca7cef2

$\Gamma$ is consistent if and only if it is satisfiable. Here, the

The bit

(consistency guarantees satisfiability)

and

(satisfiability guarantees consistency)

are in the wrong order in the following paragraph:

$\Gamma$ is consistent if and only if it is satisfiable. Here, the "if" direction amounts to completeness (consistency guarantees satisfiability), and the "only if" direction amounts to soundness (satisfiability guarantees consistency).

it should instead be:

$\Gamma$ is consistent if and only if it is satisfiable. Here, the "if" direction amounts to completeness (satisfiability guarantees consistency), and the "only if" direction amounts to soundness (consistency guarantees satisfiability).

Thanks, hopefully I haven't missed anything.

[rzach]

Thanks!