polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
izjava iz čije istinitosti slijedi istinitost zadane izjave
izjava iz čije istinitosti slijedi istinitost zadane izjave
Rod: nema
Vrsta riječi: višerječni naziv
Dovoljan uvjet jest izjava iz koje slijedi zadana izjava, odnosno $S$ je dovoljan uvjet za $N$ ako je složena izjava "ako $S$, onda $N$" istinita.