Template:Individual-TLP-paragraph-fr-5.515: Difference between revisions

Template:Individual-TLP-paragraph-fr-5.515 (view source)

6 bytes added , 1 year ago

no edit summary

5,963

edits

@@ Line 1: / Line 1: @@
 {{ParTLPwrapper-fr|{{ParTLP|5.515}} Il doit se montrer dans nos symboles que ce qui est combiné par «&nbsp;∨&nbsp;», «&nbsp;.&nbsp;», etc., ce doit être des propositions.
-Et c'est en effet le cas, car le symbole «&nbsp;p&nbsp;» et le symbole «&nbsp;q&nbsp;» présupposent d'eux-mêmes les «&nbsp;∨&nbsp;», «&nbsp;~&nbsp;», etc. Si le signe «&nbsp;p&nbsp;» dans «&nbsp;p ∨ q&nbsp;» ne tient pas lieu d'un signe complexe, il ne peut avoir de sens pris isolément; et les signes «&nbsp;p ∨ p&nbsp;», «&nbsp;p . p&nbsp;» équivalents à «&nbsp;p&nbsp;» ne peuvent non plus avoir aucun sens. Mais si «&nbsp;p ∨ p&nbsp;» n'a aucun sens, «&nbsp;p ∨ q&nbsp;» ne peut en avoir un.
+Et c'est en effet le cas, car le symbole «&nbsp;p&nbsp;» et le symbole «&nbsp;q&nbsp;» présupposent d'eux-mêmes les «&nbsp;∨&nbsp;», «&nbsp;~&nbsp;», etc. Si le signe «&nbsp;p&nbsp;» dans «&nbsp;p ∨ q&nbsp;» ne tient pas lieu d'un signe complexe, il ne peut avoir de sens pris isolément&nbsp;; et les signes «&nbsp;p ∨ p&nbsp;», «&nbsp;p . p&nbsp;» équivalents à «&nbsp;p&nbsp;» ne peuvent non plus avoir aucun sens. Mais si «&nbsp;p ∨ p&nbsp;» n'a aucun sens, «&nbsp;p ∨ q&nbsp;» ne peut en avoir un.
 }}