polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
izjava koja je istinita ako je zadana izjava istinita
izjava koja je istinita ako je zadana izjava istinita
Rod: nema
Vrsta riječi: višerječni naziv
Nužan uvjet posljedica je zadane izjave, odnosno $N$ je nužan uvjet za $S$ ako je složena izjava ako $S$, onda $N$ istinita.