erabakigarri
- 1. Orok.
Sistema logikoez mintzatuz, ondo eratutako formula bat teorema den erabakitzeko metodo eraginkorraz hornitua dena.
- 2. Orok.
Multzoez mintzatuz, objektu bat multzoko kide den erabakitzeko metodo eraginkorra dagoela adierazten duen ezaugarria.