論理/いろいろ - HifeLacks - serenista@wiki

■関連するページ

• 論理
• 論理/誤謬
• 論理/網羅
• 論理/反論
• 論理/三段論法
• 論理/命題論理
• 論理/述語論理
• 論理/いろいろ
• 論理/参考書

---

■このページの目次

---

別の「正しさ」

正しさの表明にはふたつの種類があり、それぞれ記号が割り当てられている。
（参考: 檜山正幸のキマイラ飼育記）

1. |-
2. |=

それぞれ、本当は1文字。Unicodeでは

• U+22A2またはU+22A6
• U+22A7またはU+22A8

1. |-
   • ターンスタイル。
   • 推論の正しさ、記号操作の正しさ
   • ある命題(記号列)が適切な推論(記号操作)から導出できた場合、この記号を用いて
     • 「|- (命題、記号列)」
   • と表す。
2. |=
   • ダブルターンスタイル。
   • 現実世界との対比における正しさ
   • ある命題(記号列)の解釈が現実世界に照らして成り立つ時、この記号を用いる。

---