The Language of Logic

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Overview
  • Motivation
  • Formality vs Informality
  • Preliminaries
  • Operational Interpretation
  • Equivalence of Formulas
  • Propositional Logic
  • Syntax of Propositional Logic
  • Syntax of Propositional Logic (Continued)
  • Logical Constants
  • Operational Interpretation
  • Negations
  • Operational Interpretation
  • Inversion of Negation
  • Conjunctions
  • Operational Interpretation
  • Conjunctive Laws
  • Proof
  • Notation
  • Disjunctions
  • Operational Interpretation
  • Disjunctive Laws
  • De Morgan's Laws
  • Notation
  • Exclusive Disjunction
  • Implication
  • Operational Interpretation
  • Implicative Laws
  • Equivalences
  • Operational Interpretation
  • Equivalence Laws
  • Propositional Logic
  • Logic Evaluator
  • Predicate Logic
  • Domain
  • Example
  • Predicate Logic
  • Terms
  • Operational Interpretation
  • Variables and Assignments
  • Operational Interpretation
  • Function Constants
  • Syntax of Terms
  • Natural Language Terms
  • Semantics of Terms
  • Examples
  • Operational Interpretation
  • Predicate Constants
  • Syntax of Atomic Formulas
  • Natural Language Atomic Formulas
  • Semantics of Atomic Formulas
  • Example
  • Operational Interpretation
  • Equality
  • Quantified Formulas
  • Universal Quantification
  • Operational Interpretation
  • Existential Quantification
  • Operational Interpretation
  • Syntax Analysis
  • Examples
  • Bound Variables
  • Closed Formulas
  • Abbreviations
  • Quantifier Patterns
  • Examples
  • De Morgan's Laws
  • Logic Evaluator
  • Local Definitions
  • Operational Interpretation
  • Example
  • Example
  • Abbreviation
  • Logic Evaluator
  • Example
  • Program Specification
  • Input and Output Conditions
  • Output Condition
  • Output Condition
  • Complete Specification
  • Logic Evaluator
  • Logic Evaluator
  • Summary

  • Author: Wolfgang Schreiner
    Last Modification: October 6, 1999

    [Up] [RISC-Linz] [University] [Search]