Аналитические истины
1) высказывания, истинность которых обусловлена не их соответствием некоторому объекту познания, а их логической и грамматической структурой. Например, «все тела — протяженны», «А есть А», «если А = В, а В = С, то А = С», «часть меньше целого», «либо А, либо не А» и т. д.