Nächste Seite:
Inferenz-Systeme (Beispiel 2)
Aufwärts:
Typen
Vorherige Seite:
Inferenz-Systeme
Inferenz-Systeme (Beispiel 1)
Grundbereich
=
Zahlenpaare
×
Axiom:
Regel-Schemata:
,
kann man
(1, 1)
ableiten?
(- 1, 5)
?
(2, 4)
?
Johannes Waldmann 2011-01-23