論理的含意の気持ち
人に説明するとき困るので
『論理学への数学的手引き』p.32(
https://1to7.jp/products/論理学への数学的手引き
)
おおざっぱに言えば、条件文を表す式(
$ \alpha \to \beta
)は、ある条件(
$ \alpha
が真であるということ)がみたされるときには
$ \beta
は真であるという
約束
を言い表していると思えばよいのです。条件
$ \alpha
がみたされなくなったときには、
$ \beta
が何であろうと、約束は破られていないわけです。