数理逻辑 1. 第二章 命题逻辑的基本概念
1. 原子命题时命题公式2. 若A,B时命题公式,则A,B与五个基本逻辑运算的组合均为命题公式3. 有限次使用1与2复合所得的结果为命题公式定义2.1.2 指派A(p1, p2, ..., pn)中的n个命题变元p1, p2, ..., pn的任意一种真值赋值称为指派,此时公式A有一个确定的真值。指派常用符号α表示。若对公式A的一个给定的指派α,使得A的真值为真,则记为α(A)=T,反之α(A)=F。若公式A对任一真值指派其真值均为真,则称为重言式/永真式。
原创
2023-10-17 07:40:52 ·
308 阅读 ·
0 评论