RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Proof Examples: Predicate Logic Prover

This document is better viewed as Mathematica notebook. If you do not have an installation of Mathematica 4.0 or later, then you can download MathReader free of charge.

Proof Examples

Introductory Examples

Propositional Theorems on Implication

Quantified Theorems on Implication

Propositional Logic is Boolean Algebra

New Examples with Predicate Logic Prover