以下の内容はhttps://m-hiyama-memo.hatenablog.com/entry/2020/12/14/174059より取得しました。
| 論理 |
型 |
| 命題 |
型 |
| 命題Pの証明 |
型Tの式 |
| 証明内の根拠 |
式内の定数名 |
| 含意 |
関数型 |
| 前件 |
域型〈ソース型〉 |
| 後件 |
余域型〈ターゲット型〉 |
| シーケント |
プロファイル |
| 仮定 |
コンテキスト |
| 結論 |
ターゲット |
| 証明 |
証拠式 |
| 定理記述 |
オブジェクト定義 |
| 公理記述 |
定数宣言 |
| 仮説記述 |
変数宣言 |
以上の内容はhttps://m-hiyama-memo.hatenablog.com/entry/2020/12/14/174059より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます
不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14
