21.v
Dopuniti rečenicu rečima potrebno, dovoljno ili ekvivalentno: je ...... za
Da bismo odredili odnos između dva iskaza, posmatramo logičku implikaciju. Neka je iskaz i iskaz Ispitujemo da li važi ili
Prvo proveravamo da li je uslov dovoljan za To znači da proveravamo istinitost implikacije:
Ova implikacija nije tačna za sve vrednosti. Na primer, ako uzmemo broj on ispunjava prvi uslov (), ali ne ispunjava drugi (). Dakle, nije dovoljan uslov.
Zatim proveravamo da li je uslov potreban za To znači da proveravamo da li iz nužno sledi
Ova implikacija je tačna. Svaki broj koji je veći od 5 je automatski veći i od 3. Pošto važi kažemo da je potreban uslov za
Konačna rečenica glasi: