| |||
| зворотний логічний висновок (від мети до вихідних посилань) | |||
| |||
| висновок "від мети до фактів" (в експертних системах і автоматичному доказі теорем) | |||
| доведення типу "від мети до фактів" | |||
| |||
| зворотний логічний висновок (від мети до вихідних посилань) | |||
| |||
| висновок "від мети до фактів" (в експертних системах і автоматичному доказі теорем) | |||
| доведення типу "від мети до фактів" | |||
