命题符号化与真值表 — 数学选择题
题目
设 p：服务器断电，q：数据库损坏。将自然语言命题“只有服务器断电，数据库才会损坏”正确符号化后，考察该公式在赋值 p=F、q=T 下的真值，并判断该公式属于哪种类型。下列结论正确的是
A. 真值为假，该公式是可满足公式
B. 真值为假，该公式是永假公式
C. 真值为真，该公式是可满足公式
D. 真值为真，该公式是永真公式
《命题逻辑》其他练习题
相关题目
数学
选择题
设 p：系统重启，q：程序报错。将命题“除非系统重启，程…
命题符号化与真值表
数学
选择题
设连续时间马尔可夫链的状态空间为 {0,1}，转移速率为 q₀₁…
柯尔莫哥洛夫前进与后退方程
数学
选择题
设 X(t)=∑ᵢ₌₁ᴺ⁽ᵗ⁾Yᵢ 为复合泊松过程，其中 N(t) 为泊…
复合泊松过程的独立增量性
数学
选择题
计数过程 {N(t), t≥0} 满足 N(0)=0，且对任意互不相交的时间区…
泊松过程的定义及其基本性质
数学
选择题
对矩阵 A 的第一列 (1,3,4)ᵀ，取作用于后两个分量的 Householder…
Householder变换与约化
数学
选择题
对方程组 4x₁+x₂−x₃=4，−x₁+5x₂+2x₃=9，2x₁−x₂+6x₃=12…
高斯-赛德尔迭代法