否定
数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン(Inversion)、論理回路では Not回路やインバータ回路(Inverter)とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定(NOT).
一松信
一松 信(ひとつまつ しん、1926年(大正15年)3月6日 - )は、日本の数学者。京都大学名誉教授。日本数学検定協会名誉会長。.
和田秀男
和田 秀男(わだ ひでお、1940年12月26日 - 2012年1月7日)は、日本の数学者。上智大学名誉教授、理学博士。愛知県名古屋市出身.
論理式
論理式.
星雲社
星雲社(せいうんしゃ)は、東京都文京区に本社がある、書籍全国流通(販売代行)会社。同じビルに構想社も入居している。.