Логика и рассуждения: Общезначимость формул в логике