箱入り無数目を語る部屋19

箱入り無数目を語る部屋19at MATH

箱入り無数目を語る部屋19 - 暇つぶし2ch55:１３２人目の素数さん
24/04/01 13:57:37.51 efB7oARG.net
>>54
∀x.P⇒Q　は　(∀x.P)⇒Q　ではない
したがって、∀x.Pを示す必要はない
∀x.P⇒Qは、￢(∃x.P∧￢Q)である
∃x.Pかつ￢(∃x.P∧￢Q)から、Qは導ける

次ページ

続きを表示

1を表示