Talk:Conjunction elimination

Latest comment: 9 years ago by D.Lazard in topic Suggest to rename to "Conjunction elimination"

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