集合の共通部分 とする．このとき，ととの共通部分とは，通常 で表される．しかし，たとえば i.e. というようにから元をとったとする．ここで推論規則の∧-除去を1回適用すると のみという状態に成る．これではから元をとった意味がない． 例 とする．このと…