Jump to content

Talk:Conjunction elimination

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Suggest to rename to "Conjunction elimination"

[edit]

To my knowledge, the rule the article is about is usually called "conjunction elimination", or "and elimination";[1] I have never seen it called "simplification". The article had no references at all before 4 Mar 2012, when Gregbard gave at least three slovenly ones, which remained unimproved up to now. So since it's pretty impossible to verify the use of "simplification", that name shouldn't be claimed in the article, and the title should be renamed. After all, "simplification" is a rather general term which is "occupied" here without any verifiable source. - Jochen Burghardt (talk) 12:27, 31 January 2015 (UTC)[reply]

  1. ^ David A. Duffy (1991). Principles of Automated Theorem Proving. New York: Wiley. Sect.3.1.2.1, p.46

 Done D.Lazard (talk) 11:30, 10 March 2015 (UTC)[reply]