Double negation

In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation.

单词	Law of double negation
释义	Law of double negation 英语百科 Double negation In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation.
随便看	Giant forest hog的意思 Giant foxtail的意思 giant foxtails的意思 Giant Frog的意思 Giant frogs的意思 giant fullerenes的意思 Giant Fulmar的意思 giant fulmars的意思 giant fusiform cell的意思 giant galaxy的意思 giant garlic的意思 giant garlics的意思 Giant Gecko的意思 Giant Global Graph的意思 giant glory scattering的意思 Giant goiter的意思 giantgrained的意思 giant grained的意思 Giant granadilla的意思 giant granadillas的意思 giant granite的意思 giant granulation的意思 giant granule的意思 giant grid的意思 Giant Ground Sloth的意思

Law of double negation

Double negation