Quote:
Originally Posted by But
Don't change the topic again.
|
I'm not. The topic was you providing a proof, which you're still not doing.
Quote:
Originally Posted by But
In the meantime, why don't you explain to me why I should use this exact form of "ND proof" you're talking about...
|
You said you were going to construct a proof for me in a language I can understand, so I suggested predicate logic and natural deduction. Your response was, and I quote, "Why not, sounds good".