Translations:The logic of classical language/135/fr
Elle est également utilisée pour prouver qu'une affirmation particulière est fausse, ou qu'un élément de connaissance particulier est logiquement compatible/incompatible avec une preuve particulière.