Template:Individual-TLP-paragraph-pt-br-5.5321
5.5321 Em vez de “(x) : fx ⊃ x = a” escrevemos, por exemplo, “(∃x). fx . ⊃ . fa : ∼(∃x, y). fx . fy”.
E a proposição “sòmente um x satisfaz f( )” será “(∃x) . fx : ∼(∃x, y) . fx . fy”.
5.5321 Em vez de “(x) : fx ⊃ x = a” escrevemos, por exemplo, “(∃x). fx . ⊃ . fa : ∼(∃x, y). fx . fy”.
E a proposição “sòmente um x satisfaz f( )” será “(∃x) . fx : ∼(∃x, y) . fx . fy”.