21.a
Dopuniti rečenicu rečima potrebno, dovoljno ili ekvivalentno: je ...... za
Da bismo odredili odnos između dva iskaza, analiziramo implikacije između njih. Neka je iskaz i iskaz Ispitujemo da li važi
Proveravamo da li iz sledi Ako je broj veći od 5, on je automatski veći i od 3, što znači da je uslov ispunjen.
Pošto važi direktna implikacija kažemo da je iskaz dovoljan uslov za iskaz
Sada proveravamo obratnu implikaciju odnosno da li iz sledi Ovo ne važi uvek (na primer, za ), pa uslov nije potreban niti ekvivalentan.
Zaključujemo da je dovoljan uslov za