Talk:Literal (mathematical logic)
From Wikipedia, the free encyclopedia
 |
|||||
| Mathematics rating: | Stub Class | Low Priority | Field: Foundations, logic, and set theory | ||
| Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article. | |||||
Is this a stub or is there just nothing else to say about the topic?
Is the literal 'a' pure in a formula such as a /\ ! (!a \/ b) I would say yes. The issue is that the phase of a literal should be considered only in the NNF of the formula. Not just for the purpose of defining when is it pure. In general - when considering the set of literals that a formula has, it should be defined with respect to NNF. —Preceding unsigned comment added by 71.199.115.180 (talk) 03:53, 31 August 2007 (UTC)
