Translations:The logic of classical language/89/it

Supponiamo di dover dimostrare che la proposizione è vera