SRULE : inference rule

Miscellaneous Rules

Propositional Rules

Negation Rules

Quantifier Rules

Substitution Rules

Equality Rules

Definition Rules

Lambda Conversion Rules



© 2000, Carnegie Mellon University.

ETPS documentation homepage

TPS homepage