2301_78867016的博客

原创 第一篇 数理逻辑

在数理逻辑中，把能称为命题，以命题作为研究对象的逻辑称为命题逻辑。：命题的真 (ture）、假(false)统称为命题的真值。真值为真的命题称为，记作“”（也可记作“T”）真值为假的命题称为，记作“”（也可记作“F”）［例］①我正在撒谎 ②请把门关上 ③雪是黑色命题是具有确定的真值的陈述句。