2012年5月13日日曜日

Perfume∩AKB48=φ ⇔ ¬( ∃ω∈Perfume ω∈AKB48 )

「PerfumeとAKB48は互いに素」の同値条件一覧に、
   (表現1) Perfume∩AKB48=φ  
 ⇔ (表現3-1') ¬( ∃ω∈Perfume ω∈AKB48 )  
   (表現3-1'') ¬(∃ω∈AKB48 ω∈Perfume )
 を追加。