前向き推論

まえむき・すいろんmaemuki·suiron

N.
Logik Vorwärtsinferenz f f.