definition |
izjava iz čije istinitosti slijedi istinitost zadane izjave |
equivalents |
english: sufficient condition |
note |
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. |
classification |
polje: matematika |
source |
