Example image of eyePlorer eyePlorer map for 'Negation': Logic Mathematics Operation (mathematics) Classical logic Truth function Brouwer–Heyting–Kolmogorov interpretation Intuitionistic logic Logical connective Proposition Truth value Truth table Logical implication Logical conjunction Contradiction Paraconsistent logic Logical disjunction Boolean algebra (structure) Complement Heyting algebra Algebraic semantics Logical equivalence Involution Glivenko's theorem Boolean algebra (logic) Natural deduction Conditional proof Modus ponens Computer science B (programming language) C (programming language) C++ Java (programming language) JavaScript Perl PHP Ada (programming language) ALGOL BASIC Eiffel (programming language) Pascal (programming language) I Ratfor ASCII Operating system Binary numeral system Signed number representations Two's complement Georg Henrik von Wright Converse nonimplication De Morgan's laws
Disclaimer