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.

Step 3: Comparing tables

  • Finally, in order to make the determination of logical entailment, we compare the two rightmost tables and notice that every row remaining in the premise table also remains in the conclusion table.

    • In other words, the premises logically entail the conclusion.

  • The truth table method has the merit that it is easy to understand

    • It is a direct implementation of the definition of logical entailment.

  • In practice, it is awkward to manage two tables, especially since there are simpler approaches in which only one table needs to be manipulated

    • Validity Checking

    • Unsatisfability Checking


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.