moran_123的博客

在自然语言中,前件为假,不管结论真假,整个语句的意义，往往无法判断。但对于数理逻辑中的蕴涵联结词来说,当前件P为假时,不管Q的真假如何，则P→Q都为真。此时称为“善意推定”。都表示P是Q的前提条件一个特定的命题是一个常值命题,它不是具有值“T"(“1”) ,就是具有值“F"(“0")。一个任意的没有赋予具体内容的原子命题是一个变量命题,常称它为命题变量(或命题变元)( propositional variable) ,该命题变量无具体的真值,它的变域是集合{T, F}(或{0, 1})。如果公式G在解

1