Aha, pa ako je P tacan, onda je izraz (P=>Q)=>P i u slucaju da je Q - tacno i Q - netacno, on je tacan.
A, ako je P netacan, onda je izraz i u slucaju Q - tacno i Q - netacno, netacan.
E sad, da rezimiramo, da je zadatako obrnuto postavljen, da je pitanje kakav je uslov P gore pomenutom uslovu, bilo bi jasnije puno. Znaci ovaj uslov je uslovu P potreban i dovoljan jer...? :/
E ovako, objasnila mi drugarica sad...mora da se uradi tablica za (P->Q)->P...kad se resi dobiju se vrednosti T,T,neT,neT sto su i vrednosti iskaza P...e onda se uradi ( (P->Q)->P) -> P , pa onda P-> ( (P->Q)->P) , ako se dobiju iste vrednosti onda je iskaz i dovoljan i potreban..ukoliko je samo u jednom smeru tacno onda je samo dovoljan ili potreban.
Ne bi bilo lose i malo razumevanja sta se tu desava. Postupak je ok, ali je ovaj drugi deo suvisan, s' obzirom da si utvrdio vec da se tablica za (P->Q)->P poklapa sa vrednostima P. I takodje ne bi bilo lose da znas sta znaci da je A potreban uslov za B, a kada je A dovoljan uslov za B.
Kad je A=>B , onda je B dovoljan uslov za A, a kad je A<=B onda je B potreban uslov za A, a kada je A<=>B onda je B potreban i dovoljan uslov. Tako? :)
Ne :) Naravno, ako nije ovako onda je onako, ali razmisli o znacenjima reci "potreban" i "dovoljan" i probaj to da povezes sa A => B, sto znaci "ako je A onda je B".
Evo primera:
da bi broj bio deljiv sa 6 .... je da je deljiv sa 2
da bi broj bio deljiv sa 6 .... je da je deljiv sa 12.
Shvatam ja reci potreban i dovoljan, ne brini, nego me jebu ova slova, radio sam logiku pre 4 godine, treba mi samo ovaj zadatak da shvatim i dovoljno je >.<
Radim za prijemni jos 13 oblasti iz mate, koje znam, samo ovaj zadacic me nervira...treba mi samo da shvatim ovo :)
Sad mi nije jasno kako ti nije jasno, ako ti je jasno to sto ti je vec jasno :), ali evo:
Probaj da, zaboravivsi na prethodno ustanovljene odnose izmedju iskaza, kazes kako bi mogli u tim primerima da zamenimo sa slovima A i B iskaze "broj je deljiv sa 6", "broj je deljiv sa 2", "broj je deljiv sa 12", da bi dobili odnos A => B? Koji od njih bi mogao da bude A, a koji B?