21/10/24 15:53:58.17 IwWQ/vZk.net
>>518
>特にこの文章がヤヴァイ
>「推論は妥当（正→正）なもので、健全性は確かです。」
>こいつの頭、完全にイカレてるな
まあ、その意見もありだろうね
但し、”健全性”の定義がなんとも
だから、定義次第という気もするし
なにか種本とかあって
そこからの孫引きじゃね？
だとすれば、種本を見ないとなんとも言えない
かつ、二階述語論理 即 不健全ってわけでもないだろうし
ちょっと引っかかりはあったけど、スルーして、引用した
21/10/24 15:53:58.17 IwWQ/vZk.net
>>518
>特にこの文章がヤヴァイ
>「推論は妥当（正→正）なもので、健全性は確かです。」
>こいつの頭、完全にイカレてるな
まあ、その意見もありだろうね
但し、”健全性”の定義がなんとも
だから、定義次第という気もするし
なにか種本とかあって
そこからの孫引きじゃね？
だとすれば、種本を見ないとなんとも言えない
かつ、二階述語論理 即 不健全ってわけでもないだろうし
ちょっと引っかかりはあったけど、スルーして、引用した