polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
izjava koja je ujedno i nužan uvjet i dovoljan uvjet za zadanu izjavu
izjava koja je ujedno i nužan uvjet i dovoljan uvjet za zadanu izjavu
Rod: nema
Vrsta riječi: višerječni naziv