記号論理学のことはじめ

ExcelはMicrosoft社の表計算アプリケーションで有名だ。if関数を多く使用すると複数条件になってしまう。例=if(a,if(b,if(c,d),q)・・・・

参考:IF関数と複数条件--Excel・エクセル
  http://kokoro.kir.jp/excel/if-and.html

よく考えてみると、論理記号とか雑な本屋さんにも同類の本が置いてあった気がする。興味深い。

参考:記号論理学の初歩を少しだけ・・・
  http://homepage2.nifty.com/okiraku-mama/ao-ronri04.htm
 (説明文)    (Excel関数記号)→(論理記号)
 PかつQである。 P&Q連 言 →P∧Q
 PまたはQである。"P"OR"Q"選 言→P∨Q
 PならばQである。if(p,Q,false)条件法P⊃Q