ここで離散的な計算を行っています。たとえば、"NOT k" のようなものがある場合、その前に別の "NOT" を追加して "NOT NOT k" にすると、2 つの "NOT" はキャンセルされて単に "k" になりますか?
これは文にも当てはまりますか?私が把握するのに苦労しているのは奇妙な論理です。
ここで離散的な計算を行っています。たとえば、"NOT k" のようなものがある場合、その前に別の "NOT" を追加して "NOT NOT k" にすると、2 つの "NOT" はキャンセルされて単に "k" になりますか?
これは文にも当てはまりますか?私が把握するのに苦労しているのは奇妙な論理です。
より正式な観点からこれを理解するには、https://en.wikipedia.org/wiki/Double_negationを見ないでください。
ほとんどの論理システムは二重否定除去の有効性を前提としていますが、それは普遍的なケースではないことに注意してください。
はい。2 つのNOT
演算子を連結すると、元の が返されますk
。シングルNOT
は、値を true から false に、または false から true に反転します。2番目のものはそれを裏返します。
値を否定すると、それが逆であることがわかります。では、逆の逆は何ですか? 何かを 2 回否定すると、常に元の値になります。
したがって、あなたの例では、NOT NOT k == k.