全稱t詞消除規則(elimination rule of univer- sal quantifier)謂詞演算的一種語法規則 全稱辣備套愉t詞臭雄乘消除厚說祖規則頸戲凶灶(elimination rule of univer- sal quantifier)謂詞演算陵您的一種語法規戶體牛則.即店循乃公式式中t為項.
