Jose Guilherme

['Member']Joined: February 21, 2019 at 17:46Last active: February 22, 2019 at 12:041 discussions3 comments

Discussions (1)

Exercise from Bonevac's "Deduction"

February 21, 2019 at 18:02 6 comments Logic & Philosophy of Mathematics

Comments

In: Exercise from Bonevac's "Deduction" — view comment

So I will show you where currently lies my problem. So, I’m trying a reduction but I’m not seeing how to get the contradiction. I’m guessing that I’ve...

February 22, 2019 at 11:18

In: Exercise from Bonevac's "Deduction" — view comment

Yes. It's precisely that!

February 21, 2019 at 20:53

In: Exercise from Bonevac's "Deduction" — view comment

Oh... my bad (I'm portuguese, by the way, so some errors in my english are possible). <-> is the conective for the logical equivalence. So in the exer...

February 21, 2019 at 18:46