■ このスレッドは過去ログ倉庫に格納されています
数理論理学（数学基礎論） その14
- 118 ：１３２人目の素数さん：2020/03/05(木) 18:48:18 ID:ermcA2ad.net
- http://www.cs.tsukuba.ac.jp/~mizutani/grad_school/logicSS/2013/2013-06.pdf
演習問題
以下の様相論理の式を証明せよ
1. |-K □p∧□q⊃□(p∧q)
これの解答どなたかたのむ
総レス数 604
177 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200