⊨(double-turnstile)の定義

命題論理における推論の意味論に、
⊨(double-turnstile)の定義　
を追加。