首页
>
离散数学(02324)
> 题目详情
公式（∃x）（（P（x,y）→Q（z） ）R（z））的约束变元为_______ ，自由变元为_______ 。
分类: 离散数学(02324)
发布时间: 2024-08-03 22:45
浏览量: 2
公式（∃x）（（P（x,y）→Q（z） ）
R（z））的约束变元为_______ ，自由变元为_______ 。
【正确答案】：x， y、z
【题目解析】：根据一阶逻辑符号化的概念及全称量词与存在量词，可以判断约束变元为x，而自由取值没有被约束的为y、z。
← 返回分类
返回首页 →
相关题目
令p:今天我上班，q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
设令F(x):x是火车，G(x):x是汽车，L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
下列关于小项和大项的性质表述正确的是
下图中是欧拉图的为
设有非空集合A上的全域关系S,则关系S不是
↑
R（z））的约束变元为_______ ，自由变元为_______ 。R（z））的约束变元为_______ ，自由变元为_______ 。