様相論理って知ってる?

■ このスレッドは過去ログ倉庫に格納されています
1以下、5ちゃんねるからVIPがお送りします2020/03/14(土) 02:49:20.905ID:sKOVuLyla
様相論理の良さを教えて

2以下、5ちゃんねるからVIPがお送りします2020/03/14(土) 02:49:44.818ID:5M+D2ge60
様相論理ってなに?

3以下、5ちゃんねるからVIPがお送りします2020/03/14(土) 02:56:56.455ID:sKOVuLyla
>>2
俺も説明できるほど知識ないけど
一般的な論理は
・人間はみな死ぬ
・ソクラテスは人間である
・ソクラテスは死ぬ
という主語とその説明をする述語で構成された文の集まりから推論するけど

その文について
・〜は必然的である
・〜は可能である
という表現が追加されたのが様相論理らしい

4以下、5ちゃんねるからVIPがお送りします2020/03/14(土) 03:11:28.308ID:IwB+lScw0
>>3
動物は糞する
美女は糞しない
人間は糞しない

ってことか

■ このスレッドは過去ログ倉庫に格納されています