prove by contradiction and contraposition, (a | b and ~( a | c) ) --> ~( a | b+c)

Printable View