Pages in Logic

https://en.wikipedia.org/wiki/Atomic_sentence https://en.wikipedia.org/wiki/Domain_of_discourse https://en.wikipedia.org/wiki/First-order_logic https://en.wikipedia.org/wiki/Monotonicity_of_entailment https://en.wikipedia.org/wiki/Non-monotonic_logic https://en.wikipedia.org/wiki/Predicate_(mathematical_logic) https://en.wikipedia.org/wiki/Propositional_variable

Abductive reasoning Affine logic Argument BHK interpretation Bunched logic Categorical proposition Classical logic Combinatory logic Consequence Deduction systems Deduction theorem Deductive reasoning Fallacy Formula Formal language Formula Functional completness Hilbert system Hoare logic Horn clause Inductive reasoning Inference rules Interpretation of logic symbols Judgment Linear logic Logic in CS Logic systems Logical connective Logical consequence Logical equivalence Logical reasoning Ludics Mathematical logic Modal logic Natural deduction Non-monotonic logic Proof Calculus Proof theory Realizability Relevance logic Rule of inference Satisfiability Semantics Separation logic Structural rules Substitution Substructural logics Syllogistic logic Tautology Truth-function Term Unification Validity