5,963
edits
Template:Individual-TLP-paragraph-it-5.5321: Difference between revisions
Template:Individual-TLP-paragraph-it-5.5321 (view source)
Revision as of 16:37, 2 April 2022
, 2 years agono edit summary
(Bot: Automated import of articles) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{ParTLPwrapper-it|{{ParTLP|5.5321}} Anziché «(''x'') : ''f'' ''x'' ⊃ ''x'' | {{ParTLPwrapper-it|{{ParTLP|5.5321}} Anziché «(''x'') : ''f'' ''x'' ⊃ ''x'' <nowiki>=</nowiki> ''a''» scriviamo quindi ad es. «(∃''x'') . ''f'' ''x''. ⊃ .''f'' ''a'' : ~(∃''x'', ''y'') . ''f'' ''x'' . ''f'' ''y''». | ||
E la proposizione «un ''solo'' ''x'' soddisfa ''f'' ( )» suona: «(∃''x'') . ''f'' ''x'' : ~(∃''x'', ''y'') . ''f'' ''x'' . ''f'' ''y''». | E la proposizione «un ''solo'' ''x'' soddisfa ''f'' ( )» suona: «(∃''x'') . ''f'' ''x'' : ~(∃''x'', ''y'') . ''f'' ''x'' . ''f'' ''y''». | ||
}} | }} | ||