用真值表验证(┓q∨p)├(p→q)是否为有效式。
p q ┓q ┓q∨p p→q （┓q∨p）├（p→q） 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 有上述真值表知，（┓q∨p）├（p→q）是无效式
用真值表验证(┓q∨p)├(p→q)是否为有效式。
p q ┓q ┓q∨p p→q （┓q∨p）├（p→q） 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 有上述真值表知，（┓q∨p）├（p→q）是无效式
