下载APP
举一反三
【单选题】在谓词演算中，P(a)是的有效结论，其理论依据是( )?
A.
存在量词消去规则（EI）
B.
全称量词推广规则（UG）
C.
存在量词推广规则（EG）
D.
全称量词消去规则（UI）
【单选题】在谓词演算中：P(a)是"xP(x)的有效结论，其理论根据是
A.
全称量词消去规则 (US)
B.
全称量词引入规则 (UG)
C.
存在量词消去规则 (ES)
D.
存在量词引入规则 (EG)
【单选题】与谓词演算公式Ø ( "x) ( "y) ( P (x, y)Ú Q (x, y) )等价的公式是( )
A.
( $x) ( "y) (Ø P (x, y)Ú Ø Q (x, y) )
B.
("x) ($y) (Ø P (x, y)Ú Ø Q (x, y) )
C.
( $x) ( $y) (Ø P (x, y)Ù Ø Q (x, y) )
D.
Ø ( $x) ( $y) (Ø P (x, y)Ú Ø Q (x, y) )