xUshi https://blog.hatena.ne.jp/xUshi/ 初心者がまとめるPython Programmingと時々数学 https://xushi.hatenablog.com/ 述語 量化 論理 Predicate Quantifier Logic 変数にある特定の要素を代入すると真偽が定まる主張を命題関数(propositional function)または述語(predicate)という。 例： P(x)＝xは動物である…xに犬や木、本などを代入すると真偽が定まる。 P: 述語「は動物である」、x :変数 P(犬)＝犬は動物である…True P(本)＝本は動物である…False 変数が複数ある場合、P(x1, x2, ..., xn)はn-place predicateまたはn-ary predicateという。 プログラミングの世界において、プログラムは有効なインプットを与えた時に、恒に望んだアウトプットを表示する。この時のある命令… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxushi.hatenablog.com%2Fentry%2F2018%2F09%2F21%2F175641" title="述語論理、量化　Predicate Logic and Quantifiers - 初心者がまとめるPython Programmingと時々数学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-09-21 17:56:41 rich https://xushi.hatenablog.com/entry/2018/09/21/175641 1.0 100%