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) .