I had a little bit of a goof up when using quantifiers, so I thought I’d tell you all to make sure nobody else stumbles into this. It’s pretty simple, but it tripped me up at first.
When using two variables at the same time, do not put both variables under the same quantifier, like this: Ɐxy . Instead, make sure to use two quantifiers and have one variable per quantifier, like this: Ɐx Ɐy . Hope this helps!
I’m having an issue with problem 6.22. I can prove ¬(b=c) in step 11 by using ¬Intro and citing 3-10, but for some reason Fitch won’t give me the final check for ¬(b=c) in my goal box. Meaning, every step from 1-11 gets the green check but for some reason the proof as a whole does not. Anyone running up against this issue or have an idea about what I’m doing wrong?
Hey guys I’ve been stuck on deriving Dodec(f) from Small(e). It seem simple but I can’t figure it out. I’ve already derived Dodec(f) from ¬Dodec(e) and Dodec(f).
Thanks for your help.
Hi guys, I’m stuck on 6.14. I know we are supposed to use Ana Con for reasoning for two sentences to introduce there’s a contradiction but I’m getting a little stuck with what to do after that. Has anyone worked on it?