以下谓词公式中，( )是逻辑有效式。
未知类型：{'options': ['', '', '', ''], 'type': 102}
未知类型：{'options': ['', '', '', ''], 'type': 102}
举一反三
- 以下哪个不是谓词公式？ 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 在一阶逻辑中，以下公式()不是闭式. 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 下列公式中不是谓词公式的是（ ）。 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 下列谓词公式中成立的有( ) 未知类型：{'options': ['', '', '', ''], 'type': 102}
- 以下命题公式中，可满足式有（ ） 未知类型：{'options': ['', '', '', '', '', ''], 'type': 102}