述語論理とは？
じゅつごろんり
「すべての○○は△△だ」のような 文の 構造を 厳密に 分析する 論理学だよ。
「フレーゲが 作った 文の 意味を くわしく 分析する 論理の 方法」のことだよ。
つかいかた・れいぶん
述語論理を 使うと 「全員が 正直では ない」という 文の 意味を 正確に 表せる。
このことばを シェア
さいごの こうしん: