Talk:Conditional is not Left Self-Distributive/Formulation 1

Disproofs cannot be given by Natural Deduction. This proof is not viable and I suggest to delete it and retain only the Truth Table one. &mdash; Lord_Farin (talk) 12:50, 6 April 2014 (UTC)


 * Good call. Did as you suggested, deleted that proof and move Proof 2 to the main page. All tidied up. --prime mover (talk) 16:07, 6 April 2014 (UTC)