对思维形式结构的代入是指将一个抽象的思维形式，如逻辑命题中的逻辑变项，替换为具体的词项或命题。通过这种替换，原本不表达具体内容的思维形式就被赋予了具体内容，从而具有了真假值。例如，在逻辑命题“所有S是P”中，如果用“杨树”替换“S”，用“落叶乔木”替换“P”，则得到具体命题“所有杨树是落叶乔木”，这个命题就有了真假性。
逻辑学中，有些思维形式结构，不论如何代入具体词项或命题，总是表达真实的思维内容，这类思维形式被称为逻辑规律。而那些在某些代入下表达虚假内容，在其他代入下表达真实内容的思维形式，则可能构成逻辑矛盾