Declarative Rule

• Name: ND modus ponens
• Description in English: If A holds and A implies B then B holds.
• Rule Specification: p; '(implies ' p q ')' |- q;; (Sent p q)
• Specification Language: Proof Protocol for Deductive Reasoning (PPDR)
• Example in English: If every wine of type Chardonnay is WHITE ((type ?x Chardonnay) -> (hasColor ?x WHITE)) and WINE1 is of type Chardonnay (type WINE1 Chardonnay) then WINE1 is white (hasColor WINE1 WHITE).
• Source(s):
  • Name: Basic Proof Theory
  • Author(s):
    • Name: Anne S. Troelstra
    • URL: http://turing.wins.uva.nl/~anne/

    ---

    • Name: Helmut Schwichtenberg
    • URL: http://www.mathematik.uni-muenchen.de/personen/schwichtenberg.html

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.