Abacus logic — Abduction (logic) — Abductive validation — Affine logic — Affirming the antecedent –Affirming the consequent — Antecedent — Antinomy —
Argument form — Aristotelian logic — Axiom — Axiomatic system — Axiomatization
Zpětné řetězení — Barcanův vzorec — Bipodmíněná eliminace — Bipodmíněný úvod — Bivalence a příbuzné zákony — Booleova algebra (logika) — Booleova algebra (struktura)
Kategorická logika — Clocked logic –Cointerpretability –College logic — Combinational logic — Combinatory logic — Computability logic — Podmíněný — Podmíněný důkaz — Conjunction elimination –Conjunction introduction — Conjunctive normal form — Consequent — Constructive dilema — Contradiction — Contrapositive — Control logic — Converse (logic) — Converse Barcan formula — Cotolerance — Counterfactual conditional — Curryho paradox
De Morganovy zákony — Dedukční věta — Deduktivní uvažování — Stupeň pravdy — Popírání předchůdce — Deviantní logika — Disjunkční eliminace — Disjunkční úvod — Disjunktivní normální forma — Disjunktivní sylogismus — Dvojnásobně negativní — Dvojnásobně negativní eliminace
Eliminační pravidlo — Koncový termín — Exkluzivní ani — Exkluzivní nebo — Existenciální klam — Existenciální kvantifikace
Fallacy of distribution — Fallacy of the four terms — Predikát prvního řádu – Predikát prvního řádu – Predikát prvního řádu – Rozlišení prvního řádu — Fluidic logic — Forward chaining — Volné proměnné a vázané proměnné — Fuzzy logic
Heytingova algebra — predikát vyššího řádu — Hornova klauzule — Hypotetický sylogismus
Iff — Illicit major — Illicit minor — Implicant — Inductive logic — Inductive logic programming — Inference procedure — Inference rule — Infinitary logic — Informal logic — Intensional statement –Interpretability — Interpretability logic — Introduction rule –Intuitionistic linear logic — Intuitionistic logic — Invalid proof — Inverse (logic)
jazyk — Laterální myšlení — Zákon vyloučeného středu — Zákon neodporu — Zákony logiky — Zákony tvaru — Lineární logika — Logická — Logická brána — Logický argument — Logické tvrzení — Logické dvojsmyslné — Logický podmíněný — Logická spojka — Logická disjunkce — Logická ekvivalence — Logický klam — Logický jazyk — Logický nand — Logický nor — Logický operátor — Logika — Logické programování –logico-lingvistické modelování
Hlavní předpoklad — Hlavní pojem — Matematická logika — Mereologie — Metalogická — Střední pojem — Minimální logika — Vedlejší předpoklad — Modální logika — Modus ponens — Modus tollens — Vícehodnotová logika
Naivní teorie množin — Přirozená dedukce — Nutná a dostatečná — Negace — Nearistotelovská logika — Nonfirstorderizabilita — Non-monotonická logika — Non sequitur (logika)
Otevřená věta — Uspořádaná logika
Parakonzistentní logika — Paradox — Piercův zákon — Množné číslo kvantifikace –Polská notace — Polysyllogismus –Predikát — Principia Mathematica — Princip bivalence — Důkazová teorie — Propozice — Propoziční počet — Prokazatelnost logika
Kvantifikace — Kvantová logika — Quod erat demonstrandum
Reductio ad absurdum — Relevantní logika — Pravidlo odvození
Uspokojivost — Scholastická logika — Predikát druhého řádu — Sebereference — Sekvenční — Sekvenční počet — Sekvenční logika — Singulární termín — Zvukovost — Čtverec opozice — Striktní podmíněnost — Striktní implikace — Striktní logika — Strukturální pravidlo — Dostatečná podmínka — Syllogismus — Syllogistický klam
Tautologie — Časová logika — Termín — Termínová logika — Ternární logika — Věta — Tolerance — Trilemma –Pravda — Podmínka pravdy — Funkce pravdy — Hodnota pravdy — Typová teorie
Unifikace — Univerzální kvantifikace — Uniqueness kvantifikace
Volná pravda — Platnost — Vennův diagram