>彼らの主張は「この時P(x)というのは All.x(A(x) -> B(x)) の形であり、A(x)には空配列を取りうるからVacuous truthによってTrueを返すべき」 「∀x∈A:P(x)がAが空集合ならば真」がTrue派の主張なのに,この人は誰に反論してるの??

CryoliteCryolite のブックマーク 2023/06/01 14:22

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

人に「センスない」って言っているやつが一番センスない - Qiita

    はじめに きっかけは、以下のツイートです。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ —...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう