Example 3

We will prove the following argument:

A v G
E  ⊃ ~A
E & B              
G v R

 

Try describing the strategy on your own. Notice that "R" isn't in any of the premises. But "G" is. So derive "G" and use what rule to get "(G v R)"?

 

 

close