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.
Logical Consequence (i.e. Entailment)

Let U be a set of formulas and A a formula. A is a (logical) consequence of U , if any interpretation v which is a model of U is also a model for A :

U ⊧ A

Example:
If some interpretation v is a model for the set
it must satisfy but in this interpretation, we also have