5,963
edits
Template:Individual-TLP-paragraph-fr-4.1252: Difference between revisions
Template:Individual-TLP-paragraph-fr-4.1252 (view source)
Revision as of 17:39, 21 May 2023
, 1 year agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 5: | Line 5: | ||
De même la série des propositions | De même la série des propositions | ||
{{p indent|« aRb »,}} | |||
{{p indent|« (∃ x) : aRx . xRb »,}} | |||
{{p indent|« (∃ x,y) : aRx . xRy . yRb », etc.}} | |||
(Si b est dans une de ces relations avec a, je nomme b un successeur de a.) | (Si b est dans une de ces relations avec a, je nomme b un successeur de a.) | ||
}} | }} | ||