Template:Individual-TLP-paragraph-it-5.441
5.441 Questo scomparire delle costanti logiche apparenti entra in scena anche nel momento in cui «(∃x) . ~f x» dice lo stesso che «(x) . f x», o «(∃x) . f x . x = a» lo stesso che «f a».
5.441 Questo scomparire delle costanti logiche apparenti entra in scena anche nel momento in cui «(∃x) . ~f x» dice lo stesso che «(x) . f x», o «(∃x) . f x . x = a» lo stesso che «f a».