Assume that we know that for all well formed formulas ϕ we have` (((¬ϕ) → ϕ) → ϕ) (∗) In this question you are asked to show thatfor all well formed formulas α, we also have ` ((α → (¬α)) → (¬α))1 (a) Rephrase the above statement using the deduction theorem. (b)Fill in the following Hilbert proof for the rephrased statement: 1.. . . h(∗)i 2. . . . hCPi 3. . . . hAssumptioni 4. . . . hMP 3+2i5. . . . hMP 4+1i
OR
PayPal Gateway not configured
OR
PayPal Gateway not configured