Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.


  • An important component in the treatment of proofs is the notion of a schema

  • A schema is an expression satisfying the grammatical rules of our language except for the occurrence of metavariables in place of various subparts of the expression.

    • For example, the following expression is a pattern with metavariables φ and ψ.

    φ → (ψ → φ)

  • An instance of a sentence schema is the expression obtained by substituting expressions for the metavariables.

    • For example, the following is an instance of the preceding schema.

    p →( q p )

Speaker notes:

Content Tools


There are currently no sources for this slide.