Nazdar , akurat pozeram na vyrokovu logiku, aj ked na odpoved po case pridem 5-15 minut neuveritelne zlozitou dedukciou atd.. , je to velmi dlha doba , neviete niekto ako to nejako rychlo urcit a na 100% povedat spravnu odpoved ? Vdakkaaa

Urcte vetu ktora z danych viet nevyplyva (nie je logicky korektne ju odvodit):
Jestlize David je informatik nebo Eda je elektroinzenyr, tak Ferdinand neni
lesak
Ferdinand je lesak

a)jestlize David je informatik, tak Eda neni elektro...
b)jestlize David neni informatik, tak Eda je elektro...
c)jestlize Eda je elektroinzenyr, tak David neni informatik
d)Eda neni elektroinzenyr nebo David neni informatik
e)Eda je elektro...nebo David neni informatik

Podla mna e.

Gangy napísal:Podla mna e.

Ja so si to myslel tiez , ale sprava odpoved je B.
Na strednej dakedy si pamatam davno sme mali vyrokovu logiku ale len s 0 a 1 , takto ked su vety mi to nejde do hlavy a dako logicky si to matematicky previest to tiez neviem

Robit to indukciou ci cim ma nikdy nebavilo

//Nepoznas matematicku indukciu?

Gangy napísal:Robit to indukciou ci cim ma nikdy nebavilo

indukcia je tak mozno v cievke

Jestlize David(D) je informatik nebo Eda(E) je elektroinzenyr, tak Ferdinand(F) neni lesak
Ferdinand je lesak

s tychto tvrdeni vypliva ze: aby F bol lesnik, tak D nieje inform. a razoven ani E nieje elektroi.

takze si spravis pravdivostnu tabulku:
D E F
0 0 1
0 1 0
1 0 0
1 1 0

a ides postupne:

A) ak D je info, tak E nieje elektro ( ak D=1 tak E=0 )
lenze podla tabulky ak si das D=1 tak je jedno ci E bude 0 alebo 1 aj tak vysledok bude rovnaky ( F=0 ) cize prva podmienka nevylucuje druhu alebo napisem to takto: moze to byt pravda ale nemusi

B) ak D neni info, tak E je elektro ( ak D=0 tak E=1 )
ak sa pozries na tabulku tak vidis ze pre D=0 mas dva mozne vysledky ( F=1 a F=0 ) cize mas jeden jednoznacny zaver ktory vedie k jedinemu vysledku

C) ak E je elektro, tak D neni info ( ak E=1 tak D=0 )
to iste co v pripade A... ak uz E=1 tak mas jedno ci D bude 0 alebo 1, vysledok bude stale ten isty ( F=0 ) cize je to nejednoznacny zaver

D) E nieje elektro alebo D nieje info ( E=0 alebo D=0 )
teraz podla tabuky mas az tri moznosti ( F=1 , F=0 a F=0 ) ale dve s tychto moznosti maju rovnaky vysledok ( F=0 ) s toho vypliva ze toto tvrdenie zase nevies jednoznacne potvrdit

E) E je elektro alebo D neni info ( E=1 alebo D=0 )
to co predchadzajuci pripad... vyjdu ti tri moznosti ( F=1 , F=0 a F=0 )
dve s tychto moznosti maju rovnaky vysledok ( F=0 ) takze znova: nejednoznacne tvrdenie


s toho vsetkeho vypliva ze jedine tvrdenie ktore sa da jednoznacne urcit je tvrdenie B a ty mas asi chybu v zadani

Diky ti moc , pochopil som to , hadam mi to pomoze idem to skusit aplikovat aj na podobne ulohy