Declarative Rule
Name
: ND implication introduction
Rule Specification
: p, [q] |- '(implies ' q p ')';; (sent p q)
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.
