2019-10-30から1日間の記事一覧
今回はコメントへのリプライではなく、ひとつのまとまった話として。 古典論理の含意 は「 が偽であるかまたは が真であるときそのときにかぎり真」と定義されます。言い換えれば、 です。このようにして定義される含意を「実質含意」と呼びます。実質含意は…
今回はコメントへのリプライではなく、ひとつのまとまった話として。 古典論理の含意 は「 が偽であるかまたは が真であるときそのときにかぎり真」と定義されます。言い換えれば、 です。このようにして定義される含意を「実質含意」と呼びます。実質含意は…