Declarative Rule
Name
: ND or elimination
Rule Specification
: '(or ' p q ')'; r, [p]; r,[q] |- r;; (Sent p q r)
Specification Language
:
Proof Protocol for Deductive Reasoning (PPDR)
(
Registration details...
)
Inference Web: [
Home
|
Spec
|
Browser
|
IWBase
|
Registrar
|
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
