Return to Revisions

1 of 2

asked May 29, 2013 at 19:51

163
1
5

Deduction theorem

Is there an axiomatic system where the deduction theorem does not hold?

asked May 29, 2013 at 19:51

163
1
5