查询结果
谓词演算
wèi cí yǎn suàn
ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
「谓词演算」是什么意思？
更新 2026-07-10 20:03:44
- 拼音字母wei ci yan suan
- 首字母wcys
- 注音符号ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ
扩展释义
谓词演算是数理逻辑最基本的形式系统，其又被称为一阶逻辑。一个可以回答真假的命题，不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词。个体表示某一个物体或元素，量词表示数量，谓词表示个体的一种属性 。例如用P(x)表示x是一棵树，则P(y)表示y是一棵树，用Q(x)表示x有叶 ，则Q(y)表示y也有叶。这里P、Q是一元谓词，x，y是个体，公式"∀(P(x)→Q(x))表示每一棵树都有叶子 ，这里"是全称量词表示“每一个” 。公式∃ x(P(x)∧Q(x))表示存在有叶子的树，∃这里是存在量词，表示“至少存在一个”。
拆字组词
相关词语
- 一切皆空查含义
- 元镜查含义
- 冠层阻力查含义
- 凌井店乡查含义
- 北水泉镇查含义
- 厨房电器查含义
- 吴志淳查含义
- 小桥惠查含义
- 山东省博物馆查含义
- 张燕飞查含义
- 微软视窗查含义
- 张成武查含义
- 日堙月塞查含义
- 无声的呐喊查含义
- 沥滘水道查含义
- 生命激流查含义
- 猎豹查含义
- 环保垃圾酵素查含义
- 环刀查含义
- 王亚琪查含义
- 甲酰基查含义
- 痴情佳人查含义
- 破产管理人查含义
- 神色张皇查含义
- 紫金大厦查含义
- 肺内压查含义
- 缩短查含义
- 罗文姬查含义
- 薛湖村查含义
- 許家榮查含义
- 路瑟范德鲁斯查含义
- 陈伟龙查含义
- 陶乐鲶查含义
- 靓妆艳服查含义
- 颜玉莹查含义
- 风的私语查含义
- 龙肝凤脑查含义
- 秋山风景区查含义
- 大虹桥查含义
- 竹山路站查含义
- 贵阳市民政局查含义
- 畲族会亲节查含义
- 地狱之意查含义
- 天堂金花蛇查含义
- 圣路易斯蓝调查含义
- 新锐志查含义
- 芝士番茄查含义
- 家常绍子鱼查含义
- 长江豆干汤查含义
- 法兰分离器查含义