an explanation that omits superfluous details and reduces complexity
百科解釋
In propositional logic, simplificationCopi and CohenMoore and ParkerHurley (equivalent to conjunction elimination) is a valid immediate inference, argument form and rule of inference which makes the inference that, if the conjunction A and B is true, then A is true, and B is true. The rule makes it possible to shorten longer proofs by deriving one of the conjuncts of a conjunction on a line by itself.
詳細百科解釋
其他語種釋義
simplificationとは意味:simplification n. 簡素化, 単純化. 【動詞+】 ◆achieve simplification 簡素化を達成する ◆introduce several simplifications to the previous process 以前の過程にいくつか簡素化を?qū)毪工?◆undergo a simplification 簡易化される. 【形容詞 名詞+】 ◆an extreme...