5,963
edits
Template:Individual-TLP-paragraph-fr-5.46: Difference between revisions
Template:Individual-TLP-paragraph-fr-5.46 (view source)
Revision as of 09:43, 11 February 2023
, 1 year agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-fr|{{ParTLP|5.46}} Si l'on introduisait correctement les signes logiques, on aurait du même coup déjà introduit le sens de toutes leurs combinaisons; donc, non seulement « p ∨ q », mais encore « ~(p ∨ ~q) », etc., etc. On aurait introduit déjà du même coup l'effet de toutes les seules combinaisons possibles de parenthèses. Et il serait par là devenu clair que les authentiques signes primitifs généraux ne sont pas « p ∨ q », « (∃x) . fx », etc., mais plutôt la forme la plus générale de leurs combinaisons. | {{ParTLPwrapper-fr|{{ParTLP|5.46}} Si l'on introduisait correctement les signes logiques, on aurait du même coup déjà introduit le sens de toutes leurs combinaisons ; donc, non seulement « p ∨ q », mais encore « ~(p ∨ ~q) », etc., etc. On aurait introduit déjà du même coup l'effet de toutes les seules combinaisons possibles de parenthèses. Et il serait par là devenu clair que les authentiques signes primitifs généraux ne sont pas « p ∨ q », « (∃x) . fx », etc., mais plutôt la forme la plus générale de leurs combinaisons. | ||
}} | }} | ||