Translations:The logic of classical language/225/en

Basically, given the compatibility of the assertions