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.

Theory

  • A set of formulas T is a theory if it is closed under logical consequence. This means that, for every formula A , if T A , then A is in T

  • Let U be a set of formulas. Then, the set of all consequences of U

    T ( U ) = { A | U A }

    is called the theory of U . The formulas in U are called the axioms for the theory T(U) .


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.