Help with Mathematical Concepts, Not Arithmetic

by Band on the Run 101 Replies latest jw friends

  • talesin
    talesin

    @ JeffT,, I get it.. gosh, my years studying accounting to tell the truth, were boring... but I learned a lot, and actg principles teach a lot. I'm grateful for what I learned.

    xo

    tal

  • breakfast of champions
    breakfast of champions

    STAPLER - thanks for the help. I should have stipulated that the assignment was to do the proof with just booleans in Fitch format, without the use of the material conditional. After sleeping on it, I woke up and BING-BANG-BOOM, the answer came to me:

    Premises:

    1) A || B

    2) ~B || C

    Goal:

    A || C

    3) A assume A

    4) A || C by || intro 3

    5) B assume B

    6) ~B assume ~B

    7) Bottom contradiction 5,6

    8) A || C bottom elim 7

    9) C assume C

    10) A || C by || intro 9

    11) A || C by || elim 2, 6-10

    12) A || C by || elim 1, 3-4, 5-10

Share this

Google+
Pinterest
Reddit