Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Negation> ?p ?o }
- Negation abstract "In logic, negation, also called logical complement, is an operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false and false when p is true. Negation is thus a unary (single-argument) logical connective. It may be applied as an operation on propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes truth to falsity and vice versa. In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition p is the proposition whose proofs are the refutations of p.".
- Negation wikiPageExternalLink j.neuroimage.2008.08.004.
- Negation wikiPageExternalLink NOT.html.
- Negation wikiPageID "161019".
- Negation wikiPageLength "12536".
- Negation wikiPageOutDegree "93".
- Negation wikiPageRevisionID "673078668".
- Negation wikiPageWikiLink ALGOL_60.
- Negation wikiPageWikiLink ASCII.
- Negation wikiPageWikiLink Ada_(programming_language).
- Negation wikiPageWikiLink Ada_programming_language.
- Negation wikiPageWikiLink Affirmative_and_negative.
- Negation wikiPageWikiLink Algebraic_semantics_(mathematical_logic).
- Negation wikiPageWikiLink Ampheck.
- Negation wikiPageWikiLink Apophasis.
- Negation wikiPageWikiLink BASIC.
- Negation wikiPageWikiLink BASIC_programming_language.
- Negation wikiPageWikiLink B_(programming_language).
- Negation wikiPageWikiLink Binary_number.
- Negation wikiPageWikiLink Binary_numeral_system.
- Negation wikiPageWikiLink Binary_opposition.
- Negation wikiPageWikiLink Bitwise_operation.
- Negation wikiPageWikiLink Boolean_algebra.
- Negation wikiPageWikiLink Boolean_algebra_(logic).
- Negation wikiPageWikiLink Boolean_algebra_(structure).
- Negation wikiPageWikiLink Brazilian_logic.
- Negation wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Negation wikiPageWikiLink C++.
- Negation wikiPageWikiLink C_(programming_language).
- Negation wikiPageWikiLink C_Programming_Language.
- Negation wikiPageWikiLink Category:Grammar.
- Negation wikiPageWikiLink Category:Logical_connectives.
- Negation wikiPageWikiLink Category:Semantics.
- Negation wikiPageWikiLink Classical_logic.
- Negation wikiPageWikiLink Complement_(order_theory).
- Negation wikiPageWikiLink Complement_(set_theory).
- Negation wikiPageWikiLink Computer_science.
- Negation wikiPageWikiLink Conditional_proof.
- Negation wikiPageWikiLink Contradiction.
- Negation wikiPageWikiLink Cyclic_negation.
- Negation wikiPageWikiLink De_Morgans_laws.
- Negation wikiPageWikiLink Distributive_property.
- Negation wikiPageWikiLink Double-negation_translation.
- Negation wikiPageWikiLink Double_negation.
- Negation wikiPageWikiLink Double_negative_elimination.
- Negation wikiPageWikiLink Dov_Gabbay.
- Negation wikiPageWikiLink Eiffel_(programming_language).
- Negation wikiPageWikiLink G._H._von_Wright.
- Negation wikiPageWikiLink Georg_Henrik_von_Wright.
- Negation wikiPageWikiLink Glivenkos_theorem.
- Negation wikiPageWikiLink Heyting_algebra.
- Negation wikiPageWikiLink Interpretation_(logic).
- Negation wikiPageWikiLink Intuitionistic_logic.
- Negation wikiPageWikiLink Inverter_(logic_gate).
- Negation wikiPageWikiLink Involution_(mathematics).
- Negation wikiPageWikiLink JavaScript.
- Negation wikiPageWikiLink Java_(programming_language).
- Negation wikiPageWikiLink Kripke_semantics.
- Negation wikiPageWikiLink Lattice_(order).
- Negation wikiPageWikiLink Laurence_R._Horn.
- Negation wikiPageWikiLink List_of_logic_symbols.
- Negation wikiPageWikiLink Logic.
- Negation wikiPageWikiLink Logical_NOR.
- Negation wikiPageWikiLink Logical_conjunction.
- Negation wikiPageWikiLink Logical_connective.
- Negation wikiPageWikiLink Logical_consequence.
- Negation wikiPageWikiLink Logical_disjunction.
- Negation wikiPageWikiLink Logical_equivalence.
- Negation wikiPageWikiLink Logical_operation.
- Negation wikiPageWikiLink Logical_value.
- Negation wikiPageWikiLink Logically_equivalent.
- Negation wikiPageWikiLink MathWorld.
- Negation wikiPageWikiLink Modus_ponens.
- Negation wikiPageWikiLink NOT_gate.
- Negation wikiPageWikiLink Natural_deduction.
- Negation wikiPageWikiLink Negation_(linguistics).
- Negation wikiPageWikiLink Negation_as_failure.
- Negation wikiPageWikiLink Operating_system.
- Negation wikiPageWikiLink Operating_systems.
- Negation wikiPageWikiLink Operation_(mathematics).
- Negation wikiPageWikiLink PHP.
- Negation wikiPageWikiLink I.
- Negation wikiPageWikiLink Paraconsistent_logic.
- Negation wikiPageWikiLink Pascal_(programming_language).
- Negation wikiPageWikiLink Pascal_programming_language.
- Negation wikiPageWikiLink Perl.
- Negation wikiPageWikiLink Possible_world.
- Negation wikiPageWikiLink Possible_world_semantics.
- Negation wikiPageWikiLink Proposition.
- Negation wikiPageWikiLink Ratfor.
- Negation wikiPageWikiLink Reductio_ad_absurdum.
- Negation wikiPageWikiLink Seed7.
- Negation wikiPageWikiLink Set-theoretic_complement.
- Negation wikiPageWikiLink Set_theory.
- Negation wikiPageWikiLink Signed_number_representations.
- Negation wikiPageWikiLink Slang.
- Negation wikiPageWikiLink Square_of_opposition.
- Negation wikiPageWikiLink Truth-value.
- Negation wikiPageWikiLink Truth_function.
- Negation wikiPageWikiLink Truth_table.