Entries from 2009-08-14 to 1 day
□, ◇ の単調性 if p → q then □p → □q if p → q then ◇p → ◇q と、axiom B に相当する公理の組*1 p → ◇□p ◇□p → p から intuitionistic reasoning で distributivity law ◇(p∨q) → ◇p∨◇q が導けることに気がついたので証明をメモ。 p → □◇p from the axiom □…
□, ◇ の単調性 if p → q then □p → □q if p → q then ◇p → ◇q と、axiom B に相当する公理の組*1 p → ◇□p ◇□p → p から intuitionistic reasoning で distributivity law ◇(p∨q) → ◇p∨◇q が導けることに気がついたので証明をメモ。 p → □◇p from the axiom □…