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.

Truth Table Method

  • One way of determining whether or not a set of premises logically entails a possible conclusion is to check the truth table for the logical constants of the language

  • This is called the truth table method and can be formalized as follows:

    • Step 1: Starting with a complete truth table for the propositional constants, iterate through all the premises of the problem, for each premise eliminating any row that does not satisfy the premise

    • Step 2: Do the same for the conclusion

    • Step 3: Finally, compare the two tables; If every row that remains in the premise table, i.e. is not eliminated, also remains in the conclusion table, i.e. is not eliminated, then the premises logically entail the conclusion

Speaker notes:

Content Tools


There are currently no sources for this slide.