数理論理

今回は数理論理の話です． 「前原昭二『数理論理学序説』」に Semantics と Syntax の説明があるのだが，ピンと来ないし，場合によっては混乱する． 同書には， Semantics：命題や推論の真偽や内容をもとにして研究する立場...

論理記号「 $\mid$ 」の真偽値を以下のように定めてみる； $\begin{array}{ccc}A & B & A\mid B\\\bigcirc & \bigcirc & \times\\\bigci...

数理論理で使う真偽の記号$$\large\curlywedge,\,\curlyvee$$を初めて見たときに「ヒト・ラッパ」と読んで以来，それ以外の読み方ができなかった． たとえば， $$A\wedge\neg A=\curlywedge\...