daily pastebin goal
59%
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
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top