Matematické Fórum

Martin123

Dobry den,
narazil som na takuto ulohu a potreboval by som pomoct

Doplnme množinu predpokladov tak, aby uvedený záver vyplýval
z množiny predpokladov.
Predpoklady:

a) Podozrivý je vinný práve vtedy, ked 1. januára tohto roku bol o deviatej
hodine ráno v Košiciach.
b) Bolo zistené, že podozrivý bol o deviatej ráno uvedeného dna v Poprade.
?
Záver: Podozrivý je nevinný.

Riešenie: Zavedme nasledujúce oznacenia: „Podozrivý je vinný.“ výrokovou premennou
v, „Podozrivý bol 1. januára tohto roku o deviatej hodine ráno v Košiciach.“
výrokovou premennou k, „Podozrivý bol 1. januára tohto roku o deviatej
hodine ráno v Poprade.“ výrokovou premennou p.
Potom predpoklady zapíšeme množinou $\{v\Leftrightarrow k,p,?\}$ a záver formulou $\bar{v}$
Teda ide o nasledujúce vyplývanie $\{v\Leftrightarrow k,p,?\}\Rightarrow \bar{v}$
Namiesto znaku implikacie ma byt znak pre vyplivanie ale ten som tu nenasiel.

Tabulka:

Chcem sa opytat preco nas zaver nevyplyva z tabulky? V rieseni prikladov sa pise, ze nevyplyva ale podla mna vyplyva lebo pri hodnotach $v=0$ , $k=0$ , $p=1$ formuly a zaver nadobudaju hodnotu $1$

zdenek1 · 29. 12. 2015 11:37

↑ Martin123:
A na co se vlastně ptáš?

Martin123

Ze preco to nevyplyva ked pri hodnotach $v=0$ , $k=0$ , $p=1$ plati ze formuly $v\Leftrightarrow k$ a $p$ maju hodnotu $1$ a rovnako aj $\bar{v}$ tak preco zaver nevyplyva z mnoziny tychto formul? Ide o druhy riadok v tabulke.

zdenek1 · 29. 12. 2015 12:00

↑ Martin123:
Vyplývání není o jednom řádku, ale o tom, že závěr platí při všech hodnotách.
Kromě toho, ty máš doplnit nějaký předpoklad - což jsi neudělal.
navrhoval bych $p\Rightarrow \bar{k}$

Martin123 · 29. 12. 2015 12:03

nedoplnil som nic pretoze som si myslel ze to plati, stale nechapem preco to nevyplyva? co je v tej tabulke zle?

misaH · 29. 12. 2015 12:26

↑ Martin123:

Ale pre spodnú časť tabuľky neplatí, že podozrivý je nevinný.

Ty máš "niečo" doplniť tak, aby "nevinný" vyšlo vždy.

Ak to dobre chápem.

Martin123 · 29. 12. 2015 12:31

Aha z chapem, takze tam treba doplnit nejaky vyrok. Ten co navrhoval zdenek urobi tabulku:

zdenek1 · 29. 12. 2015 13:09

↑ Martin123:
//forum.matweb.cz/upload3/img/2015-12/90924_pic.PNG

Martin123 · 29. 12. 2015 15:40

aha tak ok dik za pomoc.

Matematické Fórum

#1 29. 12. 2015 11:31 — Editoval Martin123 (29. 12. 2015 11:46)

Uloha z logiky

#2 29. 12. 2015 11:37

Re: Uloha z logiky

#3 29. 12. 2015 11:50 — Editoval Martin123 (29. 12. 2015 11:53)

Re: Uloha z logiky

#4 29. 12. 2015 12:00

Re: Uloha z logiky

#5 29. 12. 2015 12:03

Re: Uloha z logiky

#6 29. 12. 2015 12:26

Re: Uloha z logiky

#7 29. 12. 2015 12:31

Re: Uloha z logiky

#8 29. 12. 2015 13:09

Re: Uloha z logiky

#9 29. 12. 2015 15:40

Re: Uloha z logiky

Zápatí