Give a formal proof of p r p q r. Use only the
Fantastic news! We've Found the answer you've been seeking!
Question:
Give a formal proof of
p → r ⊢ p ∧ q → r.
Use only the inference rules IR01–IR12.
Related Book For
Artificial Intelligence A Modern Approach
ISBN: 978-0137903955
2nd Edition
Authors: Stuart J. Russell and Peter Norvig
Posted Date: