2014-01-05から1日間の記事一覧
『論理学をつくる』p52定理6は、より強い定理7を経由して証明されているが、直接証明するとどうなるだろう。 AとBが論理的同値であると仮定する。すると、AとBの真理値は常に同じである。このとき、C[A]とC[B]は前者がAを部分論理式として含んでいる何カ所か…
『論理学をつくる』p52定理6は、より強い定理7を経由して証明されているが、直接証明するとどうなるだろう。 AとBが論理的同値であると仮定する。すると、AとBの真理値は常に同じである。このとき、C[A]とC[B]は前者がAを部分論理式として含んでいる何カ所か…