Hi, I have got a question here.
Is the logical conclusion B → 'A, C → A, C 'B correct? First I do not understand what the statement C 'B means exactly. I googled and it says it means 'B is provable from C but I still do not understand what this is meant. I created a truth table for A, B, C and B → 'A, C → A. I do not know whether that helps? Maybe from the truth table I can get the answer? Any help is appreciated and thanks in advance!