Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJan 8th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexstub for _[[deduction theorem]]_

   stub for deduction theorem

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeApr 8th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexThe entry used to say (towards the end): > ...it is the [[introduction rule]] for the conditional operator in [[natural deduction]]. For clarity, I have changed that to: > it is the [[introduction rule]] for the [[implication]]/[[function type]] in [[natural deduction]]. <a href="https://ncatlab.org/nlab/revision/diff/deduction+theorem/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/deduction+theorem/5">v5</a>, <a href="https://ncatlab.org/nlab/show/deduction+theorem">current</a>

   The entry used to say (towards the end):

   …it is the introduction rule for the conditional operator in natural deduction.

   For clarity, I have changed that to:

   it is the introduction rule for the implication/function type in natural deduction.

   diff, v5, current