Inference Rules

This post is also available in: Spanish

Inference Rules

Inference rules are a set of rules for getting new true statements out of others. The laws of logics are inference rules. For example, one can use the law “if ‘a’, then ‘a’ or ‘b’”, and use it to infer from “roses are red” that “roses are red or blue”, which is also a true statement.

Share and Enjoy:
  • Digg
  • del.icio.us
  • Facebook
  • Yahoo! Buzz
  • Twitter
  • Google Bookmarks
  • Bitacoras.com
  • Google Buzz
  • Meneame
  • Reddit
  • RSS

Leave a Reply

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>