If
przesłanka
Then
wniosek
inference rule: reguła wnioskowania
Sposób wyciągania wniosków (uznawanie faktów) na podstawie określonych przesłanek. Za pomocą konstrukcji programistycznych można ją przedstawić następująco:

Podoba Ci się ta strona?
Pomóż nam się rozwijać, wykupując płatne konto. Dzięki temu będziemy mogli tworzyć dla Ciebie jeszcze więcej ciekawych treści, a Ty pozbędziesz się reklam.