Math

数学 = 一階述語論理 ＋ 公理系 ＋ 定義

Favo

Wolfram Alpha

究極の数式エンジン

論理式φに対し、¬φでφの否定を表す