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

Latest revision as of 09:47, 11 February 2023

5.532 Et de même, non pas « (∃x,y) . f(x,y) . x = y » mais « (∃x) . f(x,x) » ; ni « (∃x,y) . f(x,y) . ~x = y) », mais « (∃x,y) . f(x,y) ».

(Donc, au lieu de la formule de Russell « (∃x,y) . f(x,y) », j'écris « (∃x,y) . f(x,y) . ∨ . (∃x) . f(x,x) ».)

@@ 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;».)
 }}