2012-03-22から1日間の記事一覧
以前に読書会で紹介のあった、背理法による排中律の証明。 (1) ^(E or ^E) : [仮定1] (2) ^E => (E or ^E) : [公理8] (3) ^(E or ^E) => (^E => ^(E or ^E)) : [公理1] (4) ^E => ^(E or ^E) : [mp{(1),(3)}] (5) (^E => (E or ^E)) => ((^E => ^(E or ^E)) …
以前に読書会で紹介のあった、背理法による排中律の証明。 (1) ^(E or ^E) : [仮定1] (2) ^E => (E or ^E) : [公理8] (3) ^(E or ^E) => (^E => ^(E or ^E)) : [公理1] (4) ^E => ^(E or ^E) : [mp{(1),(3)}] (5) (^E => (E or ^E)) => ((^E => ^(E or ^E)) …