意味論 (論理学)

意味論（いみろん）とは論理学の分野である。 == 数理論理学における意味論 == 言語学における統語論は、数理論理学では証明論に対応する。

出典: Wikipedia「意味論 (論理学)」 · CC BY-SA 4.0