Matematické Fórum

dodopa · 10. 01. 2013 17:59

Zdravím, chcem sa spýtať, či som správne obmenil výrok Ak bude pršať, budem spať alebo čítať.
Obmenu by som dal: ak nebudem spať alebo čítať, tak nebude pršať.

Je to správne?

Ďakujem za kontrolu :)

Miky4 · 10. 01. 2013 18:19 — Editoval Miky4 (10. 01. 2013 18:26)

↑ dodopa:
Dobrý večer,
$a\Rightarrow (b\vee c)$
obměněná implikace $\neg(b\vee c)\Rightarrow \neg a$ a $\neg b \wedge \neg c \Rightarrow \neg a$
Omlouvám se, pokud se pletu.

dodopa · 10. 01. 2013 19:12

Práve to, že neviem :/. Pri takých jednoduchých ako napr. Ak budem smädný, budem piť minerálku to viem, ale s týmto si nie som istý. Možno sa vyjadrí ešte niekto :). Ale inak vďaka!

Miky4 · 10. 01. 2013 19:23

↑ dodopa:
Jde o to, že musíš negovat celý závěr a negace diskjunkce je konjukce negací.

dodopa · 10. 01. 2013 19:39

Čiže podľa toho, čo som pochopil by to malo byť: Ak nebudem spať a nebudem čítať tak nebude pršať?

Miky4 · 10. 01. 2013 20:23

↑ dodopa:
Ano.

dodopa · 10. 01. 2013 22:06

Vyzerá to tak, že to tak bude. Ešte raz vďaka :)

Matematické Fórum

#1 10. 01. 2013 17:59

Obmena výroku

#2 10. 01. 2013 18:19 — Editoval Miky4 (10. 01. 2013 18:26)

Re: Obmena výroku

#3 10. 01. 2013 19:12

Re: Obmena výroku

#4 10. 01. 2013 19:23

Re: Obmena výroku

#5 10. 01. 2013 19:39

Re: Obmena výroku

#6 10. 01. 2013 20:23

Re: Obmena výroku

#7 10. 01. 2013 22:06

Re: Obmena výroku

Zápatí