符号化
1. 全称量词蕴含式
所有的无限循环小数都是有理数。
即:
对于论域中的所有个体,要么它不是无限循环小数;要么它是无限循环小数,同时是有理数。
F(x): x是无限循环小数
G(x): x是有理数
∀x(¬F(x)∨(F(x)∧G(x))⇔∀x(¬F(x)∨G(x))⇔∀x(F(x)→G(x))
F⊆G
2.存在量词合取式
有的素数是偶数。
即:
存在一个数,它是素数,同时它也是偶数。
F(x): x是素数
G(x): x是偶数
∃x(F(x)∧G(x))
F∩G≠∅
两种否定
并非所有的F都G: ¬∀x(F(x)→G(x))
所有的F都不G: ∀x(F(x)→¬G(x))
等值演算|推理
1.
∧ 合取 | ∨ 析取 | → 蕴含 | |
---|---|---|---|
∀ | 充要 | 必要 | 充分 |
∃ | 充分 | 充要 | 必要 |
充要
∀x(F(x)∧G(x))⇔∀xF(x)∧∀xG(x)
必要
∀xF(x)∨∀xG(x)⇒∀x(F(x)∨G(x))
充分
∀x(F(x)→G(x))⇒∀xF(x)→∀xG(x)
存在量词同理(形式逻辑,蕴含式的前件为假,或者后件为真,就总成立)。
2.
∀x∀yF(x,y)⇒∃x∀yF(x,y)⇒∀y∃xF(x,y)⇒∃x∃yF(x,y)
“同一个x对应所有的y”,比”所有的y都存在对应它的x”的要求更强,后者可以是同一个x,也可以不是。
数量量词 表示 至少、至多和恰好
1.至少有n个F(不少于n个F)
记∃nxF(x)=⎧⎩⎨⎪⎪n=1∃xF(x)n>1∃x1...∃xn(F(x1)∧...∧F(xn)∧x1≠x2∧...∧x1≠xn∧...∧xn−1≠xn)
2.至多有n-1个F(少于n个F)
记∀nx¬F(x)=⎧⎩⎨⎪⎪n=1∀x¬F(x)n>1∀x1...∀xn(F(x1)∧...∧F(xn)→x1=x2∨...∨x1=xn∨...∨xn−1=xn)
3.恰好有n个(至少n个并且 至多n个)
略。
¬∃nxF(x)⇔∀nx¬F(x)
本页Latex公式的对齐,参考
https://en.wikibooks.org/wiki/LaTeX/Advanced_Mathematics#Using_aligned_braces_for_piecewise_functions数量量词,参考
http://faculty.washington.edu/smcohen/120/Chapter14.pdf