22.b
Dopuniti rečenicu rečima potrebno, dovoljno ili potrebno i dovoljno: je ...... za ili
Da bismo odredili odgovarajući logički uslov, ispitaćemo implikacije u oba smera između datih iskaza.
Prvo ispitujemo smer s leva na desno. Ako je proizvod dva broja jednak nuli, tada bar jedan od tih brojeva mora biti nula. Ovo je osnovna osobina množenja u skupu realnih brojeva.
Zatim ispitujemo smer s desna na levo. Ako je bar jedan od brojeva jednak nuli, njihov proizvod će sigurno biti nula.
Pošto implikacija važi u oba smera, zaključujemo da su iskazi logički ekvivalentni.
Kada su dva iskaza ekvivalentna, kažemo da je prvi iskaz potreban i dovoljan uslov za drugi iskaz.
Konačna dopunjena rečenica glasi: