help with logic proof (this "should" be really basic)
Hey I am new to logic (I've just started a masters)
I can't for the life of me prove this using only the natural deduction inference rules:
A --> B |- ¬A v B
I can do it easily in the other direction but I cannot do it in the above...