Homework Help: 6.11

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.

4 thoughts on “Homework Help: 6.11

  1. Alexander Ottenberg

    Hi Carlos,

    I was stuck on this one for a while too…
    I’d echo what both Nate and Liz were suggesting. Experiment with Tarski’s for a while, I only used Fitch at first too.


  2. Elizabeth Sheedy

    Hi Carlos,

    Something that really helped me with 6.11 is trying both Fitch and Tarski‘s World to determine whether the argument is valid. Tarski‘s World ended up working for me after experimenting with blocks e and f.


      1. Nathan MacDonald

        Hi Carlos,

        If you determine that the proof is not valid (that is, there is a way for the conclusion to be false when all of the premises are true), then you only need to build a counter example using Tarski’s world and you don’t need to use Fitch. I recommend you experiment with worlds where the conclusion is false but all the premises are true.


Leave a Reply