Last updated Unknown

Status: Tags: Links: Logic and Formal Reasoning

Logic Inference

slide 6

• Computerized Logic Inference
• Sequence of statements
  • Either a premise, or an inference from a previous statement
  • Used to create a conclusion from given premises

Showing work

• Number the given steps
  • Have a column for the step and (p ^ q) a reason (premise)
• Get rid of useless premises early by simplifying them
• Refer to slide 6-5

Counterexample

• Choosing a test case where premises are true but conclusion is false

Examples

• Slide 6-6
  • Lady and tiger puzzle

Backlinks

1

list from Logic Inference AND !outgoing(Logic Inference)

References:

Created:: 2021-09-20 09:08