User contributions for 86.127.33.116
For 86.127.33.116 talk block log logs filter log
30 November 2020
- 12:2212:22, 30 November 2020 diff hist +394 User talk:Jochen Burghardt →Unneeded links (at mathematical induction)?: new section
- 12:1512:15, 30 November 2020 diff hist +299 Talk:Mathematical induction →The structure of the inductive step as implication/conditional sentence: new section
- 12:1112:11, 30 November 2020 diff hist +252 Talk:Mathematical induction →Chain of succesive implications p(1)→p(2)→.....p(k)→p(k+1)→...p(n): the structure of the inductive step
- 00:5500:55, 30 November 2020 diff hist +118 Mathematical induction →Description: material conditional of the inductive step Tag: Reverted
- 00:4300:43, 30 November 2020 diff hist +39 Mathematical induction →Description: the antecedent and the consequent of the inductive step Tag: Reverted
- 00:3400:34, 30 November 2020 diff hist +25 Material conditional conditional sentence
- 00:2800:28, 30 November 2020 diff hist +24 Mathematical induction →Description: logical consequence Tag: Reverted
- 00:1500:15, 30 November 2020 diff hist +25 Prenex normal form →Implication: conditional
 | This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |