代入

拼音 dài rù · 注音 ㄉㄞˋ ㄖㄨˋ · 2026-07-13 08:45:10
代字组词 入字组词

基本属性

  • 拼音字母dai ru
  • 拼音首字母dr
  • 注音符号ㄉㄞ ㄖㄨ

扩展释义

代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。

相关推荐