スレタイ箱入り無数目を語る部屋20

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

372(1): 2024/07/17(水)06:04 ID:gcfkU4vO(1/3) AAS
>>361
＞(∃f.P)→Q　でPではfを使っていいけど、Qでは使ってはダメだろ
∃f.(P＆Q)だけど
（完）

373: 2024/07/17(水)06:07 ID:gcfkU4vO(2/3) AAS
∀x.(x∈S⇒Q)　の否定は　∃x.(x∈S＆¬Q)　であって　∃x.(x∈S⇒¬Q)　ではない

これ豆な

374: 2024/07/17(水)06:08 ID:gcfkU4vO(3/3) AAS
結論　ターンエー君はやっぱり述語論理の限量子（∀と∃）のつかいかたが初歩からわかってない