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


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.