Translations:The logic of classical language/89/fr

Supposons que nous devions prouver que la proposition est vraie.