勉強 様相論理って名前がかっこいいよね そもそも様相論理ってなんだ??命題論理に□と♢が追加されたやつ(ざっくり)。以下:佐野勝彦氏による説明様相論理とは、伝統的には命題の必然性・可能性・不可能性などの様相概念を扱う論理である.(…略…)現在では関係構造・グラフ構造について語る単... 2024.03.22 勉強