Friday, October 06, 2006

10-4-06

An argument in predicate logic can be tested for soundness and completeness, or soundness and effectiveness, or completeness and effectiveness, but not all three.

No comments: