TEKST ZADATKA
Dopuniti rečenicu rečima potrebno, dovoljno ili potrebno i dovoljno: x2=9 je ...... za x=−3 ili x=3.
REŠENJE ZADATKA
Prvo analiziramo uslov x2=9. Rešavanjem ove kvadratne jednačine dobijamo skup vrednosti za x.
x2=9⟹x=±9⟹x=3 ili x=−3 Označimo iskaz P kao x2=9 i iskaz Q kao x=−3∨x=3. Proveravamo da li važi implikacija P⟹Q.
x2=9⟹(x=3∨x=−3) Pošto je implikacija P⟹Q tačna, kažemo da je uslov P dovoljan za Q. Zatim proveravamo obrnutu implikaciju Q⟹P.
(x=3∨x=−3)⟹x2=9 Pošto je i obrnuta implikacija Q⟹P tačna, uslov P je takođe i potreban za Q. Kada važe oba smera, uslov je potreban i dovoljan.
x2=9⟺(x=−3∨x=3) Zaključujemo da je iskaz x2=9 ekvivalentan iskazu x=−3 ili x=3.
Resˇenje: potrebno i dovoljno