Hejmen!

implic/i [...] ~a MAT (pp difino) Tia, ke gxi difinas la nocion nur malrekte, per ecoj esprimitaj en la difino. (pp funkcio) Tia, ke la funkcio estas difinita nur per ekvacio, kiun devas plenumi gxiaj valoroj. -> esplica. ~o MAT La logika operacio, kiu al du asertoj A k B asignas la aserton, ke B validas se A validas; tiun aserton oni skribas A {$\Rightarrow$} B aux A {$\supset$} B. -> disjunkcio, konjunkcio, negacio. ~ita KOMP Rilata al valoro supozata, se alia valoro ne estas specifita: ~ita valoro de parametro; ~itajxo; ~ite, la eligajxo iras al la ekrano. [...]