Negation elimination rule in natural deduction

[drguildo]

The both explanations are the samething.

Hehehe, I figured you held this fundamentally incorrect view. I suppose it's what leads you to post comments (unless I misinterpreted you) such as #28. That is, if somebody does not understand one (or two, three etc.) explanation of something, then they cannot understand any explanation of it and should give up.

I shan't bother explaining why this isn't the case as if you haven't realized it by now then, according to you, you never will.

 

[Kittel Knight]

Post #19:

...this is a contradiction! And thanks to that, it is true I will fly for 2 hours.
As you see, if there is a contradiction, then we can conclude anything we want!

Post #29:

I found this nice explanation on Everything2:
...
We conclude that if I am and am not the Pope, then roses are blue.

Post #33:

The both explanations are the samething.

Agreed!


Post #36:

I figured you held this fundamentally incorrect view.

Oops! Those explanations really are equivalents!
I hope some day you understand this...

 

[drguildo]

Oops! Those explanations really are equivalents!
I hope some day you understand this...

Even if the intended meanings are equivalent, then thanks in part to the ambiguity of natural language and differences in interpretation, the end results certainly aren't. I hate to break it to you but your command of English isn't that great and I found the explanation I pasted much easier to parse.

Nice try removing the bulk of the second quote, though. You know, the bit that actually explained why.

 

[Kittel Knight]

Even if the intended meanings are equivalent, then thanks in part to the ambiguity of natural language and differences in interpretation, the end results certainly aren't. I hate to break it to you but your command of English isn't that great and I found the explanation I pasted much easier to parse.

Nice try removing the bulk of the second quote, though. You know, the bit that actually explained why.

Yes, I am very sorry you have difficulties in natural language interpretation.

That's why I've removed the bulk of the first and second quotes. You know, the bit where trivial logic is used to prove those "mysteries".

Anyway, don't believe FernBarc: even if it seems too hard to understand this kind of things, keep reading your book again, and again...and again!

Don't give up: some day you will finally learn logic, and this "chimera" will be a distant past...

 

[LukeD]

Removed post.. late night... bad posting time...