摘要：
在要限定一个量词的论域时经常会采用简写的表示法。在这个表示法里，变量必须满足的条件直接放在量词的后面 量词的优先级：量词对任意的和存在比命题演算中的所有逻辑运算符都具有更高的优先级 变量绑定：当量词作用于变量x时，我们说此变量的这次出现为约束的。一个变量的出现被称为是自由的，如果没有被量词约束或设置 阅读全文
posted @ 2022-08-09 18:20
NOI2023
阅读(269)
评论(0)
推荐(0)
摘要：
一.命题：命题是一个陈述语句，即陈述事实的语句，它或真或假 二.命题变元：我们用字母来表示命题变元，它是代表命题的变量，就像用字母表示数值变量那样。习惯上用字母p，q, r, s，.表示命题。如果一个命题是真命题，它的真值为真，用T表示;如果它是假命题其真值为假，用F表示 三：涉及命题的逻辑领域称为 阅读全文
posted @ 2022-08-09 18:04
NOI2023
阅读(274)
评论(0)
推荐(0)
摘要：
阅读全文
posted @ 2022-08-09 18:00
NOI2023
阅读(91)
评论(0)
推荐(0)
摘要：
两个不全为零的整数a,b的最大公因子是a,b线性组合中最小的正整数. 如果整数a，b互素，那么存在整数m，n使得ma+nb=1. 令a, b, c是整数，那么(a+cb，b) =(a, b). 如果a, b是正整数，那么所有a, b线性组合与所有(a, b)倍数构成的集合相同. 如果a, az，.. 阅读全文
posted @ 2022-08-09 12:07
NOI2023
阅读(377)
评论(0)
推荐(0)
浙公网安备 33010602011771号