![矛盾式](https://imgs.zsbeike.com/imgs/D/D10098/d10098.0220.1[06720f217114].png)
 亦称“常假式”、“永假式”、“不可满足式”。①命题逻辑中其值常假的真值形式。一个真值形式,若无论其所含命题变元取何值,其值总为假,则该真值形式就是矛盾式。例如,p∧⌝p、⌝(p∨⌝p)、p∧⌝(p∨q)等都是矛盾 (本文共 460 字 , 1 张图 ) [阅读本文] >>
海量资源,尽在掌握
 亦称“常假式”、“永假式”、“不可满足式”。①命题逻辑中其值常假的真值形式。一个真值形式,若无论其所含命题变元取何值,其值总为假,则该真值形式就是矛盾式。例如,p∧⌝p、⌝(p∨⌝p)、p∧⌝(p∨q)等都是矛盾 (本文共 460 字 , 1 张图 ) [阅读本文] >>