@ 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
by Band on the Run 101 Replies latest jw friends
@ 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
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