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