的其他寫法:$≣$; 量限詞(quantifier):$∃, ∀$(有些人認為量限詞是非邏輯 ... Assignment function的定義域是所有變數的集合(而不是structure ...
確定! 回上一頁