设A，B为两个命题公式A〈═〉B，当且仅当A↔B为一个重言式
对
举一反三
内容
- 0
设A为含命题变项p、q、r的重言式,则公式A((pq)r)的类型为_____。(矛盾式,重言式,可满足式)
- 1
下面哪一句话对命题范式的描述是不正确的（ ） A: 有限个简单合取式构成的析取式称为析取范式 B: 有限个简单析取式构成的合取式称为合取范式 C: 一个析取范式是不成立的，当且仅当它包含一个不成立的简单合取式 D: 一个合取范式是成立的，当且仅当它的每个简单析取式都是成立的
- 2
设p、q是两个命题，当且仅当p、q的真值均相同时，p↔q的值为T.
- 3
P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式
- 4
P,Q为两个命题，当且仅当（ ）时，[img=54x23]17de8af7ab337c2.png[/img]的真值为0。