La mémoire de mathématiques

数学めも by Müde

述語論理入門

述語論理入門3

二階述語論理の例として、数学的帰納法があるみたいです。 http://bukubukubun.blog90.fc2.com/blog-entry-290.html 数学的帰納法は、述語Pがあったとき、 が成り立ち、 ならば が成り立つとき、すべての について が成り立つ、というものです。 数学的帰納…

述語論理入門2

の否定を考えてみる。 これは、「すべての について が成り立つ」、を否定するのだから、 「一部の について が成り立たない」となる。「 が成り立たない が一部存在する」とも言えます。 式にすると なので、論理学を知っている人は論破と言わない、を否定…

述語論理入門1

述語論理とは「命題を主語と述語に分離した上で命題についての分析を行う論理のこと」だそう。 ここで、「論理学が分かっている人は、論破と言わない」という文があったとき、主語は「論理学が分かっている人」、述語は「論破と言わない」 述語 を「論破と言…