2. Orok.

Logikaren edo matematikaren bidez zerbait egiazkoa edo baliozkoa dela erakutsi.