最大化(Full Version) |
トラックバック |
ユーザ情報 |
お気に入り画像登録
画像情報
投稿者：ポストキュビスム
以下のURLを貼り付けることで、ブログや自身のホームページで画像を共有することができます。
画像情報
投稿者：ポストキュビスム
基本情報
| タイトル | Xを満たせば、ゲームは自分たちの勝ちとなり、終了する | ||||
| タグ | *数理論理学 *ゲーム理論 | ||||
| コメント | ○×ゲームなどで使う式 □■□■□ Xを満たせば、 『X⊢X』と『Γ⊢T』に分岐させて、自分の勝ちとしてゲームを終了させられる。 □■□■□ X^⊥を満たせば、 『X^⊥⊢X』と『Γ⊢T』に分岐し、偽となる『X^⊥⊢X』がこれ以上操作できないので、相手の勝ちとしてゲームは終了となる。 |
||||
| ｉコード | i408679 | 掲載日 | 2019年 09月 20日 (金) 15時 35分 01秒 | ||
| ジャンル | その他 | 形式 | JPG | 画像サイズ | 1649×646 |
| ファイルサイズ | 119,726 byte | ||||
リンク・トラックバック
| ◆この画像のURL | |
| ◆この画像のトラックバックURL |
以下のURLを貼り付けることで、ブログや自身のホームページで画像を共有することができます。
Gamma版につき現在、評価/コメント機能はありません。機能はユーザの意見を参考に随時追加します。
Gamma version.This site is Japanese only.
-みてみん(Mitemin)-