Theorem schema:
- Symbols are
p
, q
and -
.
- Axiom-defining scheme: If x consists only of hyphens, then
xt-qx-
is an axiom.
- Theorem production rule: If x, y and z consist only of hyphens, and
xtyqz
is known to be a theorem, then xty-qzx
is also a theorem.
index | 2021-02-10