Question: A Propositional Calculus Problem

 

Verify this by showing how to deduce Σ

 The Propositional Calculus “Extra Assumption” rule is, in fact, redundant.∪ {B} : A from Σ : A in several steps

without

[Hint: make use of

 

using “Extra Assumption”.-intro and -elim.]

 

Please Wait...