様相論理 is Fun

様相論理の学習ノートです

MENU

2017-07-19から1日間の記事一覧

A First Step

論理式全体からなる集合をPとし、Pをトートロジーであるという同値関係によって割った商をP^~とする。PからP^~への自然な全射をφで表す。 ブール束P^~からブール束{0,1}への写像はφによってPから{0,1}への写像に延長される。このように延長されたPから{0,1}…