Find an Online Tutor Now

Nicole C.

asked • 03/17/20

Please explain their relationship, and explain how they reduce the question of completeness to a proof of the inconsistency lemma reproduced below.


a. Γ ⊢ P

b. Γ ⊨ P

c. Γ ∪ ~{P} is inconsistent in SD

d. Γ ∪ ~{P} is truth-functionally inconsistent

Consistency lemma

If a set Γ of sentences of SL is consistent in SD, then Γ is also

truth-functionally consistent.

1 Expert Answer


Jonathan K. answered • 03/24/20

New to Wyzant

MA in Philosophy, taught college Philosophy for several years

Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.
Most questions answered within 4 hours.


Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.