Logic and proofs(4/5)

• Show negation

• use Demorgan

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

other example

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