電子工学[編集] Aの否定は、 と書く。 プログラミング言語[編集] C言語などでは! で表され、 if (!z) ; のように使用される。 また、ビット単位の否定は~で表され y = ~x; のように使用される。 VBScriptではNotで表され、 z = Not x のように使用される。 Perlでは、!やnotで表され、 if (!$f) {} if (not $f) {} のように使用される。 Schemeでは、notで表され、 (not s) (map not (map odd? lst)) のように使用される。 全否定と部分否定[編集] ある対象に関する命題で、対象すべてに関する否定を全否定、一部に関する否定を部分否定という。これらは、述語論理において、次のように表現される。 全否定 ∀ x ¬ A(x) 「すべての x について、「A(x) でない」」あるいは「絶対に A(
![否定 - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/139fed59eaaa37be4a0029395f85e8def0893558/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Ff%2Fff%2FVenn-Diagram-NOT.png)