Advanced Search

Jess123

4 Reputation

One Badge

16 years, 162 days
Contact Jess123

MaplePrimes Activity


These are answers submitted by Jess123

Edited Posted...

Jess123 4
April 07 2008
0 0

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 Σ

without

[Hint: make use of

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

 

Page 1 of 1