Предписание, утверждающее, что если какое-либо суждение является обоснованным, то допустимо использовать его в доказательстве, не воспроизводя его оснований, а лишь подразумевая их, дано логическим законом