Eros1982

With regard to your last reply, I am wondering if I can apply Double Negation to Ay-(a?y & (Fa & Fy))... viz: 1) Ay-(a?y & (Fa & Fy)) (your suggestion...

Ok. You have been very clear with the last two replies. Let us hope I can remember all those shift quantifiers --if in the test I'll have to deal with...

I will reread your last reply tomorrow (when I will switch provability with demonstrating invalidity :) There is one more question I'd like to ask, an...

Thank so much for you for your time. I will reread your replies in the weekend when I am off, with the hope that my mind will be sharper lol :) This s...

In ten days I have to take the exam and I still do not feel ready with everything.... Here is a conclusion that I am supposed to invalidate without an...

Regarding your solution... Do you mean identity elimination with IE on line 3? If yes, does IE allow us move b from the right of the first line to the...

It helps a lot, although I have to familiarize with proving conditionals --and reread your previous replies. From what you say, I have a to find a way...

It seems I am not well acquainted with discharging assumptions, and that's the real issue here. I thought that I had discharged assumption of line 3 o...

Ok I resolved the last exercise by myself, it turned to be easy. Now there is one more conclusion. This is what I should prove (through using =E or =I...

Professor said that I can avoid the dependency numbers (on the left) in my exam :) This is good news, because when you have many assumptions in a proo...

When I read his religious views, I came up with the impression that there cannot be a proof about the existence or non-existence of God because the un...

Ok, thank you so much for your time. You have been helpful, although I will reread your reply since the numbers on the left really confuse me. I will ...

As I said, all help is appreciated for a beginner like me... and details are really important. Below I bring the second proof that gave me some hard t...

Trying my best in my forties to pass a damn logic exam... And yes, in forums many important people disguise themselves with nicknames :)

jkg20 Insofar as everything depends on the details, I think you have been helpful already. My weakest point are assumptions (and I am confused with ma...

Nagase forgot this discussion :worry: Anyone else willing to help? Thanks!

Ok here is the solution I "found", without any sequent introductions... There seem to be many assumptions and I hope I have discharged them all. 1) (A...

Ok, I appreciate your help. This is the example I am trying to resolve (from G. Forbes' book, p. 268, no answer is given though the author says there ...