daily pastebin goal
22%
SHARE
TWEET

Untitled

a guest Jul 17th, 2017 43 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. T := ∃ g ∈ ɢ: G(g)
  2. A := ∀ g ∈ ɢ: ¬G(g)
  3.    
  4. A ≡ ¬T
  5.    
  6. A' := ∃ g ∈ ɢ: ¬G(g)
  7.    
  8. T' := ∀ g ∈ ɢ: G(g)
RAW Paste Data
Top