Non-Truth-Functional Interpretation

  • 命題p: 東京にすむこと
  • 命題q: 日本に住むこと
pqp⇒q
TTT東京にすむならば日本に住む
TFF東京に住むならば日本に住んでいない
FTT/F東京に住んでいないならば日本に住んでいる
FFT/F東京に住んでいないならば日本に住んでいない
> a=false,b=true
> if (a) b
undefined

REFERENCES

  • http://www.geisya.or.jp/~mwm48961/kou3/gyaku.htm
  • https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%8C%85%E5%90%AB
  • https://mathtrain.jp/conditions
  • http://7shi.hateblo.jp/entry/2016/07/31/143604