prove a --> ( b V c ) using contradiction method and combination of inference rules and equivalence laws from these premises : 1. a --> ( d V b ) 2. d --> c
The Answer to the Question
is below this banner.
Here's the Solution to this Question
Let us prove using the method by contradiction.
Suppose that the premises and are true, but the conclusion is false.
The definition of implication implies is true and is false, and hence definition of disjunction implies is false and is false. Since is true and is false, we conclude that is false. Consequently, is false, and thus is false. This contradiction proves the premises and imply the conclusion