Majiteľ spoločnosti. Výroková logika.
Jeden majiteľ spoločnosti sa pochválil: "O všetkých svojich zamestnancoch môžem jednoznačne povedať, že ak pracujú u nás dlhšie ako 4 roky, zarobia minimálne 600,-€." Novinári mu neverili, a tak išli za zamestnancami.
Prvý novinár našiel zamestnanca, ktorý bol v spoločnosti 3 roky a ktorého plat bol 620 €.
Druhý novinár našiel zamestnanca, ktorý je vo firme 2 roky a ktorého plat je 530 €.
Tretí novinár našiel zamestnanca, ktorý je v spoločnosti 5 rokov a ktorého plat je 590 €.
Ktorý novinár môže dokázať, že majiteľ klamal?
Prvý novinár našiel zamestnanca, ktorý bol v spoločnosti 3 roky a ktorého plat bol 620 €.
Druhý novinár našiel zamestnanca, ktorý je vo firme 2 roky a ktorého plat je 530 €.
Tretí novinár našiel zamestnanca, ktorý je v spoločnosti 5 rokov a ktorého plat je 590 €.
Ktorý novinár môže dokázať, že majiteľ klamal?
Odpovědi
Výrok:
Jestliže: pracuje>=4 roky pak vydělá >=600 €
výrok je implikace:
https://cs.wikipedia.org/wiki/Implikace
00|1
01|1
10|0
11|1
1. novinář:
pracuje=3 roky pak vydělá=620 €
pracuje>=4 roky pak vydělá >=600 €
nepravda => pravda = pravda
2. novinář:
pracuje=2 roky pak vydělá=530 €
pracuje>=4 roky pak vydělá >=600 €
nepravda => nepravda = pravda
3. novinář:
pracuje=5 roky pak vydělá=590 €
pracuje>=4 roky pak vydělá >=600 €
pravda => nepravda = nepravda
3. novinář může dokázat, že majitel lhal.
Jestliže: pracuje>=4 roky pak vydělá >=600 €
výrok je implikace:
https://cs.wikipedia.org/wiki/Implikace
00|1
01|1
10|0
11|1
1. novinář:
pracuje=3 roky pak vydělá=620 €
pracuje>=4 roky pak vydělá >=600 €
nepravda => pravda = pravda
2. novinář:
pracuje=2 roky pak vydělá=530 €
pracuje>=4 roky pak vydělá >=600 €
nepravda => nepravda = pravda
3. novinář:
pracuje=5 roky pak vydělá=590 €
pracuje>=4 roky pak vydělá >=600 €
pravda => nepravda = nepravda
3. novinář může dokázat, že majitel lhal.