Asked by John

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?
There are no human answers yet.
There are no AI answers yet. The ability to request AI answers is coming soon!