CS
  • Computer Science
  • 計算機概論
    • basic logic gate
    • Untitled
  • 數位電路設計
    • K-map
    • Number System
      • 進制的轉換
      • Positional number system
    • Logic Circuits
      • Binary Logic and Gates
    • Boolean Algebra
  • 離散數學
    • Set
    • Logic and proofs(1/5)
    • Logic and proofs(2/5)
    • Logic and proofs(3/5)
    • Logic and proofs(4/5)
    • Logic and proofs(5/5)
    • Proofs
  • 資料結構
  • 演算法
  • 作業系統
  • 線性代數
  • C
  • JAVA
Powered by GitBook
On this page

Was this helpful?

  1. 離散數學

Logic and proofs(4/5)

PreviousLogic and proofs(3/5)NextLogic and proofs(5/5)

Last updated 6 years ago

Was this helpful?

  • Show negation

  • use Demorgan

  1. ∃x ∀y ∃z ~T(x, y, z)

other example

圖中，把集合的陳述，也寫成邏輯陳述．