5,963
edits
Template:Individual-TLP-paragraph-fr-6.1264: Difference between revisions
Template:Individual-TLP-paragraph-fr-6.1264 (view source)
Revision as of 09:48, 11 February 2023
, 1 year agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-fr|{{ParTLP|6.1264}} La proposition pourvue de sens dit quelque chose, et sa démonstration montre qu'il en est comme elle le dit; en logique, chaque proposition est la forme d'une démonstration. | {{ParTLPwrapper-fr|{{ParTLP|6.1264}} La proposition pourvue de sens dit quelque chose, et sa démonstration montre qu'il en est comme elle le dit ; en logique, chaque proposition est la forme d'une démonstration. | ||
Chaque proposition de la logique est un ''modus ponens'' figuré en signes. (Et le ''modus ponens'' ne peut être exprimé par une proposition.) | Chaque proposition de la logique est un ''modus ponens'' figuré en signes. (Et le ''modus ponens'' ne peut être exprimé par une proposition.) | ||
}} | }} | ||