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

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

6 bytes added , 1 year ago

no edit summary

5,963

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-fr|{{ParTLP|5.532}} Et de même, non pas «&nbsp;(∃x,y) . f(x,y) . x <nowiki>=</nowiki> y&nbsp;» mais «&nbsp;(∃x) . f(x,x)&nbsp;»; ni «&nbsp;(∃x,y) . f(x,y) . ~x <nowiki>=</nowiki> y)&nbsp;», mais «&nbsp;(∃x,y) . f(x,y)&nbsp;».
+{{ParTLPwrapper-fr|{{ParTLP|5.532}} Et de même, non pas «&nbsp;(∃x,y) . f(x,y) . x <nowiki>=</nowiki> y&nbsp;» mais «&nbsp;(∃x) . f(x,x)&nbsp;»&nbsp;; ni «&nbsp;(∃x,y) . f(x,y) . ~x <nowiki>=</nowiki> y)&nbsp;», mais «&nbsp;(∃x,y) . f(x,y)&nbsp;».
 (Donc, au lieu de la formule de Russell «&nbsp;(∃x,y) . f(x,y)&nbsp;», j'écris «&nbsp;(∃x,y) . f(x,y) . ∨ . (∃x) . f(x,x)&nbsp;».)
 }}