等号論理とは？
とうごうろんり
述語論理に等号（=）を加え、二つのものが同一かどうかを表現できる論理体系だよ。
等号論理とは、述語論理に「=（等しい）」という記号を加えた論理体系だよ。「a と b は同じものだ（a = b）」と表現できて、数学の定義や定理を書くのに必要な道具だよ。等しいものは互いに置き換えられる、という公理が基本になっているよ。
つかいかた・れいぶん
「x = y ならば、どんな式でも x を y に置き換えられる」という公理が等号論理の基本だよ。
このことばを シェア
さいごの こうしん: