【数理逻辑】命题和联结词 ( 命题 | 您所在的位置:网站首页 › Miranda数据库最简单三个读法 › 【数理逻辑】命题和联结词 ( 命题 |
1.命题符号化 : 将 命题 符号化 , 记为 p , q , r , ⋯ p , q , r , \cdots p,q,r,⋯ , 类似于 代数 中 使用 a a a 代表 1 数字一样 ; 2.符号是变量 : ① 代表数字 : 在代数中 , 使用字母 a a a 代替 数字 , 具体代表哪个数字 并不确定 , 只知道这是个数字即可 ;② 代表命题 : 同理 , 命题符号 p , q , r p, q, r p,q,r 代替 命题 , 具体代表哪些命题 也不确定 , 只知道这是个命题即可 ;3.常元 和 变元 : ① 常元 : 代数中 字母 a 确定的表示某个数字时 , 称为 常元 ;② 变元 : 代数中 字母 a 表示不确定的数字时 , 称为 变元 ;4.命题常元 和 命题变元 : ①命题常元 : 命题 p p p 代表 确定 的命题时 , 称为 命题常元 ;②命题变元 : 命题 p p p 代表 不确定 的命题时 , 称为 命题常元 ; |
CopyRight 2018-2019 实验室设备网 版权所有 |