Matematické Fórum

Jakub007 · 14. 10. 2014 20:14

Zdravím, chcel by som sa spýtať, že ked mám nejaký výrok a mám urobiť jeho negáciu a obmenu, tak obmenu mám robiť z toho pôvodného výroku alebo už z toho negovaného?
Ďakujem

byk7 · 14. 10. 2014 20:16

Z původního, kdybys to dělal z negovaného, tak dostaneš obměnu negovaného výroku, což je obecně jiný výrok. :-)

Jakub007 · 14. 10. 2014 20:18

↑ byk7:
ja si to myslím tiež, len z terajšou profesorkou sme to robili z negovaného, lebo povedala, že obmena je dvakrát negácia....tak ale mám to robiť z toho pôvodného určite?

byk7 · 14. 10. 2014 20:20

↑ Jakub007:

To mi přijde zvláštní, jaké máš přesné zadání?

Jakub007 · 14. 10. 2014 20:23

↑ byk7:
mali sme vetu: ak bude pršať, budem spať alebo čítať. A zadanie znie: utvor negácie a obmeny zloženého výroku.

byk7 · 14. 10. 2014 20:28

Ok, takže máš výrok $A\Rightarrow (B\vee C)$ , negace je $\neg$A\Rightarrow (B\vee C)$$ a obměna je $(\neg(B\vee C))\Rightarrow(\neg A)$ , teď to chce jen ty výroky upravit podle pravidel negace, která jste si určitě říkali,

Jakub007 · 14. 10. 2014 20:33

↑ byk7:
Ďakujem, takto som to mal i ja. Takže nemám robiť obmenu z toho negovaného výroku, však nie?

misaH · 14. 10. 2014 20:35 — Editoval misaH (14. 10. 2014 20:35)

↑ Jakub007:

Urob z obidvoch :-p

byk7 · 14. 10. 2014 20:35

↑ Jakub007:

Pokud není v zadání utvořte obměnu negovaného výroku, tak ne.

Jakub007 · 14. 10. 2014 20:36

↑ byk7:
Ďakujem. A prosím ťa obmena ekvivalencie vyzerá takto?: $(A\Rightarrow B)\wedge (B\Rightarrow A)$ .

byk7 · 14. 10. 2014 20:39

Obměna ekvivalence? S tím jsem se ještě nesetkal...

Jakub007 · 14. 10. 2014 20:40

↑ byk7:
nie? lebo nám to normálne uvádzala ako negáciu tak aj obmenu. A obmena konjukcie alebo alternatívy je taká istá ako výrok pôvodný alebo tam treba zameniť poradie?

byk7 · 14. 10. 2014 20:43

↑ Jakub007:

Já se s obměnou setkal pouze u implikace, možná někteří kolegové poradí víc...

Jakub007 · 14. 10. 2014 20:46

↑ byk7:
my sme mali pri každom zloženom výroku aj obmenu, aj negáciu

misaH · 14. 10. 2014 20:58

↑ Jakub007:

Nemyslíš obrátený výrok?

Môžeš dať príklad nejakej obmeny výroku, ktorý nie je implikácia?

Jakub007 · 14. 10. 2014 21:02

↑ misaH:
Uvediem ti príklad, ktorý sme robili v škole a bola to obmena ekvivalencie.
Výrok: Pomaranče kúpim práve vtedy, ked nebudú citróny.
Obmena: ak kúpim pomaranče, tak nebudú citróny alebo ak nebudú citróny, tak kúpim pomaranče.

misaH · 14. 10. 2014 21:26

↑ Jakub007:

No - neviem.

Podľa mňa v "obmenenom" výroku by malo byť miesto "alebo" napísané "a súčasne".

Ináč sa hodnoty pôvodného a "obmeneného" výroku nezhodujú, čo je chyba.

Jakub007 · 14. 10. 2014 21:49

↑ misaH:
neviem takto to bolo v zošite

Matematické Fórum

#1 14. 10. 2014 20:14

logika-kontrola

#2 14. 10. 2014 20:16

Re: logika-kontrola

#3 14. 10. 2014 20:18

Re: logika-kontrola

#4 14. 10. 2014 20:20

Re: logika-kontrola

#5 14. 10. 2014 20:23

Re: logika-kontrola

#6 14. 10. 2014 20:28

Re: logika-kontrola

#7 14. 10. 2014 20:33

Re: logika-kontrola

#8 14. 10. 2014 20:35 — Editoval misaH (14. 10. 2014 20:35)

Re: logika-kontrola

#9 14. 10. 2014 20:35

Re: logika-kontrola

#10 14. 10. 2014 20:36

Re: logika-kontrola

#11 14. 10. 2014 20:39

Re: logika-kontrola

#12 14. 10. 2014 20:40

Re: logika-kontrola

#13 14. 10. 2014 20:43

Re: logika-kontrola

#14 14. 10. 2014 20:46

Re: logika-kontrola

#15 14. 10. 2014 20:58

Re: logika-kontrola

#16 14. 10. 2014 21:02

Re: logika-kontrola

#17 14. 10. 2014 21:26

Re: logika-kontrola

#18 14. 10. 2014 21:49

Re: logika-kontrola

Zápatí