I am trying to solve this but I am not too sure whether I am doing this right
p V ( q ʌ r)
----------
p V q
and I know this can be proved using V-E rule.
But I just don't know the step maybe because i am new to this thing. Please help me..
I am trying to solve this but I am not too sure whether I am doing this right
p V ( q ʌ r)
----------
p V q
and I know this can be proved using V-E rule.
But I just don't know the step maybe because i am new to this thing. Please help me..
There are several flavors of natural deduction: Fitch style, tree style with formulas as nodes and tree style with sequents as nodes. The following is a derivation in tree style with formulas (the picture is clickable).
Fee free to ask further questions if this format is not clear.