2012年11月12日月曜日

論理式「P∨Q」の意味論

論理式「P∨Q」の意味論を新規作成、アップロード。