Please enable JavaScript.
Coggle requires JavaScript to display documents.
复言命题 (德摩根定律 (A∧B (A并且B, 不仅A,而且B, 虽然A,但是B, 先前A,后来B), A∨B (A或者B, 也许A,也许B,…
复言命题
德摩根定律
A∧B
A并且B
不仅A,而且B
虽然A,但是B
先前A,后来B
A∨B
A或者B
也许A,也许B
可能A,可能B
A要么B
A要么B
不是A,就是B
德摩根定律
┐(A∧B) = ┐A∨┐B
┐(A∨B) = ┐A∧┐B
┐(A要么B) = (┐A∧┐B) ∨ (A∧B)
或者/箭头变换
A -> B = ┐A ∨ B
A∨B = ┐A -> B = ┐B -> A
充分必要条件
充分条件: A ->B
只要A, 就B
如果A, 那么B
当A, 便B
必要条件: A <- B
只有A, 才B / A是B的前提 / A是B的基础
无A,必无B
如果不A,那么不B
除非A,否则不B
充分必要条件: A <-> B, 读作 A当且仅当B
┐A -> B
除非A,否则B
A,否则B
不是A，否则B = A->B
B,除非A
两难命题
A ->B 且 ┐A->B ，则 B
A ->B 且 A->┐B ，则 ┐A
假言命题的负命题
┐(A -> B) = ┐(┐A ∨ B) = A ∧ ┐B