inferentzia-erregelak
- 1. Log.
Hipotesi gisa hartutako zenbait proposizio abiapuntu direla, teoria deduktibo batean proposizio baten egiazkotasuna frogatzea ahalbidetzen duen erregela-multzoa.
Hipotesi gisa hartutako zenbait proposizio abiapuntu direla, teoria deduktibo batean proposizio baten egiazkotasuna frogatzea ahalbidetzen duen erregela-multzoa.