Talk:Completeness/Comments

From Wikipedia, the free encyclopedia

what do you mean, prop calculus is syntactically complete? You just said, for every wff A, either A or its negation is provable. Afaik, neither "p" nor its negation is a theorem of prop calc.