If I have A v B given in a logic proof is it legal to say A is true so that I can use it to conclude C is true from the statement if A then C.
I know that I can take A from A and B
to conclude C is true from if A then C.
But.. can I do the same thing with the or statement?
1 answer