論理・集合論

記号論理と集合論は互いに関わりあっており,数学の基本になっています.Wolfram|Alphaを使うと,論理式,ブール論理の項,あるいは一階論理を,可視化したり,計算したり,変換したりすることができます.さらに,Wolfram|Alphaは,表や図を生成したり,集合論的な操作を行ったり,等式や部分集合のような集合論の述語を計算したりできます.