5,963
edits
Template:Individual-TLP-paragraph-fr-5.513: Difference between revisions
Template:Individual-TLP-paragraph-fr-5.513 (view source)
Revision as of 09:45, 11 February 2023
, 1 year agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-fr|{{ParTLP|5.513}} On pourrait dire : ce qui est commun à tous les symboles qui affirment à la fois p et q, c'est la proposition « p . q ». Ce qui est commun à tous les symboles qui affirment p ou q, c'est la proposition « p ∨ q ». | {{ParTLPwrapper-fr|{{ParTLP|5.513}} On pourrait dire : ce qui est commun à tous les symboles qui affirment à la fois p et q, c'est la proposition « p . q ». Ce qui est commun à tous les symboles qui affirment p ou q, c'est la proposition « p ∨ q ». | ||
Et ainsi pourrait-on dire : deux propositions sont opposées quand elles n'ont rien en commun; et : à chaque proposition correspond une seule négation, parce qu'il n'y a qu'une seule proposition qui lui soit complètement extérieure. | Et ainsi pourrait-on dire : deux propositions sont opposées quand elles n'ont rien en commun ; et : à chaque proposition correspond une seule négation, parce qu'il n'y a qu'une seule proposition qui lui soit complètement extérieure. | ||
Dans la notation de Russell, se montre également que « q : p ∨ ~p » dit la même chose que « q »; que « p ∨ ~p » ne dit rien. | Dans la notation de Russell, se montre également que « q : p ∨ ~p » dit la même chose que « q » ; que « p ∨ ~p » ne dit rien. | ||
}} | }} | ||