新元号 総合スレ

[0409 名無し象は鼻がウナギだ！ 2019/04/07(日) 20:59:46.16 0]

様相論理では「べき」も論理の一部として扱えるわけ。
それこそ「かつ」「または」みたいにね。

でもまあ「しかし」を扱える論理はないだろうがね。