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!
Never heard of them, and we were never taught. Even these questions, we are just given, we are never taught. Apparently the assumption is that we have to look for answers from books, search in internet etc. and do it all by ourself or sth. like that. But yeah I really never heard that. For me, if it is possible to answer the question using Truth table, that would be really good for me as it is easier and simple for me to understand.