直観主義論理でも,A→BはAが偽ならば真なんでしたっけ?
もしそうなら、クリプキ意味論的な意味はどういうことでしょうか?