"P当且仅当q"与"要么P要么q"这两个逻辑形式是()。
A:等值式
B:矛盾式
C:不同的逻辑常项和变项
D:相同的逻辑常项和变项
出自:法学