Foundations of Mathematics > Logic > 

General Logic

Abstraction Operator Game of Logic Quantifier
Alethic General Quantifier Reduction Order
Analogy Generalized Completene... Reduction System
Analysis Goal Regular Expression
Atom Grammar Resolution
Atomic Statement Ground Atom Resolution Principle
Axiom Schema Ground Clause Robbins Algebra
Bivalent Ground Literal Robbins Axiom
Boolean Connective Herbrand Base Robbins Conjecture
Boolean Operator Herbrand's Theorem Rule of Inference
Bound Variable Herbrand Universe Satisfiable
Caliban Puzzle Horn Clause Schema
Church-Rosser Property Hypothesis Sentence
Church-Rosser Theorem Implication Sentential Formula
Clause Independence Axiom Sentential Variable
Closed Sentential Formula Individual Sequent Calculus
Combinator Interpretation Skolem Function
Combinatory Logic Intuitionistic Logic Skolem Standard Form
Conclusion K-Map Skolemization
Confluence Karnaugh Map Skolemized Form
Confluent Knuth-Bendix Algorithm Statement Form
Conjunctive Normal Form Knuth-Bendix Completio... Statement Letter
Consistency Knuth-Bendix Procedure Strict Order
Consistency Strength König's Lemma Strong Variety
Constructive Dilemma KV-Map Structure
Contingency Lambda Calculus Structure Homomorphism
Contradiction Lambda Conversion Syllogism
Contradiction Law Law of the Excluded Mi... Symbolic Logic
Converse Literal Tautology
Critical Pair Logic Term
Crocodile's Dilemma Logos Term Rewriting System
Cut Elimination Theorem Löwenheim-Skolem Theorem Theory
de Morgan's Duality Law Markov Algorithm Three-Valued Logic
Deducible Maximal Ideal Theorem Total Function
Deduction Metalogic True
Deduction Theorem Metamathematics Truth Table
Definite Clause Metatheory Type
Disjunctive Normal Form Model Unifiable
Disjunctive Syllogism Modus Ponens Unification
Equational Logic Natural Independence P... Unifier
Equipollent Open Sentential Formula Univalent
Existential Closure P-Symbol Universal Algebra
Existential Quantifier Partial Function Universal Form
Existential Sentence Poretsky's Law Universal Formula
False Predicate Universal Predicate
Finitely Terminating Predicate Calculus Universal Property
First-Order Logic Premise Universal Quantifier
First-Order Predicate... Prenex Normal Form Universal Sentence
For All Proof Theory Unsatisfiable
For Some Propositional Calculus Validity
Formal Language Propositional Connective Variety
Formula Propositional Formula Vee
Free Variable Propositional Variable Veitch Diagram
Functional Calculus Quantified System Venn Diagram

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

 Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

 Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.
Computerbasedmath.org »

Join the initiative for modernizing math education.

 Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

 Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.
Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

 Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

 Wolfram Language »

Knowledge-based programming for everyone.