Xを満たせば、ゲームは自分たちの勝ちとなり、終了する By ポストキュビスム

投稿日時 2019-09-20 15:21:20 投稿者ポストキュビスムこのユーザのマイページへお気に入りユーザ登録	投稿者コメント
	○×ゲームなどで使う式 □■□■□ Xを満たせば、『X⊢X』と『Γ⊢T』に分岐させて、自分の勝ちとしてゲームを終了させられる。 □■□■□ X^⊥を満たせば、『X^⊥⊢X』と『Γ⊢T』に分岐し、偽となる『X^⊥⊢X』がこれ以上操作できないので、相手の勝ちとしてゲームは終了となる。
	→画像情報ページへ最大化 \| アクセス解析 \| ユーザ情報ツイート	▽この画像のURL(リンクについて)▽ ▽この画像のトラックバックURL▽(トラックバックについて)

投稿日時 2019-09-20 15:21:20 投稿者ポストキュビスムこのユーザのマイページへお気に入りユーザ登録	投稿者コメント
	○×ゲームなどで使う式 □■□■□ Xを満たせば、『X⊢X』と『Γ⊢T』に分岐させて、自分の勝ちとしてゲームを終了させられる。 □■□■□ X^⊥を満たせば、『X^⊥⊢X』と『Γ⊢T』に分岐し、偽となる『X^⊥⊢X』がこれ以上操作できないので、相手の勝ちとしてゲームは終了となる。
	→画像情報ページへ最大化 \| アクセス解析 \| ユーザ情報ツイート	▽この画像のURL(リンクについて)▽ ▽この画像のトラックバックURL▽(トラックバックについて)