Just Refs

Truth table

134 Topics:
  1. Absorption (logic)
  2. Alfred Tarski
  3. American Journal of Mathematics
  4. ArXiv (identifier)
  5. Array data structure
  6. Associative property
  7. Augustus De Morgan
  8. Begriffsschrift
  9. Bernard Bolzano
  10. Bertrand Russell
  11. Biconditional
  12. Biconditional elimination
  13. Biconditional introduction
  14. Binary decision diagram
  15. Binary number
  16. Binary numeral system
  17. Binary variable
  18. Bit
  19. Boolean algebra (logic)
  20. Boolean domain
  21. Boolean logic
  22. Boolean-valued function
  23. C.S. Peirce
  24. Charles Sanders Peirce
  25. Commutative property
  26. Commutativity of conjunction
  27. Compound operation (computing)
  28. Conjunction elimination
  29. Conjunction introduction
  30. Constructive dilemma
  31. Contradiction
  32. Converse implication
  33. Converse nonimplication
  34. De Morgan's laws
  35. Decision table
  36. Destructive dilemma
  37. Digital circuit
  38. Disjunction elimination
  39. Disjunction introduction
  40. Disjunctive syllogism
  41. Distributive property
  42. Doi (identifier)
  43. Double exponential function
  44. Double negation elimination
  45. Double negation introduction
  46. Duality principle (Boolean algebra)
  47. Electronic design automation
  48. Emil Leon Post
  49. Emil Post
  50. Encyclopedia of Mathematics
  51. Enriched category
  52. Ernst Schröder (mathematician)
  53. European Mathematical Society
  54. Excitation table
  55. Exclusive disjunction
  56. Exclusive nor
  57. Exclusive or
  58. Existential generalization
  59. Existential instantiation
  60. Exponential growth
  61. Falsum
  62. Full adder
  63. Function and Concept
  64. Functional completeness
  65. Georg Cantor
  66. Georg Henrik von Wright
  67. George Boole
  68. Giuseppe Peano
  69. Gottlob Frege
  70. Hdl (identifier)
  71. Henry M. Sheffer
  72. Herbert Enderton
  73. Hugh MacColl
  74. Hypothetical syllogism
  75. ISBN (identifier)
  76. Idempotency of entailment
  77. Identity function
  78. If and only if
  79. Integer
  80. Irving Anellis
  81. JSTOR (identifier)
  82. Jan Łukasiewicz
  83. Józef Maria Bocheński
  84. Karnaugh maps
  85. Kurt Gödel
  86. Law of excluded middle
  87. Law of noncontradiction
  88. Left identity
  89. Logic gate
  90. Logical NAND
  91. Logical NOR
  92. Logical conditional
  93. Logical graph
  94. Logical negation
  95. Logical operation
  96. Logical value
  97. Logically equivalent
  98. Lookup table
  99. Ludwig Wittgenstein
  100. Material implication (rule of inference)
  101. Material nonimplication
  102. Mathematical table
  103. Method of analytic tableaux
  104. Minterms
  105. Modus ponendo tollens
  106. Modus ponens
  107. Modus tollens
  108. Monoid
  109. Monotonicity of entailment
  110. Negation introduction
  111. Peirce arrow
  112. Principle of bivalence
  113. Principle of explosion
  114. Problem of multiple generality
  115. Projection function
  116. Publicad
  117. Richard Dedekind
  118. Right identity
  119. S2CID (identifier)
  120. Software
  121. Sole sufficient operator
  122. State-transition table
  123. Tee (symbol)
  124. The Principles of Mathematics
  125. Tractatus Logico-Philosophicus
  126. Transposition (logic)
  127. Truth function
  128. Universal generalization
  129. Universal instantiation
  130. Valuation (logic)
  131. Verso
  132. W.V. Quine
  133. Willard Van Orman Quine
  134. XOR
264 Secondary-Topics:
  1. Abstract logic
  2. Ackermann set theory
  3. Aleph number
  4. Alphabet (formal languages)
  5. Argument
  6. Arity
  7. Atomic formula
  8. Atomic sentence
  9. Automata theory
  10. Axiom
  11. Axiom of choice
  12. Axiom schema
  13. Axiomatic system
  14. Axiomatization of Boolean algebras
  15. Banach–Tarski paradox
  16. Bijection
  17. Binary operation
  18. Boolean algebra
  19. Boolean algebras canonically defined
  20. Boolean function
  21. Cantor's diagonal argument
  22. Cantor's paradox
  23. Cantor's theorem
  24. Cardinality
  25. Cartesian product
  26. Categorical theory
  27. Category (mathematics)
  28. Category of sets
  29. Category theory
  30. Church encoding
  31. Church–Turing thesis
  32. Class (set theory)
  33. Classical logic
  34. Codomain
  35. Compactness theorem
  36. Complement (set theory)
  37. Complete theory
  38. Computability theory
  39. Computable function
  40. Computable set
  41. Computably enumerable set
  42. Concrete category
  43. Conservative extension
  44. Consistency
  45. Constructible universe
  46. Construction of the real numbers
  47. Constructive set theory
  48. Continuum hypothesis
  49. Countable set
  50. Decidability (logic)
  51. Decision problem
  52. Deductive system
  53. Diagram (mathematical logic)
  54. Domain of a function
  55. Element (mathematics)
  56. Elementary diagram
  57. Elementary equivalence
  58. Elementary function arithmetic
  59. Empty set
  60. Enumeration
  61. Equiconsistency
  62. Equivalence relation
  63. Euclid's Elements
  64. Euclidean geometry
  65. Existential quantification
  66. Expression (mathematics)
  67. Extension by definitions
  68. Extension by new constant and function names
  69. Extensionality
  70. Finitary relation
  71. Finite model theory
  72. Finite set
  73. Finite-valued logic
  74. First-order logic
  75. Forcing (mathematics)
  76. Formal grammar
  77. Formal language
  78. Formal proof
  79. Formal semantics (logic)
  80. Formal system
  81. Formation rule
  82. Foundations of geometry
  83. Foundations of mathematics
  84. Free logic
  85. Free variables and bound variables
  86. Function (mathematics)
  87. Functional predicate
  88. Fuzzy set
  89. General set theory
  90. Grothendieck universe
  91. Ground expression
  92. Ground formula
  93. Gödel numbering
  94. Gödel's completeness theorem
  95. Gödel's incompleteness theorems
  96. Halting problem
  97. Hereditary set
  98. Higher-order logic
  99. Hilbert system
  100. Hilbert's axioms
  101. History of logic
  102. History of mathematical logic
  103. Image (mathematics)
  104. Inaccessible cardinal
  105. Independence (mathematical logic)
  106. Inference
  107. Infinite set
  108. Infinite-valued logic
  109. Information theory
  110. Inhabited set
  111. Injective function
  112. Interpretation (logic)
  113. Interpretation (model theory)
  114. Interpretation function
  115. Intersection (set theory)
  116. Isomorphism
  117. Kolmogorov complexity
  118. Kripke's theory of truth
  119. Kripke–Platek set theory
  120. Lambda calculus
  121. Large cardinal
  122. Lemma (mathematics)
  123. Lindström's theorem
  124. List of Hilbert systems
  125. List of axioms
  126. List of first-order theories
  127. List of formal systems
  128. List of mathematical theories
  129. List of set identities and relations
  130. List of statements independent of ZFC
  131. Logic
  132. Logical biconditional
  133. Logical conjunction
  134. Logical connective
  135. Logical consequence
  136. Logical constant
  137. Logical disjunction
  138. Logical equality
  139. Logical equivalence
  140. Logical truth
  141. Logicism
  142. Löwenheim–Skolem theorem
  143. Many-valued logic
  144. Map (mathematics)
  145. Material conditional
  146. Mathematical logic
  147. Mathematical object
  148. Metalanguage
  149. Minimal axioms for Boolean algebra
  150. Model complete theory
  151. Model theory
  152. Monadic predicate calculus
  153. Monadic second-order logic
  154. Morse–Kelley set theory
  155. NP (complexity)
  156. Naive set theory
  157. Natural deduction
  158. Negation
  159. New Foundations
  160. Non-Euclidean geometry
  161. Non-logical symbol
  162. Non-standard model
  163. Non-standard model of arithmetic
  164. Open formula
  165. Operation (mathematics)
  166. Ordinal analysis
  167. Ordinal number
  168. P (complexity)
  169. P versus NP problem
  170. Paradoxes of set theory
  171. Partition of a set
  172. Peano axioms
  173. Philosophy of mathematics
  174. Power set
  175. Predicate (mathematical logic)
  176. Predicate logic
  177. Predicate variable
  178. Primitive recursive arithmetic
  179. Primitive recursive function
  180. Principia Mathematica
  181. Proof of impossibility
  182. Proof theory
  183. Proposition
  184. Propositional calculus
  185. Propositional formula
  186. Propositional variable
  187. Quantifier (logic)
  188. Quantifier rank
  189. Recursion
  190. Recursive set
  191. Relation (mathematics)
  192. Reverse mathematics
  193. Robinson arithmetic
  194. Rule of inference
  195. Russell's paradox
  196. Satisfiability
  197. Saturated model
  198. Schröder–Bernstein theorem
  199. Second-order arithmetic
  200. Second-order logic
  201. Self-verifying theories
  202. Semantic theory of truth
  203. Semantics of logic
  204. Sentence (mathematical logic)
  205. Sequent calculus
  206. Set (mathematics)
  207. Set theory
  208. Signature (logic)
  209. Singleton (mathematics)
  210. Skolem arithmetic
  211. Soundness
  212. Spectrum of a sentence
  213. Spectrum of a theory
  214. Square of opposition
  215. Strength (mathematical logic)
  216. String (formal languages)
  217. Structure (mathematical logic)
  218. Substitution (logic)
  219. Substructure (mathematics)
  220. Supertask
  221. Surjective function
  222. Syllogism
  223. Symbol (formal)
  224. Syntax (logic)
  225. T-schema
  226. Tarski's axiomatization of the reals
  227. Tarski's axioms
  228. Tarski's theory of truth
  229. Tarski's undefinability theorem
  230. Tarski–Grothendieck set theory
  231. Tautology (logic)
  232. Term (logic)
  233. Term logic
  234. Theorem
  235. Theories of truth
  236. Theory (mathematical logic)
  237. Three-valued logic
  238. Timeline of mathematical logic
  239. Transfer principle
  240. Transitive set
  241. True arithmetic
  242. Truth predicate
  243. Truth value
  244. Turing machine
  245. Type (model theory)
  246. Type theory
  247. Ultrafilter (set theory)
  248. Ultraproduct
  249. Uncountable set
  250. Undecidable problem
  251. Uninterpreted function
  252. Union (set theory)
  253. Uniqueness quantification
  254. Universal quantification
  255. Universal set
  256. Universe (mathematics)
  257. Urelement
  258. Validity (logic)
  259. Variable (mathematics)
  260. Venn diagram
  261. Von Neumann universe
  262. Von Neumann–Bernays–Gödel set theory
  263. Well-formed formula
  264. Zermelo–Fraenkel set theory
1 Help:
  1. Help:Authority control
0 Wikipedia:
 
52 Secondary-Templates:
  1. Template:Abbr
  2. Template:Anchor
  3. Template:Authority control
  4. Template:Citation
  5. Template:Cite arXiv
  6. Template:Cite book
  7. Template:Cite journal
  8. Template:Color box
  9. Template:Colorbox
  10. Template:Commons category
  11. Template:Div col
  12. Template:Div col end
  13. Template:Div col/styles.css
  14. Template:E
  15. Template:Evalns
  16. Template:GBurl
  17. Template:Google Books URL
  18. Template:Greater color contrast ratio
  19. Template:Harv
  20. Template:Harvard citation
  21. Template:Harvard citation no brackets
  22. Template:Harvnb
  23. Template:Hlist/styles.css
  24. Template:Legend/styles.css
  25. Template:Main other
  26. Template:Math
  27. Template:Mvar
  28. Template:Navbox
  29. Template:Nobold
  30. Template:Nobold/styles.css
  31. Template:Nowarp
  32. Template:Nowrap
  33. Template:Pagetype
  34. Template:Plainlist/styles.css
  35. Template:Portal
  36. Template:Portal-inline
  37. Template:Reflist
  38. Template:Reflist/styles.css
  39. Template:Replace
  40. Template:SDcat
  41. Template:Short description
  42. Template:Short description/lowercasecheck
  43. Template:Side box
  44. Template:Sister project
  45. Template:Small
  46. Template:Smaller
  47. Template:Springer
  48. Template:SpringerEOM
  49. Template:Trim
  50. Template:Val
  51. Template:Valid
  52. Template:X10^

52 Modules:
  1. Module:Anchor
  2. Module:Arguments
  3. Module:Authority control
  4. Module:Authority control/config
  5. Module:Authority control/config
  6. Module:Check for unknown parameters
  7. Module:Citation/CS1
  8. Module:Citation/CS1/COinS
  9. Module:Citation/CS1/Configuration
  10. Module:Citation/CS1/Date validation
  11. Module:Citation/CS1/Identifiers
  12. Module:Citation/CS1/Utilities
  13. Module:Citation/CS1/Whitelist
  14. Module:Citation/CS1/styles.css
  15. Module:Color contrast
  16. Module:Color contrast/colors
  17. Module:Convert
  18. Module:Convert/data
  19. Module:Convert/text
  20. Module:Disambiguation
  21. Module:Disambiguation/templates
  22. Module:EditAtWikidata
  23. Module:Footnotes
  24. Module:Footnotes/anchor id list
  25. Module:Footnotes/anchor id list/data
  26. Module:Footnotes/whitelist
  27. Module:Gapnum
  28. Module:Navbar
  29. Module:Navbar/configuration
  30. Module:Navbar/styles.css
  31. Module:Navbox
  32. Module:Navbox/configuration
  33. Module:Navbox/styles.css
  34. Module:Pagetype
  35. Module:Pagetype/config
  36. Module:Portal
  37. Module:Portal-inline
  38. Module:Portal/images/m
  39. Module:Portal/images/p
  40. Module:Portal/styles.css
  41. Module:Redirect
  42. Module:SDcat
  43. Module:Side box
  44. Module:Side box/styles.css
  45. Module:String
  46. Module:TableTools
  47. Module:Template wrapper
  48. Module:Val
  49. Module:WikidataIB
  50. Module:WikidataIB/nolinks
  51. Module:WikidataIB/titleformats
  52. Module:Yesno
0 Drafts:
 
0 Users:
 
0 Talk:
 
0 User talk:
 
0 Wikipedia talk:
 
0 Help talk:
 
0 Portal talk:
 
2 Template talk:
  1. Template talk:Classical logic
  2. Template talk:Mathematical logic

0 Draft talk:
 
0 Module talk: