5,963
edits
Template:Individual-TLP-paragraph-fr-5.512: Difference between revisions
Template:Individual-TLP-paragraph-fr-5.512 (view source)
Revision as of 17:11, 8 December 2022
, 1 year agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-fr|{{ParTLP|5.512}} « ~p » est vraie si « p » est fausse. Par conséquent, dans la proposition vraie « ~p », « p » est une proposition fausse. Comment le trait « ~ » peut-il la rendre conforme à la réalité? Ce qui nie dans « ~p » ce n'est pas le « ~ », mais ce qui est commun à tous les signes de cette notation qui nient p. | {{ParTLPwrapper-fr|{{ParTLP|5.512}} « ~p » est vraie si « p » est fausse. Par conséquent, dans la proposition vraie « ~p », « p » est une proposition fausse. Comment le trait « ~ » peut-il la rendre conforme à la réalité? | ||
Ce qui nie dans « ~p » ce n'est pas le « ~ », mais ce qui est commun à tous les signes de cette notation qui nient p. | |||
Et par conséquent la règle commune selon laquelle sont construits « ~ p », « <nowiki>~~~</nowiki>p », « ~p ∨ ~p », « ~p . ~p », etc. (''ad inf''.). Et ce qui est commun est le reflet répété de la négation. | Et par conséquent la règle commune selon laquelle sont construits « ~ p », « <nowiki>~~~</nowiki>p », « ~p ∨ ~p », « ~p . ~p », etc. (''ad inf''.). Et ce qui est commun est le reflet répété de la négation. | ||
}} | }} | ||