数理論理

未分類

数理論理の Semantics と Syntax

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

論理記号「 ∧ ∨ ⇒ ¬ 」を一つの論理記号であらわしてみた

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

「数理論理」事始め

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