ダメな言葉と矢印のまとめ

	名詞	動詞能動態	形容詞-済み	形容詞-可能
証明	×	×	○ 推論は-	○ 推論は-、命題は-
推論	○	△ 仮定が結論を-	×	×
リーズニング	○	○ 上式が下式を-	○ 推論は-	○ 推論は-

言い方の候補：

• Γ infers Δ
• Γ concludes Δ
• Γ derives Δ
• Γ entailes Δ
• ξ reasons η
• ξ conclues η
• ξ entailes η

動詞の能動態のときは、主語が何であるかが難しい。仮定が結論を推論するのか？ それとも、私が仮定から推論を推論するのか？ 主語「私」は違うな、私だとすると「その推論（名詞）を正しいと確信している」のが私だ。

ついでに矢印：

• ⇒ 含意、前件、後件
• → 推論（シーケント）、左辺＝仮定、右辺＝結論
• ▷ リーズニング、上式、下式、{開}?始式、終{了}?式
• リーズニングでは、前フレーム、次フレーム、オープニングフレーム、エンディングフレームも使う。

縦方向	横方向
なし	⇒
---	→
===	▷