Intuitionistic Logic: introduction and elimination rules for the universal and existential quantifiers

Question

Are the natural deduction introduction and elimination rules for the universal and existential quantifiers in Intuitionistic Logic the same as those for Classical Logic?

score 3 · Answer 1 · edited Apr 13 '17 at 12:21

3

Yes, they are.

See Intuitionistic Logic.

In terms of "standard" natural deduction rules, the only rule rejected by Intuitionistic Lofic is RAA rule (or Double Negation, equivalent to LEM - see this post).

edited Apr 13 '17 at 12:21

Community

1

answered May 12 '15 at 20:57

Mauro ALLEGRANZA

94,169

Great. Thanks ever so much. – user65526 May 12 '15 at 21:02

Intuitionistic Logic: introduction and elimination rules for the universal and existential quantifiers

1 Answers1