[从头学数学] 第189节 常用逻辑用语

剧情提要：
[机器小伟]在[工程师阿伟]的陪同下进入了[九转金丹]之第五转的修炼。
这次要研究的是[常用逻辑用语]。

正剧开始：
星历2016年04月22日 09:18:39, 银河系厄尔斯星球中华帝国江南行省。

[工程师阿伟]正在和[机器小伟]一起研究[常用逻辑用语]。

<span style="font-size:18px;">	if (1) {
		var mathText = new MathText();
		
		var s = [
			/*'p => q		:sufficient condition',
			'p <=> q	:sufficient and necessary condition',
			'p [&] q	:与',
			'p [|] q	:或',
			'[~]p		:非',
			'a[B]P [&] a[B]Q => a[B]P[I]Q',
			'a[NB]P [|] a[NB]Q => a[NB]P[I]Q',
			'p[S]U [&] a[B]P => a[NB][C]_[U]P',
			'P[S]U [&] a[NB]P => a[B][C]_[U]P',*/
			
			'[ALL]x[B]M, p(x) :全称量词',
			'[exist]x_[0][B]M, p(x_[0]) :存在量词',
			'[~]([All]x[B]M, p(x)) => [Exist]x_[0][B]M, [~]p(x_[0])',
			'[~]([Exist]x_[0][B]M, p(x_[0])) => [All]x[B]M, [~]p(x)'	
			
		];
		
		var x =40, y=40;
		var r1 = 40;
			
		var len = s.length;
		for (var i = 0; i < len; i++) {
		
			if (s[i] == '') {
				if (x < 100) {
					x += 300;
					y-=r1*3;
				}
				else {
					x = 20;
					y += r1;
				}
			}
			else {			
				mathText.printSet(s[i], x, y);
				y+=r1;
			}
		}		
	
	}
	
	
//对照表
		if (s != '') {
			//希腊字母表(存此用于Ctrl C/V
			//ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ
			//αβγδεζηθικλμνξοπρστυφχψω
			//
			
			s = s.replace(/\[B\]/ig, '\u2208'); //∈
			s = s.replace(/\[NB\]/ig, '\u2209'); //不属于
			s = s.replace(/\[S\]/ig, '\u2286'); //包含于(是子集)
			s = s.replace(/\[SS\]/ig, '\u2287'); //包含
			s = s.replace(/\[ST\]/ig, '\u228A'); //真包含于(是真子集)
			s = s.replace(/\[SST\]/ig, '\u228B'); //真包含
			
			s = s.replace(/\[UU\]/ig, '\u222A'); //并集 ，由于U表示全集，又常为下标，此处错开
			s = s.replace(/\[I\]/ig, '\u2229'); //交集
			s = s.replace(/\[C\]/ig, '\u2201'); //补集
			s = s.replace(/\[INF\]/ig, '\u221E'); //无穷大
			s = s.replace(/\[NULL\]/ig, '\u2205');//空集
			s = s.replace(/\[&\]/ig, '\u2227');//且
			s = s.replace(/\[\|\]/ig, '\u2228');//或
			s = s.replace(/\[~\]/ig, '﹁');//非
			
			s = s.replace(/\[ALL\]/ig, '\u2200');//全称量词 Universal quantifier
			s = s.replace(/\[Exist\]/ig, '\u2203');//存在量词 Existential quantifier			

		}</span>

本节到此结束，欲知后事如何，请看下回分解。