数学与或非篇一：命题量词且或非训练案
高二数学选修1-1：基本逻辑联结词：“且”、“或”、“非”训练案
【学习目标】
1.熟练掌握“且”、“或”、“非”的含义，会判断含有逻辑联结词的命题的真假.
2.会判断由“或”、“且”、“非”组成新命题的真假的规律与方法.
3.体会数学的美，养成一丝不苟的科学态度.
【习题】
1.命题“对任意的xR，xx10”的否定是（）
A．不存在xR，xx10B．存在xR，xx10
C．存在xR，xx1032323232D．对任意的xR，xx1032
2.如果命题”p或q”与命题“p”都是真命题，那么()
A命题p不一定是假命题B命题q一定是真命题
C命题q不一定是真命题D命题p与命题q的真值相同
3.已知p:|xx|6,q:xZ,pq与q都是假命题，则x的值组成的取值集合为__________
4.判断其真假.
（1）2是方程x40的根（）
（2）3.1415（）
（3）任意实数x，都是方程3x50的根（）
（4）xR,x0（）该命题的非：_____________________________
（5）xR,x1（）该命题的非：____________________________
（6）xR,是方程x3x20的根（）该命题的非：____________________________
(7)至少有一个锐角，使sin0（）
(8)在实数范围内，有一些一元二次方程无解（）
(9)不是每一个人都会开车（）
2(10)q：2）2（）22222
(11)存在一个三角形是直角三角形（）该命题的非：_________________________
5.已知命题p:x2x60，命题q:xZ，如果“pq”与“q”同时为假命题，求x的值.
6.已知命题p:x22ax40对xR恒成立；命题q:指数函数y(52a)x在R上是增函数.如果pq为假，pq为真，求实数a的取值范围.
数学与或非篇二：离散数学符号
离散数学符号（未全）
全称量词
存在量词
├断定符（公式在L中可证）
╞满足符（公式在E上有效，公式在E上可满足）┐命题的“非”运算∧命题的“合取”（“与”）运算∨命题的“析取”（“或”，“可兼或”）运算→命题的“条件”运算命题的“双条件”运算的
A<=>B命题A与B等价关系
A=>B命题A与B的蕴涵关系
A*公式A的对偶公式
wff合式公式iff当且仅当↑命题的“与非”运算（“与非门”）↓命题的“或非”运算（“或非门”）□模态词“必然”◇模态词“可能”θ空集属于AB则为A属于B（不属于）P（A）集合A的幂集|A|集合A的点数R^2=R○R[R^n=R^(n-1)○R]关系R的“复合”阿列夫包含（或下面加≠）真包含∪集合的
并运算∩集合的交运算-（～）集合的差运算〡限制[X](右下角R)集合关于关系R的等价类A/R集合A上关于R的商集[a]元素a产生的循环群I(i大写)环，理想Z/(n)模n的同余类集合r(R)关系R的自反闭包s(R)关系的对称闭包
CP命题演绎的定理（CP规则）
EG存在推广规则（存在量词引入规则）
ES存在量词特指规则（存在量词消去规则）
UG全称推广规则（全称量词引入规则）
US全称特指规则（全称量词消去规则）
R关系
r相容关系
R○S关系与关系的复合
domf函数的定义域（前域）
ranf函数的值域
f:X→Y f是X到Y的函数
GCD(x,y) x,y最大公约数
LCM(x,y) x,y最小公倍数
aH(Ha)H关于a的左（右）陪集
Ker(f)同态映射f的核（或称f同态核）
[1，n]1到n的整数集合
d(u,v)点u与点v间的距离
d(v)点v的度数
G=(V,E)点集为V，边集为E的图
W(G)图G的连通分支数
k(G)图G的点连通度
△（G)图G的最大点度
A(G)图G的邻接矩阵
P(G)图G的可达矩阵
M(G)图G的关联矩阵
C复数集
N自然数集（包含0在内）
N*正自然数集
P素数集
Q有理数集
R实数集
Z整数集
Set集范畴
Top拓扑空间范畴
Ab交换群范畴
Grp群范畴
Mon单元半群范畴
Ring有单位元的（结合）环范畴
编辑本段数学符号的意义
符号(Symbol)
意义(Meaning)
=等于isequalto
≠不等于isnotequalto
<小于islessthan
>大于isgreaterthan
||平行isparallelto
大于等于isgreaterthanorequalto
小于等于islessthanorequalto
≡恒等于或同余
π圆周率
|x|绝对值absolutevalueofX
∽相似issimilarto
≌全等isequalto(especiallyfortriangle)
>>远远大于号
<<远远小于号
∪并集
∩交集
包含于
⊙圆
除，求商值
βbet磁通系数；角度；系数（数学中常用作表示未知角）
θfai磁通；角（数学中常用作表示未知角）
∞无穷大
ln(x)以e为底的对数
lg(x)以10为底的对数
floor(x)上取整函数
ceil(x)下取整函数
xmody求余数
x-floor(x)小数部分
∫f(x)dx不定积分
∫[a:b]f(x)dxa到b的定积分
∑(n=p,q)f(n)表示f(n)的n从p到q逐步变化对f(n)的连加和
数学与或非篇三：用MathType是怎么编辑异或与非符号的
在数学中我们会遇到各种数学符号，有运算符号，希腊符号，还有表示逻辑关系的逻辑符号等，这些大多都是比较常用的符号。其中逻辑符号中我们经常会用到异或与非等，这些符号的编辑我们常常会需要用MathType这款公式编辑器，但是一些用户对于MathType的使用不是很清楚。下面就来介绍用MathType是怎么编辑异或与非符号的？
具体操作如下：
1.根据自己的习惯打开MathType公式编辑器，进入到编辑公式界面。
2.在编辑公式窗口界面中，在MathType菜单中选择“编辑”——“插入符号”命令，随后会弹出一个MathType插入符号对话框。
选择MathType菜单中的“编辑”——“插入符号”命令
3.在插入符号对话框中，在“查看”的下拉菜单中选择“描述”，则在下方就会出现相应模式下的符号面板，拉动符号面板上的滚动条，直到找到异或与非符号。
在符号面板中拉动滚动条找到需要的逻辑符号
以上内容向大家介绍了用MathType是怎么编辑异或与非符号的，这些符号在MathType面板中没有相应的符号，只能通过插入符号的方法来编辑。MathType逻辑符号可能并不在同一种查看方式下，因此在不知道在哪个模式下时，可以每个模式都点开后找一找，才能找到想要的符号，这也是特殊符号在使用插入符号这个方法时不是很快速的一点，因为要从符号面板中一个一个地去查看才能找到，如果想要了解更多MathType描述性符号，可以参考相关MathType教程。
[高二数学基本逻辑联结词训练教案：《且，或，非》]相关文章：
1.
2.高二数学教案
9.