4 Reputation

One Badge

15 years, 244 days

MaplePrimes Activity

These are answers submitted by Jess123

This is an edited post, the actual post suppose to look like this:

Can someone please help me on this question ?


The Propositional Calculus “Extra Assumption” rule is, in fact, redundant.Verify this by showing how to deduce Σ


[Hint: make use of

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


Page 1 of 1