prueba
- 1. Mat.
Proposizio baten egiazkotasuna ezartzen duten baieztapenen segida, axioma-multzo batetik inferentzia-arauen bidez deduzi daitezkeenak.
Proposizio baten egiazkotasuna ezartzen duten baieztapenen segida, axioma-multzo batetik inferentzia-arauen bidez deduzi daitezkeenak.
Zerbaiten egiazkotasuna edo faltsutasuna ebazteko baliagarria den datu- edo informazio-multzoa.