Re: completeness and soundness

William Elliot <marsh@xxxxxxxxxxxxxxxxxx> writes:

> > Can someone explain to me what completeness and soundness are ?
> > Thank you billion times.

> Completeness: for all sentences S, |- S or |- ~S

The poster probably (since he mentioned soundness) was wondering
about the semantic concept of completeness, as in the completeness
theorem for first order logic.

> Soundness: for all sentences S, not(|- S & ~S)

This is not soundness, but consistency.

.

Relevant Pages

  • Re: Logic an N.
    ... And uch else besides. ... Proofs /disproofs of completeness, soundness, decidability are issues ...
    (sci.logic)
  • Re: completeness and soundness
    ... >> Can someone explain to me what completeness and soundness are? ... David C. Ullrich ... Prev by Date: ...
    (sci.logic)
  • Re: Logic an N.
    ... >> completeness, soundness, decidability. ... And uch else besides. ...
    (sci.logic)
  • Re: Logic an N.
    ... completeness, soundness, decidability. ...
    (sci.logic)
  • Re: Display Settings Revert to 640x480x8 on reboot
    ... Notice that I did not suggest that brevity was preferable to completeness. ... the general tenor of responses is often likely ... the poster needs to make it ...
    (microsoft.public.windowsxp.general)