Glossary of logic
This page lists the items of the Wikipedia article Glossary of logic in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1368301704, with the assessment List/Low.
| Outcome | Items |
|---|---|
| deferred | 582 |
| node | 311 |
The gap signals of the article are S1,S2,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | topic | Glossary of logic | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #00E4 | definition | logical pluralism | deferred until 2027-05-01 | the item has its own article, page 49180254 | |
| #0173 | definition | logical antirealism | node (adopted) | Logical antirealism | |
| #04WP | definition | intension | deferred until 2027-05-01 | the item has its own article, page 14570 | |
| #07BH | definition | metalogic | deferred until 2027-05-01 | the item has its own article, page 387934 | |
| #085S | definition | second-order logic | deferred until 2027-05-01 | the item has its own article, page 341428 | |
| #08H6 | definition | primitive recursive function | deferred until 2027-05-01 | the item has its own article, page 24829 | |
| #08UH | definition | truth-functional | deferred until 2027-05-01 | the item has its own article, page 604707 | |
| #0B92 | definition | mood | node (adopted) | Mood | |
| #0BG4 | definition | erotetic logic | deferred until 2027-05-01 | the item has its own article, page 12362175 | |
| #0BPA | definition | forced march sorites | node (adopted) | Forced march sorites | |
| #0DSR | definition | Curry paradox | deferred until 2027-05-01 | the item has its own article, page 154163 | |
| #0G46 | definition | cut | deferred until 2027-05-01 | the item has its own article, page 2180494 | |
| #0G7I | definition | induction | deferred until 2027-05-01 | the item has its own article, page 2476462 | |
| #0KIS | definition | sequence | deferred until 2027-05-01 | the item has its own article, page 27838 | |
| #0KWF | definition | reductio ad absurdum | deferred until 2027-05-01 | the item has its own article, page 22456146 | |
| #0MN6 | definition | Boolean negation | node (adopted) | Boolean negation | |
| #0NXW | definition | non-alethic modal logic | node (adopted) | Non-alethic modal logic | |
| #0OAT | definition | strong mathematical induction | node (adopted) | Strong mathematical induction | |
| #0OL5 | definition | distributive laws | node (adopted) | Distributive laws | |
| #0RXR | definition | completeness | deferred until 2027-05-01 | the item has its own article, page 194618 | |
| #0RXS | definition | concept | node (adopted) | Concept | |
| #0SPR | definition | constructive dilemma | deferred until 2027-05-01 | the item has its own article, page 1316648 | |
| #0SXO | definition | inductive proof | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #0VPF | definition | interrogative logic | node (adopted) | Interrogative logic | |
| #0XVU | definition | propositional letter | node (adopted) | Propositional letter | |
| #0XYB | definition | finitary formal system | node (adopted) | Finitary formal system | |
| #11E6 | definition | atomic sentence | deferred until 2027-05-01 | the item has its own article, page 943457 | |
| #15FF | definition | major premise | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #15KH | definition | sublogic | node (adopted) | Sublogic | |
| #161N | definition | quod erat demonstrandum (QED) | node (adopted) | Quod erat demonstrandum (QED) | |
| #165A | definition | knowability paradox | deferred until 2027-05-01 | the item has its own article, page 1150215 | |
| #1725 | definition | equivalence relation | deferred until 2027-05-01 | the item has its own article, page 9259 | |
| #174Q | definition | induction on well-formed formulas | node (adopted) | Induction on well-formed formulas | |
| #17RN | definition | bias | deferred until 2027-05-01 | the item has its own article, page 184099 | |
| #1847 | definition | intuitionistic logic | deferred until 2027-05-01 | the item has its own article, page 169262 | |
| #18J4 | definition | necessitation rule | node (adopted) | Necessitation rule | |
| #18VO | definition | ignoratio elenchi | deferred until 2027-05-01 | the item has its own article, page 17689 | |
| #19LF | definition | imperative | node (adopted) | Imperative | |
| #1EW9 | definition | structural rule | deferred until 2027-05-01 | the item has its own article, page 697666 | |
| #1F77 | definition | coextensive | node (adopted) | Coextensive | |
| #1GWH | definition | semantic vagueness | node (adopted) | Semantic vagueness | |
| #1IOS | definition | pragmatics | node (adopted) | Pragmatics | |
| #1ITC | definition | formal logic | deferred until 2027-05-01 | the item has its own article, page 19636 | |
| #1KDK | definition | normal form | deferred until 2027-05-01 | the item has its own article, page 1105069 | |
| #1MIN | definition | sophisma | node (adopted) | Sophisma | |
| #1ON6 | definition | coreflexivity | node (adopted) | Coreflexivity | |
| #1P6X | definition | biconditional | deferred until 2027-05-01 | the item has its own article, page 228783 | |
| #1PVT | definition | truth conditions | deferred until 2027-05-01 | the item has its own article, page 45132 | |
| #1QCX | definition | logical theorem | deferred until 2027-05-01 | the item has its own article, page 30977 | |
| #1SSS | definition | gambler's fallacy | deferred until 2027-05-01 | the item has its own article, page 12970 | |
| #1TSI | definition | disjunctive normal form | deferred until 2027-05-01 | the item has its own article, page 73341 | |
| #1UGS | definition | decision procedure | deferred until 2027-05-01 | the item has its own article, page 8336 | |
| #1UP3 | definition | numerical quantifier | node (adopted) | Numerical quantifier | |
| #1WJ9 | definition | diagonalization lemma | deferred until 2027-05-01 | the item has its own article, page 348969 | |
| #1XER | definition | denotation | node (adopted) | Denotation | |
| #1ZLY | definition | invalid deductive argument | node (adopted) | Invalid deductive argument | |
| #206K | definition | double negation elimination | deferred until 2027-05-01 | the item has its own article, page 379833 | |
| #20Y5 | definition | logical monism | node (adopted) | Logical monism | |
| #23H2 | definition | discharge | node (adopted) | Discharge | |
| #26D4 | definition | automaton | node (adopted) | Automaton | |
| #26V4 | definition | first-degree entailment (FDE) | node (adopted) | First-degree entailment (FDE) | |
| #294O | definition | unsound deductive argument | node (adopted) | Unsound deductive argument | |
| #2AFO | definition | sea battle | node (adopted) | Sea battle | |
| #2E3W | definition | matrix | deferred until 2027-05-01 | the item has its own article, page 20556859 | |
| #2E46 | definition | argument | deferred until 2027-05-01 | the item has its own article, page 13018310 | |
| #2E8L | definition | combinatorialism | node (adopted) | Combinatorialism | |
| #2F5L | definition | iteration | deferred until 2027-05-01 | the item has its own article, page 68833 | |
| #2G9U | definition | in rebus vagueness | node (adopted) | In rebus vagueness | |
| #2GQN | definition | strong completeness | deferred until 2027-05-01 | the item has its own article, page 31271451 | |
| #2H9U | definition | Hilbert's program | deferred until 2027-05-01 | the item has its own article, page 607286 | |
| #2ICW | definition | constructive proof | deferred until 2027-05-01 | the item has its own article, page 360113 | |
| #2JIG | definition | course of values recursion | deferred until 2027-05-01 | the item has its own article, page 3989260 | |
| #2JXB | definition | harmony | node (adopted) | Harmony | |
| #2KAF | definition | indispensability argument | deferred until 2027-05-01 | the item has its own article, page 58885745 | |
| #2SIO | definition | mutually exclusive | deferred until 2027-05-01 | the item has its own article, page 312648 | |
| #2UAZ | definition | conditional probability | deferred until 2027-05-01 | the item has its own article, page 24104134 | |
| #2UC8 | definition | affirmative proposition | node (adopted) | Affirmative proposition | |
| #2UJI | definition | expressive completeness | node (adopted) | Expressive completeness | |
| #2UK8 | definition | well-formed formula | deferred until 2027-05-01 | the item has its own article, page 404582 | |
| #2V84 | definition | connexive logic | deferred until 2027-05-01 | the item has its own article, page 12859904 | |
| #2Z1U | definition | strongly connected | deferred until 2027-05-01 | the item has its own article, page 684680 | |
| #312M | definition | intuitionism | deferred until 2027-05-01 | the item has its own article, page 19513 | |
| #31I5 | definition | double turnstile | deferred until 2027-05-01 | the item has its own article, page 25438007 | |
| #333C | definition | Turing thesis | deferred until 2027-05-01 | the item has its own article, page 6854 | |
| #34BE | definition | bivalence | deferred until 2027-05-01 | the item has its own article, page 24097 | |
| #352S | definition | designated value | node (adopted) | Designated value | |
| #35JT | definition | necessary condition | deferred until 2027-05-01 | the item has its own article, page 169319 | |
| #37I6 | definition | ad ignorantium | deferred until 2027-05-01 | the item has its own article, page 17699 | |
| #3887 | definition | sorites series | node (adopted) | Sorites series | |
| #39C0 | definition | register computable | node (adopted) | Register computable | |
| #3AIH | definition | material consequence | deferred until 2027-05-01 | the item has its own article, page 658808 | |
| #3BYE | definition | Meinongianism | node (adopted) | Meinongianism | |
| #3D1M | definition | Putnam's model-theoretic argument | node (adopted) | Putnam's model-theoretic argument | |
| #3E6V | definition | logical form | deferred until 2027-05-01 | the item has its own article, page 3331706 | |
| #3F5B | definition | conjunctive normal form | deferred until 2027-05-01 | the item has its own article, page 73342 | |
| #3G94 | definition | pluralism | node (adopted) | Pluralism | |
| #3GWG | definition | Peirce's law | deferred until 2027-05-01 | the item has its own article, page 47261948 | |
| #3H4G | definition | transition function | node (adopted) | Transition function | |
| #3JFY | definition | Basic Law V | deferred until 2027-05-01 | the item has its own article, page 4725226 | |
| #3KDC | definition | recursion theorem | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #3L16 | definition | probability calculus | deferred until 2027-05-01 | the item has its own article, page 23542 | |
| #3MDN | definition | epimorphism | deferred until 2027-05-01 | the item has its own article, page 59539 | |
| #3N1Q | definition | glut | node (adopted) | Glut | |
| #3PGO | definition | material biconditional | deferred until 2027-05-01 | the item has its own article, page 228783 | |
| #3QN6 | definition | topos | deferred until 2027-05-01 | the item has its own article, page 21391464 | |
| #3RDV | definition | negation introduction | deferred until 2027-05-01 | the item has its own article, page 42211842 | |
| #3SWY | definition | modality | deferred until 2027-05-01 | the item has its own article, page 2783063 | |
| #3V42 | definition | deduction theorem | deferred until 2027-05-01 | the item has its own article, page 480010 | |
| #3XA4 | definition | game-theoretic semantics | node (adopted) | Game-theoretic semantics | |
| #3YLU | definition | dagger | node (adopted) | Dagger | |
| #4088 | definition | monotonic logic | deferred until 2027-05-01 | the item has its own article, page 693185 | |
| #40B9 | definition | disjunction elimination | deferred until 2027-05-01 | the item has its own article, page 8529 | |
| #44FR | definition | substitution-instance | deferred until 2027-05-01 | the item has its own article, page 5438948 | |
| #48QV | definition | contingency | deferred until 2027-05-01 | the item has its own article, page 17753389 | |
| #4C3V | definition | Philonian conditional | node (adopted) | Philonian conditional | |
| #4DM9 | definition | analethic logic | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #4EBP | definition | complexity class | deferred until 2027-05-01 | the item has its own article, page 502426 | |
| #4F52 | definition | soundness | deferred until 2027-05-01 | the item has its own article, page 26819 | |
| #4IAA | definition | Skolem normal form | deferred until 2027-05-01 | the item has its own article, page 421074 | |
| #4KYG | definition | function | deferred until 2027-05-01 | the item has its own article, page 1475109 | |
| #4LC5 | definition | rule of replacement | deferred until 2027-05-01 | the item has its own article, page 34770456 | |
| #4NZ0 | definition | Gödel sentence | deferred until 2027-05-01 | the item has its own article, page 58863 | |
| #4OF1 | definition | non-deterministic turing machine | deferred until 2027-05-01 | the item has its own article, page 21935 | |
| #4OF3 | definition | imperative logic | deferred until 2027-05-01 | the item has its own article, page 8837457 | |
| #4PBU | definition | chronological logic | node (adopted) | Chronological logic | |
| #4PPL | definition | definition | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #4QA2 | definition | scope | deferred until 2027-05-01 | the item has its own article, page 48347082 | |
| #4TQM | definition | open pair | node (adopted) | Open pair | |
| #4TWV | definition | possible world | deferred until 2027-05-01 | the item has its own article, page 780566 | |
| #4UDI | definition | derivable rule | node (adopted) | Derivable rule | |
| #4UJ9 | definition | existential generalization | deferred until 2027-05-01 | the item has its own article, page 33907942 | |
| #4Y77 | definition | ambiguity | deferred until 2027-05-01 | the item has its own article, page 677 | |
| #4ZA8 | definition | endomorphism | deferred until 2027-05-01 | the item has its own article, page 9569 | |
| #50UG | definition | explosion | node (adopted) | Explosion | |
| #50Y1 | definition | sentence letter | deferred until 2027-05-01 | the item has its own article, page 1557562 | |
| #519T | definition | counterfactual conditional | deferred until 2027-05-01 | the item has its own article, page 491578 | |
| #526Q | definition | range | deferred until 2027-05-01 | the item has its own article, page 27588 | |
| #53MO | definition | philosophical logic | deferred until 2027-05-01 | the item has its own article, page 304939 | |
| #56SO | definition | symmetry | deferred until 2027-05-01 | the item has its own article, page 44362809 | |
| #58EW | definition | actual world | deferred until 2027-05-01 | the item has its own article, page 780566 | |
| #58KJ | definition | definiendum | deferred until 2027-05-01 | the item has its own article, page 7964 | |
| #59TX | definition | semantic value | node (adopted) | Semantic value | |
| #59Y7 | definition | co-referential | node (adopted) | Co-referential | |
| #5AYX | definition | composition | deferred until 2027-05-01 | the item has its own article, page 550741 | |
| #5CK7 | definition | theorem | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #5CZ4 | definition | Church–Turing thesis | deferred until 2027-05-01 | the item has its own article, page 6854 | |
| #5D40 | definition | constructive mathematics | deferred until 2027-05-01 | the item has its own article, page 21059 | |
| #5DDP | definition | existential variable | node (adopted) | Existential variable | |
| #5ER3 | definition | alethic modal logic | deferred until 2027-05-01 | the item has its own article, page 333365 | |
| #5GSR | definition | antecedent | deferred until 2027-05-01 | the item has its own article, page 804755 | |
| #5IWO | definition | syllogistic figure | node (adopted) | Syllogistic figure | |
| #5J0H | definition | logical consequence | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #5K98 | definition | consequent | deferred until 2027-05-01 | the item has its own article, page 804778 | |
| #5LDD | definition | principal connective | deferred until 2027-05-01 | the item has its own article, page 48347082 | |
| #5NI5 | definition | open formula | deferred until 2027-05-01 | the item has its own article, page 228361 | |
| #5OXS | definition | strong inductive argument | node (adopted) | Strong inductive argument | |
| #5PWC | definition | term logic | deferred until 2027-05-01 | the item has its own article, page 321652 | |
| #5RQA | definition | ancestral | node (adopted) | Ancestral | |
| #5S1O | definition | valuation | deferred until 2027-05-01 | the item has its own article, page 17456938 | |
| #5S7W | definition | truthmaker | node (adopted) | Truthmaker | |
| #5S8X | definition | proof | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #5VI0 | definition | conservative extension | deferred until 2027-05-01 | the item has its own article, page 1840214 | |
| #60EA | definition | single turnstile | node (adopted) | Single turnstile | |
| #62KI | definition | weakening | node (adopted) | Weakening | |
| #62Q2 | definition | antinomy | deferred until 2027-05-01 | the item has its own article, page 3175 | |
| #6400 | definition | correspondence theory of truth | node (adopted) | Correspondence theory of truth | |
| #64YI | definition | universe of discourse | deferred until 2027-05-01 | the item has its own article, page 229180 | |
| #6620 | definition | primitive recursive relation | node (adopted) | Primitive recursive relation | |
| #6BHQ | definition | verum | deferred until 2027-05-01 | the item has its own article, page 19145299 | |
| #6D72 | definition | ordered n-tuple | deferred until 2027-05-01 | the item has its own article, page 132729 | |
| #6E08 | definition | denying the antecedent | deferred until 2027-05-01 | the item has its own article, page 144793 | |
| #6E44 | definition | formal proof | deferred until 2027-05-01 | the item has its own article, page 1197184 | |
| #6EVF | definition | three-valued logic | deferred until 2027-05-01 | the item has its own article, page 249904 | |
| #6GXQ | definition | conjunction | deferred until 2027-05-01 | node 025YZN3VJW has the same name, and a person decides if they are one item | |
| #6KDH | definition | identity of indiscernibles | deferred until 2027-05-01 | the item has its own article, page 630398 | |
| #6MPY | definition | "is" of identity | deferred until 2027-05-01 | the name does not start with a letter or a digit, so the name lost a part, such as math | |
| #6QLN | definition | necessity | node (adopted) | Necessity | |
| #6R6P | definition | slingshot argument | deferred until 2027-05-01 | the item has its own article, page 3952561 | |
| #6SL5 | definition | axiological logic | node (adopted) | Axiological logic | |
| #6VZN | definition | De Morgan's rules | deferred until 2027-05-01 | the item has its own article, page 64669 | |
| #6WAR | definition | trichotomy law | deferred until 2027-05-01 | the item has its own article, page 373956 | |
| #6WJJ | definition | degree-theoretic semantics | node (adopted) | Degree-theoretic semantics | |
| #6YJ0 | definition | logic of conditionals | node (adopted) | Logic of conditionals | |
| #6Z60 | definition | redundancy theory of truth | node (adopted) | Redundancy theory of truth | |
| #71FY | definition | independent | node (adopted) | Independent | |
| #72GA | definition | linear ordering | deferred until 2027-05-01 | the item has its own article, page 30330 | |
| #72TY | definition | many-sorted logic | deferred until 2027-05-01 | the item has its own article, page 8169758 | |
| #72W0 | definition | existence predicate | node (adopted) | Existence predicate | |
| #755Z | definition | rule of inference | deferred until 2027-05-01 | the item has its own article, page 252311 | |
| #76WA | definition | distributive predication | node (adopted) | Distributive predication | |
| #7CC8 | definition | quantum logic | deferred until 2027-05-01 | the item has its own article, page 663426 | |
| #7CTX | definition | vel | node (adopted) | Vel | |
| #7ITV | definition | implicit definition | node (adopted) | Implicit definition | |
| #7JRM | definition | determiner | node (adopted) | Determiner | |
| #7JVZ | definition | T-schema | deferred until 2027-05-01 | the item has its own article, page 1063436 | |
| #7L24 | definition | quantified modal logic | node (adopted) | Quantified modal logic | |
| #7MAH | definition | unary function | deferred until 2027-05-01 | the item has its own article, page 1514907 | |
| #7MJC | definition | slippery slope | deferred until 2027-05-01 | the item has its own article, page 17696 | |
| #7NU7 | definition | independence result | deferred until 2027-05-01 | the item has its own article, page 1141208 | |
| #7PUK | definition | inference | deferred until 2027-05-01 | the item has its own article, page 317465 | |
| #7Q6L | definition | o-proposition | node (adopted) | o-proposition | |
| #7RI9 | definition | probability logic | deferred until 2027-05-01 | the item has its own article, page 5017608 | |
| #7UIB | definition | referential opacity | deferred until 2027-05-01 | the item has its own article, page 4532008 | |
| #7ZKL | definition | conjunction elimination | deferred until 2027-05-01 | the item has its own article, page 788704 | |
| #7ZMG | definition | prosentential | node (adopted) | Prosentential | |
| #7ZUD | definition | obversion | deferred until 2027-05-01 | the item has its own article, page 2312950 | |
| #801R | definition | begging the question | deferred until 2027-05-01 | the item has its own article, page 43582 | |
| #81EJ | definition | Eubulides paradox | deferred until 2027-05-01 | the item has its own article, page 17967 | |
| #83DS | definition | constant | deferred until 2027-05-01 | the item has its own article, page 24758132 | |
| #83N4 | definition | ostensive definition | node (adopted) | Ostensive definition | |
| #84V0 | definition | type theory | deferred until 2027-05-01 | the item has its own article, page 40282 | |
| #857T | definition | model-theoretic consequence | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #8C5G | definition | counterfactual logic | node (adopted) | Counterfactual logic | |
| #8CXF | definition | singular term | deferred until 2027-05-01 | the item has its own article, page 246918 | |
| #8EUO | definition | propositional logic | deferred until 2027-05-01 | the item has its own article, page 18154 | |
| #8G0W | definition | deductive consequence | node (adopted) | Deductive consequence | |
| #8JM4 | definition | Yablo paradox | deferred until 2027-05-01 | the item has its own article, page 17689596 | |
| #8L4O | definition | quantifier shift fallacy | deferred until 2027-05-01 | the item has its own article, page 14550026 | |
| #8LYY | definition | mathematical induction | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #8PLI | definition | neo-logicism | deferred until 2027-05-01 | the item has its own article, page 350672 | |
| #8R22 | definition | combinator | deferred until 2027-05-01 | the item has its own article, page 149848 | |
| #8R3H | definition | token | node (adopted) | Token | |
| #8SBY | definition | hierarchy | deferred until 2027-05-01 | the item has its own article, page 13998 | |
| #8T85 | definition | weak negation | node (adopted) | Weak negation | |
| #8TZL | definition | signature | deferred until 2027-05-01 | the item has its own article, page 1152311 | |
| #8VNH | definition | Euclidean | node (adopted) | Euclidean | |
| #8WQG | definition | Löb's theorem | deferred until 2027-05-01 | the item has its own article, page 693002 | |
| #8X84 | definition | Epimenides paradox | deferred until 2027-05-01 | the item has its own article, page 9638 | |
| #8XNR | definition | elementary equivalence | deferred until 2027-05-01 | the item has its own article, page 972601 | |
| #8YSM | definition | elimination rule | deferred until 2027-05-01 | the item has its own article, page 51072 | |
| #90AD | definition | induction schema | node (adopted) | Induction schema | |
| #9210 | definition | simple type theory | deferred until 2027-05-01 | the item has its own article, page 1986011 | |
| #93VB | definition | satisfiability | deferred until 2027-05-01 | the item has its own article, page 23401166 | |
| #94ON | definition | obverse | node (adopted) | Obverse | |
| #959H | definition | contradictory | deferred until 2027-05-01 | the item has its own article, page 17636 | |
| #98L4 | definition | postulate | deferred until 2027-05-01 | the item has its own article, page 928 | |
| #9BRX | definition | empty concept | node (adopted) | Empty concept | |
| #9DQH | definition | double negation | deferred until 2027-05-01 | the item has its own article, page 379833 | |
| #9EPS | definition | false dilemma | deferred until 2027-05-01 | the item has its own article, page 17687 | |
| #9OY3 | definition | semantics | deferred until 2027-05-01 | the item has its own article, page 29107 | |
| #9PWO | definition | logically equivalent | deferred until 2027-05-01 | the item has its own article, page 169324 | |
| #9QFN | definition | modal operator | deferred until 2027-05-01 | the item has its own article, page 3832714 | |
| #9VXY | definition | strong Kleene connectives | node (adopted) | Strong Kleene connectives | |
| #9WW3 | definition | computable function | deferred until 2027-05-01 | the item has its own article, page 1139338 | |
| #9X86 | definition | natural language | deferred until 2027-05-01 | the item has its own article, page 21173 | |
| #A0L7 | definition | truth predicate | deferred until 2027-05-01 | the item has its own article, page 4807326 | |
| #A0N1 | definition | sublanguage | node (adopted) | Sublanguage | |
| #A616 | definition | wedge | deferred until 2027-05-01 | the item has its own article, page 2951640 | |
| #A85Q | definition | antilogism | node (adopted) | Antilogism | |
| #A8FT | definition | topos theory | deferred until 2027-05-01 | the item has its own article, page 21391464 | |
| #AAAN | definition | elementary topos | deferred until 2027-05-01 | the item has its own article, page 815802 | |
| #AE1L | definition | Abelian logic | node (adopted) | Abelian logic | |
| #AGIZ | definition | mathematical induction schema | node (adopted) | Mathematical induction schema | |
| #AH5U | definition | property | deferred until 2027-05-01 | the item has its own article, page 508057 | |
| #AHQ8 | definition | isomorphism | deferred until 2027-05-01 | the item has its own article, page 14828 | |
| #AHUZ | definition | categorical logic | deferred until 2027-05-01 | the item has its own article, page 1063799 | |
| #AI56 | definition | semi-decidable theory | node (adopted) | Semi-decidable theory | |
| #AISZ | definition | quantity | deferred until 2027-05-01 | the item has its own article, page 691277 | |
| #AJ1F | definition | Brouwerian modal logic | node (adopted) | Brouwerian modal logic | |
| #AJ77 | definition | straw man | deferred until 2027-05-01 | the item has its own article, page 39057 | |
| #AJC0 | definition | parameter | deferred until 2027-05-01 | the item has its own article, page 25065 | |
| #AML8 | definition | logic of attributes | node (adopted) | Logic of attributes | |
| #AMY3 | definition | classical reductio ad absurdum | node (adopted) | Classical reductio ad absurdum | |
| #ANQI | definition | Löb paradox | deferred until 2027-05-01 | the item has its own article, page 154163 | |
| #AO79 | definition | weak counterexample | deferred until 2027-05-01 | the item has its own article, page 360113 | |
| #AR4D | definition | decidable theory | deferred until 2027-05-01 | the item has its own article, page 913118 | |
| #ARMT | definition | classical dilemma | deferred until 2027-05-01 | the item has its own article, page 359970 | |
| #ATZY | definition | double negation introduction | deferred until 2027-05-01 | the item has its own article, page 379833 | |
| #AXVI | definition | metamathematics | deferred until 2027-05-01 | the item has its own article, page 183508 | |
| #AYGG | definition | disquotationalism | node (adopted) | Disquotationalism | |
| #AZ3R | definition | logic of relations | deferred until 2027-05-01 | the item has its own article, page 7870034 | |
| #AZB6 | definition | reference | deferred until 2027-05-01 | the item has its own article, page 20110874 | |
| #B1DL | definition | addition | deferred until 2027-05-01 | the item has its own article, page 61338 | |
| #B2XS | definition | subordinate connective | node (adopted) | Subordinate connective | |
| #B34E | definition | tolerant | node (adopted) | Tolerant | |
| #B448 | definition | Grelling paradox | deferred until 2027-05-01 | the item has its own article, page 251277 | |
| #B4TR | definition | Zeno paradoxes | deferred until 2027-05-01 | the item has its own article, page 34535 | |
| #B6SA | definition | contraction | deferred until 2027-05-01 | the item has its own article, page 10907456 | |
| #B8QH | definition | corollary | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #B956 | definition | combinatory logic | deferred until 2027-05-01 | the item has its own article, page 149848 | |
| #B9VC | definition | knights | node (adopted) | Knights | |
| #BAEN | definition | material implication | deferred until 2027-05-01 | the item has its own article, page 244516 | |
| #BB2K | definition | major connective | deferred until 2027-05-01 | the item has its own article, page 48347082 | |
| #BBK2 | definition | metatheorem | deferred until 2027-05-01 | the item has its own article, page 5106151 | |
| #BBVL | definition | propositional attitude | deferred until 2027-05-01 | the item has its own article, page 425467 | |
| #BFT4 | definition | inclusive disjunction | deferred until 2027-05-01 | the item has its own article, page 7962 | |
| #BG2S | definition | Frege's theorem | deferred until 2027-05-01 | the item has its own article, page 4725226 | |
| #BGAE | definition | non-standard logic | node (adopted) | Non-standard logic | |
| #BGFS | definition | autological | node (adopted) | Autological | |
| #BJ4O | definition | a posteriori | deferred until 2027-05-01 | the name starts with an article, and a person gives the name | |
| #BK7E | definition | binary relation | deferred until 2027-05-01 | the item has its own article, page 3931 | |
| #BKNZ | definition | fuzzy logic | deferred until 2027-05-01 | the item has its own article, page 49180 | |
| #BLFI | definition | proof-theoretic semantics | deferred until 2027-05-01 | the item has its own article, page 910505 | |
| #BOHV | definition | higher-order vagueness | node (adopted) | Higher-order vagueness | |
| #BOKA | definition | K3 | deferred until 2027-05-01 | the term is an abbreviation, and the node takes the full name | |
| #BQ45 | definition | Leibniz's Law | deferred until 2027-05-01 | the item has its own article, page 630398 | |
| #BQOF | definition | logical operator | deferred until 2027-05-01 | the item has its own article, page 18153 | |
| #BTGP | definition | truth | deferred until 2027-05-01 | the item has its own article, page 29920 | |
| #BVD9 | definition | logical falsehood | node (adopted) | Logical falsehood | |
| #BVJX | definition | top | deferred until 2027-05-01 | the item has its own article, page 21094724 | |
| #BWB6 | definition | effectively decidable theory | node (adopted) | Effectively decidable theory | |
| #BXNX | definition | vagueness | deferred until 2027-05-01 | the item has its own article, page 32369 | |
| #BXOF | definition | hypothetical syllogism | deferred until 2027-05-01 | the item has its own article, page 177633 | |
| #BYVS | definition | sentential logic | deferred until 2027-05-01 | the item has its own article, page 18154 | |
| #BZ37 | definition | Quine's dictum | node (adopted) | Quine's dictum | |
| #BZPL | definition | domain of discourse | deferred until 2027-05-01 | the item has its own article, page 229180 | |
| #BZPS | definition | materially equivalent | deferred until 2027-05-01 | the item has its own article, page 14922 | |
| #C0HA | definition | frame | deferred until 2027-05-01 | the item has its own article, page 4504771 | |
| #C112 | definition | categorical syllogism | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #C15E | definition | deduction | node (adopted) | Deduction | |
| #C1HK | definition | quotation | deferred until 2027-05-01 | the item has its own article, page 25199 | |
| #C3XH | definition | suffix notation | deferred until 2027-05-01 | the item has its own article, page 320026 | |
| #C61V | definition | ad infinitum | deferred until 2027-05-01 | the item has its own article, page 84393676 | |
| #C7N7 | definition | maximal consistent set | deferred until 2027-05-01 | the item has its own article, page 10086335 | |
| #C8XI | definition | finitism | deferred until 2027-05-01 | the item has its own article, page 152900 | |
| #C9GP | definition | effectively computable function | node (adopted) | Effectively computable function | |
| #CBHP | definition | subjunctive conditional | deferred until 2027-05-01 | the item has its own article, page 491578 | |
| #CEN1 | definition | monadic function | node (adopted) | Monadic function | |
| #CGFF | definition | semantic consequence | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #CIU5 | definition | anti-extension | node (adopted) | Anti-extension | |
| #CL8Q | definition | red herring | deferred until 2027-05-01 | the item has its own article, page 3197900 | |
| #CLTB | definition | first-order variable | node (adopted) | First-order variable | |
| #CO5K | definition | finitary | deferred until 2027-05-01 | the item has its own article, page 404456 | |
| #COG9 | definition | converse domain | node (adopted) | Converse domain | |
| #CRMZ | definition | stipulative definition | deferred until 2027-05-01 | the item has its own article, page 767227 | |
| #CVCY | definition | exclusive disjunction | deferred until 2027-05-01 | the item has its own article, page 105979 | |
| #CZB2 | definition | distributivity | deferred until 2027-05-01 | the item has its own article, page 103118 | |
| #D3CF | definition | formal language | deferred until 2027-05-01 | the item has its own article, page 10939 | |
| #D4KL | definition | constructive logic | node (adopted) | Constructive logic | |
| #D57G | definition | subcontrary | deferred until 2027-05-01 | the item has its own article, page 25379366 | |
| #D5EX | definition | tilde | deferred until 2027-05-01 | the item has its own article, page 212390 | |
| #D5FK | definition | self-contradictory | node (adopted) | Self-contradictory | |
| #D6NT | definition | interrogative | node (adopted) | Interrogative | |
| #D7X5 | definition | refutation | deferred until 2027-05-01 | the item has its own article, page 8006711 | |
| #D9RC | definition | Henkin sentence | node (adopted) | Henkin sentence | |
| #DAAJ | definition | logicism | deferred until 2027-05-01 | the item has its own article, page 350672 | |
| #DAT5 | definition | Aristotelian logic | deferred until 2027-05-01 | the item has its own article, page 321652 | |
| #DCEL | definition | I-proposition | node (adopted) | I-proposition | |
| #DD1H | definition | epistemic modal logic | deferred until 2027-05-01 | the item has its own article, page 3827197 | |
| #DEZL | definition | probability theory | deferred until 2027-05-01 | the item has its own article, page 23542 | |
| #DIGZ | definition | epistemic constraint | node (adopted) | Epistemic constraint | |
| #DJVM | definition | affine logics | node (adopted) | Affine logics | |
| #DJZG | definition | sequent calculus | deferred until 2027-05-01 | the item has its own article, page 252329 | |
| #DO3W | definition | recursive definition | deferred until 2027-05-01 | the item has its own article, page 1047605 | |
| #DRI9 | definition | petitio principii | deferred until 2027-05-01 | the item has its own article, page 43582 | |
| #DUWW | definition | associativity | deferred until 2027-05-01 | the item has its own article, page 1335 | |
| #DYU2 | definition | impredicative definition | deferred until 2027-05-01 | the item has its own article, page 1930406 | |
| #DYWX | definition | vacuous quantifier | node (adopted) | Vacuous quantifier | |
| #E1TI | definition | epistemic vagueness | node (adopted) | Epistemic vagueness | |
| #E1YY | definition | minimization | node (adopted) | Minimization | |
| #E277 | definition | incompleteness | node (adopted) | Incompleteness | |
| #E2LE | definition | minor premise | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #E2SF | definition | supertrue | node (adopted) | Supertrue | |
| #E3IJ | definition | surjection | deferred until 2027-05-01 | the item has its own article, page 27873 | |
| #E6PW | definition | identity function | deferred until 2027-05-01 | the item has its own article, page 15069 | |
| #E7QA | definition | prosentential theory of truth | node (adopted) | Prosentential theory of truth | |
| #E9AV | definition | fallacy of division | deferred until 2027-05-01 | the item has its own article, page 522936 | |
| #EA3V | definition | computation | deferred until 2027-05-01 | the item has its own article, page 5926 | |
| #EA5B | definition | statement | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #EH89 | definition | intensional definition | deferred until 2027-05-01 | the item has its own article, page 50453901 | |
| #EIG4 | definition | downward Löwenheim–Skolem theorem | deferred until 2027-05-01 | the item has its own article, page 341482 | |
| #EJJT | definition | Turing computable function | deferred until 2027-05-01 | the item has its own article, page 30403 | |
| #EJPD | definition | universal introduction | node (adopted) | Universal introduction | |
| #EK3A | definition | injective | deferred until 2027-05-01 | the item has its own article, page 45196 | |
| #EMVL | definition | semantic paradox | deferred until 2027-05-01 | the item has its own article, page 24390 | |
| #EN2R | definition | modus tollens | deferred until 2027-05-01 | the item has its own article, page 18901 | |
| #EOIF | definition | predicate functor | deferred until 2027-05-01 | the item has its own article, page 15282871 | |
| #EOJH | definition | temporal modal logic | node (adopted) | Temporal modal logic | |
| #ERF9 | definition | valid | node (adopted) | Valid | |
| #EWJ8 | definition | translation | deferred until 2027-05-01 | the item has its own article, page 14662815 | |
| #EYCI | definition | modal fictionalism | deferred until 2027-05-01 | the item has its own article, page 22885030 | |
| #EYRM | definition | predicate | deferred until 2027-05-01 | the item has its own article, page 285109 | |
| #EZQ5 | definition | New Foundations | deferred until 2027-05-01 | the item has its own article, page 945957 | |
| #EZQ7 | definition | indiscernibility of identicals | node (adopted) | Indiscernibility of identicals | |
| #F1YS | definition | Skolem-Lowenheim theorem | deferred until 2027-05-01 | the item has its own article, page 341482 | |
| #F2YE | definition | fallacy of four terms | deferred until 2027-05-01 | the item has its own article, page 698149 | |
| #F7YO | definition | epistemicism | node (adopted) | Epistemicism | |
| #F8TD | definition | dual | deferred until 2027-05-01 | the item has its own article, page 310885 | |
| #F98U | definition | semantic tableau | deferred until 2027-05-01 | the item has its own article, page 1027229 | |
| #FAK7 | definition | prefix notation | deferred until 2027-05-01 | the item has its own article, page 25056 | |
| #FBVR | definition | contraposition | deferred until 2027-05-01 | the item has its own article, page 8556497 | |
| #FDPA | definition | modal agnosticism | node (adopted) | Modal agnosticism | |
| #FFR4 | definition | inductive argument | deferred until 2027-05-01 | the item has its own article, page 393736 | |
| #FGDG | definition | immediate inference | deferred until 2027-05-01 | the item has its own article, page 25379366 | |
| #FH55 | definition | exchange | node (adopted) | Exchange | |
| #FKWK | definition | effectively decidable relation | node (adopted) | Effectively decidable relation | |
| #FONN | definition | ternary function | node (adopted) | Ternary function | |
| #FQW6 | definition | weak excluded middle | deferred until 2027-05-01 | the item has its own article, page 17637 | |
| #FRU3 | definition | negation | deferred until 2027-05-01 | the item has its own article, page 161019 | |
| #FS1V | definition | impossible world | deferred until 2027-05-01 | the item has its own article, page 3792679 | |
| #FT23 | definition | informal fallacy | deferred until 2027-05-01 | the item has its own article, page 1655450 | |
| #FTYB | definition | verification constraint | node (adopted) | Verification constraint | |
| #FUTD | definition | introduction rule | deferred until 2027-05-01 | the item has its own article, page 51072 | |
| #FWNX | definition | inverse | deferred until 2027-05-01 | the item has its own article, page 155942 | |
| #FXRN | definition | non-commutative logic | deferred until 2027-05-01 | the item has its own article, page 693282 | |
| #FZ4A | definition | Skolem paradox | deferred until 2027-05-01 | the item has its own article, page 1348798 | |
| #FZQZ | definition | pseudo modus ponens | node (adopted) | Pseudo modus ponens | |
| #G1T9 | definition | complexity theory | node (adopted) | Complexity theory | |
| #G1XF | definition | dominant connective | deferred until 2027-05-01 | the item has its own article, page 48347082 | |
| #G8FO | definition | deviant logic | deferred until 2027-05-01 | the item has its own article, page 4135768 | |
| #GAEI | definition | Tarskian hierarchy | node (adopted) | Tarskian hierarchy | |
| #GAW7 | definition | disjunction property | deferred until 2027-05-01 | the item has its own article, page 1010522 | |
| #GBYK | definition | counterpart theory | node (adopted) | Counterpart theory | |
| #GF7L | definition | extension | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #GFSW | definition | formal fallacy | deferred until 2027-05-01 | the item has its own article, page 3637937 | |
| #GG6L | definition | invalid | node (adopted) | Invalid | |
| #GGE1 | definition | dilution | deferred until 2027-05-01 | the item has its own article, page 3736547 | |
| #GGK4 | definition | mathematical abstractionism | node (adopted) | Mathematical abstractionism | |
| #GIY8 | definition | Bew | node (adopted) | Bew | |
| #GMTP | definition | E-proposition | node (adopted) | E-proposition | |
| #GN5N | definition | strong negation | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #GPM8 | definition | involution | deferred until 2027-05-01 | the item has its own article, page 293450 | |
| #GQ8I | definition | irreflexivity | deferred until 2027-05-01 | the item has its own article, page 200458 | |
| #GRTO | definition | reverse mathematics | deferred until 2027-05-01 | the item has its own article, page 326365 | |
| #GSR2 | definition | substitution | deferred until 2027-05-01 | the item has its own article, page 5438948 | |
| #GUGN | definition | ex falso quodlibet | deferred until 2027-05-01 | the item has its own article, page 591394 | |
| #GVHC | definition | strong paraconsistency | node (adopted) | Strong paraconsistency | |
| #GYL0 | definition | representation | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #H4F9 | definition | Ross paradox | deferred until 2027-05-01 | the item has its own article, page 8837457 | |
| #H78M | definition | main connective | deferred until 2027-05-01 | the item has its own article, page 48347082 | |
| #H941 | definition | atomic formula | deferred until 2027-05-01 | the item has its own article, page 4472066 | |
| #HA5I | definition | logical structure | node (adopted) | Logical structure | |
| #HA7N | definition | compositionality | node (adopted) | Compositionality | |
| #HBM4 | definition | Buridan's sophismata | node (adopted) | Buridan's sophismata | |
| #HBYZ | definition | conclusion | node (adopted) | Conclusion | |
| #HC5D | definition | Plato's beard | deferred until 2027-05-01 | the item has its own article, page 29465119 | |
| #HCJ5 | definition | fallacy of composition | deferred until 2027-05-01 | the item has its own article, page 523043 | |
| #HDNY | definition | insolubilia | deferred until 2027-05-01 | the item has its own article, page 1034227 | |
| #HEFD | definition | truth-value glut | node (adopted) | Truth-value glut | |
| #HEGW | definition | disjunction introduction | deferred until 2027-05-01 | the item has its own article, page 8528 | |
| #HFL0 | definition | type | deferred until 2027-05-01 | the item has its own article, page 3741564 | |
| #HHKP | definition | exclusive or | deferred until 2027-05-01 | the name ends with a small word or has a gap, so the name lost a part, such as math | |
| #HHR7 | definition | conjunction introduction | deferred until 2027-05-01 | the item has its own article, page 6563 | |
| #HJE6 | definition | permutation invariant | node (adopted) | Permutation invariant | |
| #HLV4 | definition | basis | deferred until 2027-05-01 | the item has its own article, page 16728132 | |
| #HNBJ | definition | subject term | node (adopted) | Subject term | |
| #HO6G | definition | deterministic Turing machine | deferred until 2027-05-01 | the item has its own article, page 30403 | |
| #HQMU | definition | non-standard model | deferred until 2027-05-01 | the item has its own article, page 30875811 | |
| #HSBN | definition | domain | deferred until 2027-05-01 | the item has its own article, page 16796643 | |
| #HU5R | definition | explicit definition | node (adopted) | Explicit definition | |
| #HV6D | definition | lambda-calculus | deferred until 2027-05-01 | the item has its own article, page 18203 | |
| #HVTI | definition | suppressed evidence | node (adopted) | Suppressed evidence | |
| #HWRW | definition | open term | deferred until 2027-05-01 | the item has its own article, page 228361 | |
| #I2NT | definition | monadic relation | node (adopted) | Monadic relation | |
| #I2TR | definition | indicative conditional | deferred until 2027-05-01 | the item has its own article, page 228776 | |
| #I37T | definition | arity | deferred until 2027-05-01 | the item has its own article, page 42301 | |
| #I5C1 | definition | total function | deferred until 2027-05-01 | the item has its own article, page 23577 | |
| #I5NP | definition | automorphism | deferred until 2027-05-01 | the item has its own article, page 1160 | |
| #I87C | definition | truth-tree | deferred until 2027-05-01 | the item has its own article, page 1027229 | |
| #I951 | definition | interpolation theorem | node (adopted) | Interpolation theorem | |
| #I9J1 | definition | proof theory | deferred until 2027-05-01 | the item has its own article, page 183478 | |
| #I9UB | definition | instantiation | node (adopted) | Instantiation | |
| #IA2E | definition | paradox | deferred until 2027-05-01 | the item has its own article, page 24390 | |
| #IA4W | definition | formal system | deferred until 2027-05-01 | the item has its own article, page 396102 | |
| #IB3M | definition | proof-theoretic validity | node (adopted) | Proof-theoretic validity | |
| #IDCA | definition | metalanguage | deferred until 2027-05-01 | the item has its own article, page 402929 | |
| #IDYY | definition | salve veritate | node (adopted) | Salve veritate | |
| #IE9N | definition | negation completeness | node (adopted) | Negation completeness | |
| #IGUN | definition | contradiction | deferred until 2027-05-01 | the item has its own article, page 75807 | |
| #IHBG | definition | use | node (adopted) | Use | |
| #IHGB | definition | n-ary relation | deferred until 2027-05-01 | the item has its own article, page 19509 | |
| #IID7 | definition | Kripke semantics | deferred until 2027-05-01 | the item has its own article, page 911960 | |
| #IIFO | definition | existential import | deferred until 2027-05-01 | the item has its own article, page 2166801 | |
| #IIJ1 | definition | logic | deferred until 2027-05-01 | the item has its own article, page 46426065 | |
| #IJ2C | definition | first-order theory | deferred until 2027-05-01 | the item has its own article, page 3512103 | |
| #IJ6W | definition | Tarski's indefinability theorem | deferred until 2027-05-01 | the item has its own article, page 583785 | |
| #IJD3 | definition | or | deferred until 2027-05-01 | the name ends with a small word or has a gap, so the name lost a part, such as math | |
| #INWZ | definition | consequence relation | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #INYQ | definition | Logic of Paradox | deferred until 2027-05-01 | the item has its own article, page 421085 | |
| #IRBJ | definition | equivalence | deferred until 2027-05-01 | the item has its own article, page 14315623 | |
| #ISK5 | definition | Gödel-Dummett logic | deferred until 2027-05-01 | the item has its own article, page 43269014 | |
| #IU2G | definition | barbara | node (adopted) | Barbara | |
| #IUJG | definition | consequentia mirabilis | deferred until 2027-05-01 | the item has its own article, page 7821224 | |
| #IWKG | definition | tonk | node (adopted) | Tonk | |
| #IX3J | definition | sharpening | node (adopted) | Sharpening | |
| #IYWS | definition | BHK-interpretation | deferred until 2027-05-01 | the item has its own article, page 1925846 | |
| #J1P8 | definition | turnstile | deferred until 2027-05-01 | the item has its own article, page 7954712 | |
| #J226 | definition | negation elimination | deferred until 2027-05-01 | the item has its own article, page 161019 | |
| #J322 | definition | entailment | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #J3HZ | definition | multi-modal logic | deferred until 2027-05-01 | the item has its own article, page 11233252 | |
| #J4FJ | definition | object language | node (adopted) | Object language | |
| #J4RN | definition | deductively equivalent | node (adopted) | Deductively equivalent | |
| #J5IY | definition | subtheory | deferred until 2027-05-01 | the item has its own article, page 3512103 | |
| #J8M2 | definition | conditionalization | node (adopted) | Conditionalization | |
| #J92H | definition | mention | node (adopted) | Mention | |
| #JDRZ | definition | S4 | deferred until 2027-05-01 | the term is an abbreviation, and the node takes the full name | |
| #JERK | definition | platonism | node (adopted) | Platonism | |
| #JF5O | definition | variable assignment | deferred until 2027-05-01 | the item has its own article, page 10983 | |
| #JFO2 | definition | infinitesimal | deferred until 2027-05-01 | the item has its own article, page 160990 | |
| #JHAO | definition | Fitch paradox | deferred until 2027-05-01 | the item has its own article, page 1150215 | |
| #JI7T | definition | counternecessary conditional | node (adopted) | Counternecessary conditional | |
| #JKPR | definition | sound deductive argument | node (adopted) | Sound deductive argument | |
| #JKYY | definition | semantic conception of truth | node (adopted) | Semantic conception of truth | |
| #JM6Z | definition | philosophy of logic | deferred until 2027-05-01 | the item has its own article, page 21368888 | |
| #JMPG | definition | indirect proof | deferred until 2027-05-01 | the item has its own article, page 22456146 | |
| #JN3D | definition | Aristotelian comprehension schema | node (adopted) | Aristotelian comprehension schema | |
| #JNZO | definition | Barcan formula | deferred until 2027-05-01 | the item has its own article, page 245298 | |
| #JSQT | definition | division | deferred until 2027-05-01 | the item has its own article, page 53696 | |
| #JU6N | definition | paraconsistent logic | deferred until 2027-05-01 | the item has its own article, page 421085 | |
| #JXEH | definition | subcontraries | node (adopted) | Subcontraries | |
| #JY24 | definition | analytic | node (adopted) | Analytic | |
| #JZGQ | definition | amphiboly | deferred until 2027-05-01 | the item has its own article, page 154040 | |
| #K11O | definition | persuasive definition | deferred until 2027-05-01 | the item has its own article, page 958627 | |
| #K440 | definition | formal semantics | deferred until 2027-05-01 | the item has its own article, page 31395652 | |
| #K4FJ | definition | demonstration | node (adopted) | Demonstration | |
| #K5E6 | definition | identity | deferred until 2027-05-01 | the item has its own article, page 298428 | |
| #K5L0 | definition | axiom | deferred until 2027-05-01 | the item has its own article, page 928 | |
| #K83V | definition | reflexivity | deferred until 2027-05-01 | node 0X8NMST0J2 has the same name, and a person decides if they are one item | |
| #KAIV | definition | self-reference | deferred until 2027-05-01 | the item has its own article, page 28545 | |
| #KB25 | definition | linear logics | node (adopted) | Linear logics | |
| #KBBJ | definition | modal realism | node (adopted) | Modal realism | |
| #KCQT | definition | NP | deferred until 2027-05-01 | the term is an abbreviation, and the node takes the full name | |
| #KD04 | definition | limitation result | node (adopted) | Limitation result | |
| #KD2C | definition | copula | deferred until 2027-05-01 | the item has its own article, page 1793003 | |
| #KG6L | definition | contrapositive | deferred until 2027-05-01 | the item has its own article, page 8556497 | |
| #KHBB | definition | De Morgan duality | deferred until 2027-05-01 | the item has its own article, page 64669 | |
| #KJH1 | definition | universal proposition | node (adopted) | Universal proposition | |
| #KJPL | definition | logical equivalence | deferred until 2027-05-01 | the item has its own article, page 169324 | |
| #KLTO | definition | Glivenko's theorem | deferred until 2027-05-01 | the item has its own article, page 51376302 | |
| #KMEJ | definition | singular proposition | deferred until 2027-05-01 | the item has its own article, page 81094 | |
| #KN5F | definition | indefinite description | node (adopted) | Indefinite description | |
| #KSR9 | definition | truth-in-a-model | node (adopted) | Truth-in-a-model | |
| #KT89 | definition | explanation | deferred until 2027-05-01 | the item has its own article, page 216186 | |
| #KU9E | definition | convention T | deferred until 2027-05-01 | the item has its own article, page 601240 | |
| #KWJY | definition | borderline case | node (adopted) | Borderline case | |
| #KYLV | definition | elimination of quantifiers | deferred until 2027-05-01 | the item has its own article, page 2150441 | |
| #L0ZA | definition | exclusion negation | node (adopted) | Exclusion negation | |
| #L1SI | definition | complete infinity | node (adopted) | Complete infinity | |
| #L3PA | definition | equivalent | node (adopted) | Equivalent | |
| #L41K | definition | impossibility | node (adopted) | Impossibility | |
| #L4X7 | definition | finite character | deferred until 2027-05-01 | the item has its own article, page 2549522 | |
| #L656 | definition | existential introduction | deferred until 2027-05-01 | the item has its own article, page 33907942 | |
| #L7CT | definition | individual | node (adopted) | Individual | |
| #L7P8 | definition | trichotomy | node (adopted) | Trichotomy | |
| #L80H | definition | Gödel's second incompleteness theorem | deferred until 2027-05-01 | the item has its own article, page 58863 | |
| #L8XL | definition | categorical | node (adopted) | Categorical | |
| #LA7N | definition | Post consistency | node (adopted) | Post consistency | |
| #LEOQ | definition | anaphora | node (adopted) | Anaphora | |
| #LF9N | definition | Geach-Kaplan sentence | deferred until 2027-05-01 | the item has its own article, page 606880 | |
| #LFSI | definition | inclusive first-order logic | node (adopted) | Inclusive first-order logic | |
| #LGPR | definition | middle term | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #LIOF | definition | deductive argument | deferred until 2027-05-01 | the item has its own article, page 61093 | |
| #LK62 | definition | Peano arithmetic | deferred until 2027-05-01 | the item has its own article, page 25005 | |
| #LLLQ | definition | Sheffer stroke | deferred until 2027-05-01 | the item has its own article, page 29388 | |
| #LM73 | definition | epistemic paradox | node (adopted) | Epistemic paradox | |
| #LMV6 | definition | law of non-contradiction | deferred until 2027-05-01 | the item has its own article, page 17636 | |
| #LNPD | definition | mere possibilia | node (adopted) | Mere possibilia | |
| #LO6W | definition | finitely axiomatizable | deferred until 2027-05-01 | the item has its own article, page 764613 | |
| #LOIC | definition | relevance logic | deferred until 2027-05-01 | the item has its own article, page 185076 | |
| #LPQG | definition | causal logic | node (adopted) | Causal logic | |
| #LR8L | definition | logical implication | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #LTEE | definition | theory | deferred until 2027-05-01 | the item has its own article, page 30746 | |
| #LTSR | definition | countermodel | node (adopted) | Countermodel | |
| #LYB3 | definition | injection | deferred until 2027-05-01 | node 09NWETVTNY has the same name, and a person decides if they are one item | |
| #LZ2M | definition | logic of questions and answers | node (adopted) | Logic of questions and answers | |
| #LZ2P | definition | pure first-order logic | node (adopted) | Pure first-order logic | |
| #LZEV | definition | comprehension schema | node (adopted) | Comprehension schema | |
| #M28J | definition | register machine | deferred until 2027-05-01 | the item has its own article, page 505218 | |
| #M42C | definition | ontic vagueness | node (adopted) | Ontic vagueness | |
| #M727 | definition | knower's paradox | deferred until 2027-05-01 | the item has its own article, page 54663684 | |
| #M9Y0 | definition | idempotent | deferred until 2027-05-01 | the item has its own article, page 14972 | |
| #MADL | definition | distribution axiom | deferred until 2027-05-01 | the item has its own article, page 3827197 | |
| #MC4H | definition | compactness theorem | deferred until 2027-05-01 | the item has its own article, page 152207 | |
| #MDDV | definition | n-ary function | deferred until 2027-05-01 | the item has its own article, page 42301 | |
| #MEBD | definition | ternary semantics | node (adopted) | Ternary semantics | |
| #MFE3 | definition | indiscernibility | deferred until 2027-05-01 | the item has its own article, page 630398 | |
| #MGFW | definition | asymmetry | node (adopted) | Asymmetry | |
| #MGL9 | definition | semantic validity | deferred until 2027-05-01 | the item has its own article, page 21304742 | |
| #MKMU | definition | indefinite extensibility | node (adopted) | Indefinite extensibility | |
| #MLOB | definition | lemma | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #MNNT | definition | non-classical logic | deferred until 2027-05-01 | the item has its own article, page 3192556 | |
| #MROL | definition | bound variable | deferred until 2027-05-01 | the item has its own article, page 147460 | |
| #MW6L | definition | Boethius' theses | node (adopted) | Boethius' theses | |
| #MXPD | definition | De Morgan negation | node (adopted) | De Morgan negation | |
| #MXPP | definition | negation consistency | node (adopted) | Negation consistency | |
| #MY9R | definition | Kripke structure | node (adopted) | Kripke structure | |
| #MYXE | definition | counterexample | deferred until 2027-05-01 | the item has its own article, page 143151 | |
| #N0H0 | definition | monadic first-order logic | deferred until 2027-05-01 | the item has its own article, page 8015680 | |
| #N0VA | definition | disjunction | deferred until 2027-05-01 | the item has its own article, page 7962 | |
| #N2II | definition | intermediate logic | deferred until 2027-05-01 | the item has its own article, page 769022 | |
| #N5C0 | definition | substructural logic | deferred until 2027-05-01 | the item has its own article, page 412909 | |
| #N5EP | definition | conditional proof | deferred until 2027-05-01 | the item has its own article, page 6562 | |
| #NCC9 | definition | Gödel's first incompleteness theorem | deferred until 2027-05-01 | the item has its own article, page 58863 | |
| #NCUD | definition | figure | node (adopted) | Figure | |
| #NCZZ | definition | Church's theorem | deferred until 2027-05-01 | the item has its own article, page 9672 | |
| #NDW3 | definition | language | node (adopted) | Language | |
| #NFKK | definition | formation rules | deferred until 2027-05-01 | the item has its own article, page 15115411 | |
| #NFM2 | definition | logical machine | deferred until 2027-05-01 | the item has its own article, page 5989279 | |
| #NG5T | definition | existential instantiation | deferred until 2027-05-01 | the item has its own article, page 34632680 | |
| #NGLE | definition | free variable | deferred until 2027-05-01 | the item has its own article, page 147460 | |
| #NHG7 | definition | premise | deferred until 2027-05-01 | the item has its own article, page 7993337 | |
| #NHT5 | definition | Gödel's slingshot argument | node (adopted) | Gödel's slingshot argument | |
| #NI29 | definition | material equivalence | deferred until 2027-05-01 | the item has its own article, page 14922 | |
| #NKIB | definition | weak Kleene connectives | node (adopted) | Weak Kleene connectives | |
| #NLBD | definition | conditional | deferred until 2027-05-01 | node 0NMG7W7Q11 has the same name, and a person decides if they are one item | |
| #NMLQ | definition | proof-theoretic consequence | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #NN3S | definition | image | deferred until 2027-05-01 | the item has its own article, page 342899 | |
| #NNZG | definition | satisfaction | node (adopted) | Satisfaction | |
| #NO93 | definition | rigid designator | node (adopted) | Rigid designator | |
| #NPTP | definition | bottom | node (adopted) | Bottom | |
| #NQDH | definition | permutation | deferred until 2027-05-01 | the item has its own article, page 44027 | |
| #NU5V | definition | revision theory of truth | deferred until 2027-05-01 | the item has its own article, page 46800280 | |
| #NUBP | definition | logical connective | deferred until 2027-05-01 | the item has its own article, page 18153 | |
| #NW8I | definition | transitivity | deferred until 2027-05-01 | node 0GJZW9JFZQ has the same name, and a person decides if they are one item | |
| #O0UF | definition | falsity | deferred until 2027-05-01 | the item has its own article, page 1875809 | |
| #O0YX | definition | adjunction | deferred until 2027-05-01 | the item has its own article, page 644032 | |
| #O1V7 | definition | subalternation | deferred until 2027-05-01 | the item has its own article, page 26107662 | |
| #O1XY | definition | deductivism | deferred until 2027-05-01 | the item has its own article, page 386398 | |
| #O2L8 | definition | provability predicate | node (adopted) | Provability predicate | |
| #O2UI | definition | universal variable | node (adopted) | Universal variable | |
| #O69Q | definition | situation semantics | deferred until 2027-05-01 | the item has its own article, page 13279065 | |
| #O6IM | definition | abduction | node (adopted) | Abduction | |
| #O7ZD | definition | inner model | deferred until 2027-05-01 | the item has its own article, page 1118686 | |
| #O8G5 | definition | finitary arithmetic | node (adopted) | Finitary arithmetic | |
| #O8TA | definition | temperature paradox | deferred until 2027-05-01 | the item has its own article, page 68292003 | |
| #OFGX | definition | effective procedure | deferred until 2027-05-01 | the item has its own article, page 12979890 | |
| #OGLS | definition | higher-order logic | deferred until 2027-05-01 | the item has its own article, page 562883 | |
| #OL2Z | definition | multivalent logic | deferred until 2027-05-01 | the item has its own article, page 38024 | |
| #OLH3 | definition | universal quantifier | deferred until 2027-05-01 | the item has its own article, page 76174 | |
| #OT7B | definition | predicate functor logic | deferred until 2027-05-01 | the item has its own article, page 15282871 | |
| #OTFS | definition | enthymeme | deferred until 2027-05-01 | the item has its own article, page 515973 | |
| #OTSD | definition | transposition | deferred until 2027-05-01 | node 02DTRYKGE8 has the same name, and a person decides if they are one item | |
| #OTXL | definition | tu quoque | deferred until 2027-05-01 | the item has its own article, page 1090534 | |
| #OU7X | definition | holism | node (adopted) | Holism | |
| #OV5E | definition | fallacy | deferred until 2027-05-01 | the item has its own article, page 53986 | |
| #OV9C | definition | abstraction principle | node (adopted) | Abstraction principle | |
| #OW4S | definition | deflationism | deferred until 2027-05-01 | the item has its own article, page 601131 | |
| #OX1I | definition | weak paraconsistency | node (adopted) | Weak paraconsistency | |
| #OYLR | definition | recursion | deferred until 2027-05-01 | the item has its own article, page 25407 | |
| #OZZ7 | definition | denumerable | deferred until 2027-05-01 | the item has its own article, page 6026 | |
| #P6CP | definition | skolemization | deferred until 2027-05-01 | the item has its own article, page 421074 | |
| #P77G | definition | verity | node (adopted) | Verity | |
| #P78W | definition | partial logic | node (adopted) | Partial logic | |
| #P9BS | definition | subformula | deferred until 2027-05-01 | the item has its own article, page 404582 | |
| #PAKM | definition | inductive step | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #PBH2 | definition | subaltern | node (adopted) | Subaltern | |
| #PCCT | definition | first-order logic | deferred until 2027-05-01 | the item has its own article, page 10983 | |
| #PHAA | definition | schema | node (adopted) | Schema | |
| #PI2W | definition | formula | deferred until 2027-05-01 | the item has its own article, page 164040 | |
| #PJ5L | definition | recursive function | node (adopted) | Recursive function | |
| #PNS7 | definition | relational semantics | deferred until 2027-05-01 | the item has its own article, page 911960 | |
| #POCW | definition | infix notation | deferred until 2027-05-01 | the item has its own article, page 199014 | |
| #PR4E | definition | intuitionistic mathematics | deferred until 2027-05-01 | the item has its own article, page 19513 | |
| #PRH9 | definition | sophism | deferred until 2027-05-01 | the item has its own article, page 53986 | |
| #PW50 | definition | wff | node (adopted) | Wff | |
| #PZ78 | definition | higher-order variable | node (adopted) | Higher-order variable | |
| #Q0A7 | definition | cogent inductive argument | node (adopted) | Cogent inductive argument | |
| #Q0TK | definition | supposition | deferred until 2027-05-01 | the item has its own article, page 5395098 | |
| #Q1YH | definition | bijective | deferred until 2027-05-01 | the item has its own article, page 3942 | |
| #Q34G | definition | branching quantifier | deferred until 2027-05-01 | the item has its own article, page 3573834 | |
| #Q3BO | definition | interpretation | deferred until 2027-05-01 | the item has its own article, page 14511671 | |
| #Q6X2 | definition | proof by induction | deferred until 2027-05-01 | the item has its own article, page 18881 | |
| #Q9IN | definition | Polish notation | deferred until 2027-05-01 | the item has its own article, page 25056 | |
| #Q9R7 | definition | inference to the best explanation | deferred until 2027-05-01 | the item has its own article, page 60459 | |
| #QC1O | definition | truth function | deferred until 2027-05-01 | the item has its own article, page 604707 | |
| #QC37 | definition | major term | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #QE2V | definition | supertask | deferred until 2027-05-01 | the item has its own article, page 314383 | |
| #QH3A | definition | definiens | deferred until 2027-05-01 | the item has its own article, page 7964 | |
| #QIKM | definition | hereditary property | deferred until 2027-05-01 | the item has its own article, page 13552465 | |
| #QL76 | definition | polyadic first-order logic | node (adopted) | Polyadic first-order logic | |
| #QLNI | definition | higher-order quantifier | node (adopted) | Higher-order quantifier | |
| #QM86 | definition | literal | deferred until 2027-05-01 | the item has its own article, page 7792761 | |
| #QN4C | definition | propositional function | deferred until 2027-05-01 | the item has its own article, page 229146 | |
| #QN4Y | definition | sequent | deferred until 2027-05-01 | the item has its own article, page 252355 | |
| #QNUI | definition | natural numbers | deferred until 2027-05-01 | the item has its own article, page 21474 | |
| #QO25 | definition | semantically closed language | node (adopted) | Semantically closed language | |
| #QOHO | definition | category theory | deferred until 2027-05-01 | the item has its own article, page 5869 | |
| #QOYT | definition | nand | node (adopted) | Nand | |
| #QPTN | definition | weak completeness | node (adopted) | Weak completeness | |
| #QTD7 | definition | ternary relation | deferred until 2027-05-01 | the item has its own article, page 3784565 | |
| #QTGA | definition | factivity | node (adopted) | Factivity | |
| #QTUH | definition | dilemma | deferred until 2027-05-01 | the item has its own article, page 1618182 | |
| #QU8U | definition | intended interpretation | deferred until 2027-05-01 | the item has its own article, page 14511671 | |
| #QVQE | definition | monotonicity | deferred until 2027-05-01 | the item has its own article, page 48260 | |
| #QW8J | definition | affirming the consequent | deferred until 2027-05-01 | the item has its own article, page 675 | |
| #QWMY | definition | monism | node (adopted) | Monism | |
| #QYW6 | definition | modal logic | deferred until 2027-05-01 | the item has its own article, page 333365 | |
| #QZBG | definition | halting problem | deferred until 2027-05-01 | the item has its own article, page 21391870 | |
| #R0FJ | definition | Aristotle's sea battle | node (adopted) | Aristotle's sea battle | |
| #R19E | definition | logic of weak excluded middle | node (adopted) | Logic of weak excluded middle | |
| #R21G | definition | modal possibilism | node (adopted) | Modal possibilism | |
| #R70L | definition | Boolean algebra | deferred until 2027-05-01 | the item has its own article, page 3959 | |
| #RA27 | definition | dynamic modal logic | node (adopted) | Dynamic modal logic | |
| #RC3V | definition | dialethic logic | node (adopted) | Dialethic logic | |
| #RCLW | definition | field | deferred until 2027-05-01 | the item has its own article, page 10603 | |
| #RDS8 | definition | left field | node (adopted) | Left field | |
| #RF6R | definition | bounded quantifier | deferred until 2027-05-01 | the item has its own article, page 5824808 | |
| #RG4X | definition | truth-teller | node (adopted) | Truth-teller | |
| #RGSD | definition | post hoc, ergo propter hoc | deferred until 2027-05-01 | the item has its own article, page 174725 | |
| #RIB3 | definition | dense | node (adopted) | Dense | |
| #RJAF | definition | strong counterexample | node (adopted) | Strong counterexample | |
| #RMJR | definition | destructive dilemma | deferred until 2027-05-01 | the item has its own article, page 1316878 | |
| #RMSN | definition | syntax | deferred until 2027-05-01 | the item has its own article, page 26860 | |
| #RMX8 | definition | Hume's principle | deferred until 2027-05-01 | the item has its own article, page 314743 | |
| #RNNF | definition | model | deferred until 2027-05-01 | node CWQV9PTCB3 has the same name, and a person decides if they are one item | |
| #RTB4 | definition | modal actualism | node (adopted) | Modal actualism | |
| #RYWR | definition | logical paradox | deferred until 2027-05-01 | the item has its own article, page 24390 | |
| #S1IJ | definition | pairing function | deferred until 2027-05-01 | the item has its own article, page 1145848 | |
| #S1WR | definition | gap | node (adopted) | Gap | |
| #S2NM | definition | contextualism | node (adopted) | Contextualism | |
| #S6FB | definition | one-to-one | node (adopted) | One-to-one | |
| #S6Y4 | definition | concrete object | node (adopted) | Concrete object | |
| #SGZ2 | definition | deductive validity | deferred until 2027-05-01 | the item has its own article, page 61093 | |
| #SH6F | definition | plural quantification | deferred until 2027-05-01 | the item has its own article, page 444789 | |
| #SHGG | definition | particular proposition | deferred until 2027-05-01 | the item has its own article, page 2418429 | |
| #SIEP | definition | nominalism | deferred until 2027-05-01 | the item has its own article, page 21176 | |
| #SIR7 | definition | iteration theorem | node (adopted) | Iteration theorem | |
| #SK7F | definition | proof by cases | deferred until 2027-05-01 | the item has its own article, page 359970 | |
| #SKL4 | definition | free logic | deferred until 2027-05-01 | the item has its own article, page 1635110 | |
| #SMEG | definition | monomorphism | deferred until 2027-05-01 | the item has its own article, page 59538 | |
| #SNHR | definition | markov's principle | deferred until 2027-05-01 | the item has its own article, page 14920509 | |
| #SO6K | definition | homomorphism | deferred until 2027-05-01 | the item has its own article, page 13564 | |
| #SPG8 | definition | necessity of identity | node (adopted) | Necessity of identity | |
| #SRQ4 | definition | ramsey sentence | deferred until 2027-05-01 | the item has its own article, page 4408655 | |
| #STKQ | definition | trans-world identity | deferred until 2027-05-01 | the item has its own article, page 89532 | |
| #SU39 | definition | syncategorematic terms | node (adopted) | Syncategorematic terms | |
| #SW5Y | definition | monadic predicate | node (adopted) | Monadic predicate | |
| #SWH5 | definition | triviality | deferred until 2027-05-01 | the item has its own article, page 193053 | |
| #SXSF | definition | propositional connective | node (adopted) | Propositional connective | |
| #SYJX | definition | sensible formula | node (adopted) | Sensible formula | |
| #SYU8 | definition | recursively axiomatizable theory | node (adopted) | Recursively axiomatizable theory | |
| #SZR8 | definition | syllogistic mood | node (adopted) | Syllogistic mood | |
| #T2TI | definition | hasty generalization | deferred until 2027-05-01 | the item has its own article, page 228851 | |
| #T34T | definition | punctuation | node (adopted) | Punctuation | |
| #T3WH | definition | ad hominem | deferred until 2027-05-01 | the item has its own article, page 2226 | |
| #T6KK | definition | paradoxes of material implication | deferred until 2027-05-01 | the item has its own article, page 12857474 | |
| #T7F0 | definition | false dichotomy | deferred until 2027-05-01 | the item has its own article, page 17687 | |
| #T94G | definition | de dicto | deferred until 2027-05-01 | the item has its own article, page 530256 | |
| #T9HM | definition | situation | node (adopted) | Situation | |
| #TA0P | definition | A-proposition | deferred until 2027-05-01 | the item has its own article, page 81094 | |
| #TAX4 | definition | model theory | deferred until 2027-05-01 | the item has its own article, page 19858 | |
| #TEFP | definition | inference rule | deferred until 2027-05-01 | the item has its own article, page 252311 | |
| #TEQW | definition | universal elimination | deferred until 2027-05-01 | the item has its own article, page 1564194 | |
| #TES2 | definition | pure predicate logic | node (adopted) | Pure predicate logic | |
| #TFA8 | definition | truth value | deferred until 2027-05-01 | the item has its own article, page 161711 | |
| #TFLR | definition | Carnap-Ramsey sentence | deferred until 2027-05-01 | the item has its own article, page 4408655 | |
| #TFT9 | definition | explanans | deferred until 2027-05-01 | the item has its own article, page 14222722 | |
| #TG4A | definition | doxastic modal logic | node (adopted) | Doxastic modal logic | |
| #TKDT | definition | tautology | deferred until 2027-05-01 | the item has its own article, page 34896576 | |
| #TLXB | definition | hybrid logic | deferred until 2027-05-01 | the item has its own article, page 760848 | |
| #TN1J | definition | square of opposition | deferred until 2027-05-01 | the item has its own article, page 246976 | |
| #TNG0 | definition | Ramsey test | deferred until 2027-05-01 | the item has its own article, page 44316374 | |
| #TNGA | definition | connected | node (adopted) | Connected | |
| #TNW3 | definition | Bayes' theorem | deferred until 2027-05-01 | the item has its own article, page 49569 | |
| #TNWY | definition | recursive relation | deferred until 2027-05-01 | the item has its own article, page 146806 | |
| #TOMB | definition | "is" of predication | deferred until 2027-05-01 | the name does not start with a letter or a digit, so the name lost a part, such as math | |
| #TONA | definition | heterological | node (adopted) | Heterological | |
| #TQUS | definition | finite model theory | deferred until 2027-05-01 | the item has its own article, page 1773596 | |
| #TRK4 | definition | NP-complete | deferred until 2027-05-01 | the item has its own article, page 23385892 | |
| #TSHX | definition | truth-value gap | node (adopted) | Truth-value gap | |
| #TTM8 | definition | constant function | deferred until 2027-05-01 | the item has its own article, page 320861 | |
| #TTT2 | definition | causal modal logic | node (adopted) | Causal modal logic | |
| #TU2R | definition | model-theoretic validity | node (adopted) | Model-theoretic validity | |
| #TUD0 | definition | logical validity | deferred until 2027-05-01 | the item has its own article, page 21304742 | |
| #TYCP | definition | strict conditional | deferred until 2027-05-01 | the item has its own article, page 663772 | |
| #U22J | definition | prelinearity axiom | node (adopted) | Prelinearity axiom | |
| #U2QK | definition | Robinson arithmetic | deferred until 2027-05-01 | the item has its own article, page 2544440 | |
| #U2VP | definition | bad company objection | node (adopted) | Bad company objection | |
| #U41G | definition | existential quantifier | deferred until 2027-05-01 | the item has its own article, page 91420 | |
| #U59P | definition | syllogistic terms | node (adopted) | Syllogistic terms | |
| #U71R | definition | compound statement | node (adopted) | Compound statement | |
| #U8VP | definition | tribar | node (adopted) | Tribar | |
| #U9RQ | definition | strict implication | deferred until 2027-05-01 | the item has its own article, page 663772 | |
| #UFJE | definition | vicious circle principle | deferred until 2027-05-01 | the item has its own article, page 24709966 | |
| #UGQG | definition | recursive function theory | deferred until 2027-05-01 | the item has its own article, page 26469 | |
| #UI64 | definition | Aristotle's theses | node (adopted) | Aristotle's theses | |
| #UILJ | definition | inconsistency | deferred until 2027-05-01 | the item has its own article, page 75802 | |
| #UJB5 | definition | iff | deferred until 2027-05-01 | the item has its own article, page 14922 | |
| #UJZY | definition | main operator | deferred until 2027-05-01 | the item has its own article, page 48347082 | |
| #UKDJ | definition | objectual quantifier | node (adopted) | Objectual quantifier | |
| #UMCA | definition | many-valued logic | deferred until 2027-05-01 | the item has its own article, page 38024 | |
| #UMP3 | definition | "Fido"-Fido principle | deferred until 2027-05-01 | the name does not start with a letter or a digit, so the name lost a part, such as math | |
| #UO0Y | definition | metatheory | deferred until 2027-05-01 | the item has its own article, page 4823199 | |
| #UQ8J | definition | syllogism | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #UQYH | definition | upward Löwenheim–Skolem theorem | deferred until 2027-05-01 | the item has its own article, page 341482 | |
| #USJF | definition | extensional logic | deferred until 2027-05-01 | the item has its own article, page 1601765 | |
| #USYQ | definition | relative consistency proof | node (adopted) | Relative consistency proof | |
| #UURM | definition | excluded middle | deferred until 2027-05-01 | the item has its own article, page 17637 | |
| #UXB1 | definition | Gödel numbering | deferred until 2027-05-01 | the item has its own article, page 207790 | |
| #UYSQ | definition | ordered pair | deferred until 2027-05-01 | the item has its own article, page 22362 | |
| #V1C0 | definition | distribution | deferred until 2027-05-01 | the item has its own article, page 2976052 | |
| #V32V | definition | definite description | node (adopted) | Definite description | |
| #VA0F | definition | seriality | node (adopted) | Seriality | |
| #VAEV | definition | Löwenheim–Skolem theorem | deferred until 2027-05-01 | the item has its own article, page 341482 | |
| #VB7T | definition | island of knights and knaves | node (adopted) | Island of knights and knaves | |
| #VBWY | definition | linear order | deferred until 2027-05-01 | the item has its own article, page 30330 | |
| #VFUV | definition | frame semantics | node (adopted) | Frame semantics | |
| #VI4N | definition | inferentialism | node (adopted) | Inferentialism | |
| #VILT | definition | knaves | node (adopted) | Knaves | |
| #VLI9 | definition | negative proposition | node (adopted) | Negative proposition | |
| #VN1U | definition | disjunctive syllogism | deferred until 2027-05-01 | the item has its own article, page 7963 | |
| #VNE3 | definition | antisymmetry | deferred until 2027-05-01 | node 0M0H1ZH8TT has the same name, and a person decides if they are one item | |
| #VON1 | definition | truth table | deferred until 2027-05-01 | the item has its own article, page 25512250 | |
| #VORP | definition | substitutional quantifier | node (adopted) | Substitutional quantifier | |
| #VP28 | definition | indexical | deferred until 2027-05-01 | the item has its own article, page 1029182 | |
| #VR4W | definition | Entscheidungsproblem | deferred until 2027-05-01 | the item has its own article, page 9672 | |
| #VVQP | definition | inclusive or | deferred until 2027-05-01 | the name ends with a small word or has a gap, so the name lost a part, such as math | |
| #VZ6H | definition | quantifier | deferred until 2027-05-01 | the item has its own article, page 43507260 | |
| #W04V | definition | exportation | deferred until 2027-05-01 | the item has its own article, page 34769960 | |
| #W18J | definition | provability logic | deferred until 2027-05-01 | the item has its own article, page 618119 | |
| #W3C6 | definition | successor function | deferred until 2027-05-01 | the item has its own article, page 325637 | |
| #W4E8 | definition | monadic predicate logic | deferred until 2027-05-01 | the item has its own article, page 8015680 | |
| #W5JB | definition | converse | deferred until 2027-05-01 | the item has its own article, page 155941 | |
| #W6BD | definition | joint denial | deferred until 2027-05-01 | the item has its own article, page 209154 | |
| #W7VH | definition | busy beaver problem | deferred until 2027-05-01 | the item has its own article, page 67911 | |
| #W873 | definition | s-m-n theorem | deferred until 2027-05-01 | the item has its own article, page 2330936 | |
| #W9ZS | definition | commutativity | deferred until 2027-05-01 | the item has its own article, page 294390 | |
| #WA8B | definition | minor term | deferred until 2027-05-01 | the item has its own article, page 48046 | |
| #WAPG | definition | prenex normal form | deferred until 2027-05-01 | the item has its own article, page 421068 | |
| #WB4O | definition | conjunct | node (adopted) | Conjunct | |
| #WDWZ | definition | ramified theory of types | deferred until 2027-05-01 | the item has its own article, page 24133 | |
| #WGP3 | definition | abstraction operator | deferred until 2027-05-01 | the item has its own article, page 18203 | |
| #WH3M | definition | combinatory terms | node (adopted) | Combinatory terms | |
| #WHAX | definition | quality | node (adopted) | Quality | |
| #WHD5 | definition | abstract object | node (adopted) | Abstract object | |
| #WI2O | definition | Kleene connectives | node (adopted) | Kleene connectives | |
| #WLG5 | definition | natural deduction | deferred until 2027-05-01 | the item has its own article, page 51072 | |
| #WM8C | definition | conditional logic | deferred until 2027-05-01 | the item has its own article, page 81395508 | |
| #WNT5 | definition | inconsistent arithmetic | node (adopted) | Inconsistent arithmetic | |
| #WOE6 | definition | contrary | node (adopted) | Contrary | |
| #WRQR | definition | demonstrative | node (adopted) | Demonstrative | |
| #WS33 | definition | accessibility relation | deferred until 2027-05-01 | the item has its own article, page 3708585 | |
| #WTI4 | definition | predicate term | node (adopted) | Predicate term | |
| #WWQR | definition | a priori | deferred until 2027-05-01 | the name starts with an article, and a person gives the name | |
| #X11H | definition | absorption | deferred until 2027-05-01 | the item has its own article, page 34620850 | |
| #X16I | definition | proposition | deferred until 2027-05-01 | the item has no name of its own, and the write role names it | |
| #X2QL | definition | disjunct | node (adopted) | Disjunct | |
| #X4OZ | definition | translation lemma | deferred until 2027-05-01 | the item has its own article, page 2330936 | |
| #X724 | definition | material conditional | deferred until 2027-05-01 | the item has its own article, page 658808 | |
| #X8FX | definition | category | deferred until 2027-05-01 | the item has its own article, page 28662219 | |
| #X9Y6 | definition | classical logic | deferred until 2027-05-01 | the item has its own article, page 55868 | |
| #XA7W | definition | normal modal logic | deferred until 2027-05-01 | the item has its own article, page 911820 | |
| #XAAL | definition | possibility | node (adopted) | Possibility | |
| #XCZV | definition | syntactic consequence | deferred until 2027-05-01 | the item has its own article, page 37531624 | |
| #XE4A | definition | implication | deferred until 2027-05-01 | node 0NMG7W7Q11 has the same name, and a person decides if they are one item | |
| #XM5W | definition | weak mathematical induction | node (adopted) | Weak mathematical induction | |
| #XNCR | definition | compound formula | node (adopted) | Compound formula | |
| #XQBW | definition | directed | node (adopted) | Directed | |
| #XSF2 | definition | liar paradox | deferred until 2027-05-01 | the item has its own article, page 17967 | |
| #XSYJ | definition | equivocation | deferred until 2027-05-01 | the item has its own article, page 17690 | |
| #XXEK | definition | generalized quantifier | deferred until 2027-05-01 | the item has its own article, page 7959499 | |
| #XZGR | definition | logical constant | deferred until 2027-05-01 | the item has its own article, page 4089175 | |
| #Y076 | definition | free choice sequence | node (adopted) | Free choice sequence | |
| #Y0IQ | definition | assertion | node (adopted) | Assertion | |
| #Y0NH | definition | deontic modal logic | deferred until 2027-05-01 | the item has its own article, page 1343980 | |
| #Y14M | definition | unary relation | deferred until 2027-05-01 | the item has its own article, page 19509 | |
| #Y1SU | definition | sorites paradox | deferred until 2027-05-01 | the item has its own article, page 231687 | |
| #Y23N | definition | infinitary | deferred until 2027-05-01 | the item has its own article, page 404456 | |
| #Y3JW | definition | incompleteness theorem | deferred until 2027-05-01 | the item has its own article, page 58863 | |
| #Y50O | definition | Scott | deferred until 2027-05-01 | the text of the item has no full sentence, so the write role writes the text (WP9.2) | |
| #Y56V | definition | primitive recursion | deferred until 2027-05-01 | the item has its own article, page 24829 | |
| #Y585 | definition | Boolean operator | node (adopted) | Boolean operator | |
| #Y5Q0 | definition | non-deterministic polynomial time | node (adopted) | Non-deterministic polynomial time | |
| #Y6PF | definition | mathematical logic | deferred until 2027-05-01 | the item has its own article, page 19636 | |
| #Y845 | definition | explanandum | deferred until 2027-05-01 | the item has its own article, page 14222722 | |
| #Y8AR | definition | independence-friendly logic | deferred until 2027-05-01 | the item has its own article, page 1974007 | |
| #Y8B6 | definition | conversion | deferred until 2027-05-01 | the item has its own article, page 18203 | |
| #Y9DI | definition | intensional logic | deferred until 2027-05-01 | the item has its own article, page 1601765 | |
| #YEK3 | definition | liar sentence | node (adopted) | Liar sentence | |
| #YFG4 | definition | logic gate | node (adopted) | Logic gate | |
| #YFIP | definition | dialetheism | deferred until 2027-05-01 | the item has its own article, page 591359 | |
| #YGWY | definition | binary function | deferred until 2027-05-01 | the item has its own article, page 3943 | |
| #YJET | definition | cut elimination | deferred until 2027-05-01 | the item has its own article, page 910234 | |
| #YKMP | definition | Henkin semantics | deferred until 2027-05-01 | the item has its own article, page 341428 | |
| #YM6J | definition | analysis | deferred until 2027-05-01 | the item has its own article, page 1134 | |
| #YN18 | definition | LP | deferred until 2027-05-01 | the term is an abbreviation, and the node takes the full name | |
| #YOY9 | definition | onto | deferred until 2027-05-01 | the item has its own article, page 27873 | |
| #YRBR | definition | ordered logic | deferred until 2027-05-01 | the item has its own article, page 562883 | |
| #YUHV | definition | falsemaker | node (adopted) | Falsemaker | |
| #YVCC | definition | Kreisel-Putnam logic | deferred until 2027-05-01 | the item has its own article, page 769022 | |
| #YWTJ | definition | fixed point | deferred until 2027-05-01 | the item has its own article, page 449738 | |
| #YYGA | definition | formal consequence | node (adopted) | Formal consequence | |
| #Z428 | definition | horn | deferred until 2027-05-01 | node 4BW0Y31347 has the same name, and a person decides if they are one item | |
| #Z4LI | definition | Lambek calculus | node (adopted) | Lambek calculus | |
| #Z5X4 | definition | abstraction | deferred until 2027-05-01 | the item has its own article, page 2972 | |
| #Z78G | definition | supervaluational semantics | node (adopted) | Supervaluational semantics | |
| #Z9RQ | definition | negation normal form | deferred until 2027-05-01 | the item has its own article, page 554622 | |
| #ZBWX | definition | modus ponens | deferred until 2027-05-01 | the item has its own article, page 18900 | |
| #ZH5D | definition | sense | node (adopted) | Sense | |
| #ZHHG | definition | minimalism | node (adopted) | Minimalism | |
| #ZL16 | definition | logical truth | deferred until 2027-05-01 | the item has its own article, page 3986852 | |
| #ZLKP | definition | falsum | deferred until 2027-05-01 | the item has its own article, page 25016871 | |
| #ZM31 | definition | Caesar problem | node (adopted) | Caesar problem | |
| #ZNFI | definition | transitive closure | deferred until 2027-05-01 | the item has its own article, page 292239 | |
| #ZNZN | definition | molecule | node (adopted) | Molecule | |
| #ZOWP | definition | congruence relation | deferred until 2027-05-01 | the item has its own article, page 48167 | |
| #ZS0M | definition | converse barcan formula | deferred until 2027-05-01 | the item has its own article, page 245298 | |
| #ZSND | definition | coherence theory of truth | node (adopted) | Coherence theory of truth | |
| #ZTYJ | definition | deterministic polynomial time | node (adopted) | Deterministic polynomial time | |
| #ZUVD | definition | neo-Fregeanism | deferred until 2027-05-01 | the item has its own article, page 350672 | |
| #ZV3T | definition | categorical proposition | deferred until 2027-05-01 | the item has its own article, page 2418429 | |
| #ZXWI | definition | indeterminacy of translation | node (adopted) | Indeterminacy of translation |
Refer to Wikipedia articles and their nodes for the other articles.