WN

Synset:: prova

teste
Gloss:: uma série formal das declarações mostrando que, se uma coisa é verdade outra coisa segue necessariamente a partir dele

Synset:: prova
Gloss:: Sèrie de sentències formals que demostra que si una cosa és veritat se'n desprèn una altra necessàriament

Synset:: proof
Gloss:: a formal series of statements showing that if one thing is true something else necessarily follows from it

Synset:: froga, frogapen
Gloss:: inferentzia-arauak egoki erabiliz egiazkotzat jo izan diren proposizioetatik (premisa) beste proposizio batera (ondorioa) iriztea zilegi dela erakusten duen bidea