单项选择题

公式(P→Q)↔(¬P∨Q)的类型是
A、重言式
B、矛盾式
C、可满足式
D、等价式

你可能感兴趣的试题

单项选择题

iGEM是2003年由MIT（麻省理工学院）创办。（）

A．对
B．错

多项选择题

国际贸易中的出口价格表述应包括:
A、贸易术语
B、增值税率
C、货币种类
D、计价单位