出典:Wikipedia
出典:『Wikipedia』 (2010/12/05 22:59 UTC 版)
In mathematical logic, simplification (equivalent to conjunction elimination) is a valid argument 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.
名詞の変化形:
|