Professional Documents
Culture Documents
AI Presentation 07 10 2020
AI Presentation 07 10 2020
• This rule says that if you are given a sentence A, and a sentence A => B,
you may infer B
• e.g. and-elimination is this pair of rules:
• These two rules encode the (obvious!) fact that if the sentence A & B is
true, then A is true, and also B is true