Mathematicator
Kvantifikátory
Jak se negují delší kvantifikátory a co znamená, když je mezi nimi dvojtečka? Neguje se i to za dvojtečkou, nebo ne a jak je to s kombinací více kvantifikátorů jako v: ∀(xϵℝ) (yϵℝ) : (x>y)=>(xy>0)
Autor: Michaela V. | Poslední aktivita: 1. 10. 2018 16:18 | Zobrazeno 142x
ikonka ADMIN | Marek V. | 1. 10. 2018 16:18

Ahoj Míšo,
tohle je docela komplexní otázka, která by chtěla pár hodin vysvětlování, ale zkráceně:
Každá logická spojka se neguje trochu jinak.
Například A a B se zneguje jako nonA nebo nonB
A=>B se zneguje jako A a nonB
atd. jde o to, že ta negace musí mít opačné hodnoty v tabulce pravdivostních hodnot.

A když do toho zabuduješ ještě kvantifikátory, tak obecně se to dělá tak, že změníš kvantifikátor a zneguješ výrok za ním.

Například: Všechny labutě jsou bílé. Zneguješ jako: Existujem labuť, která není bílá.
Takže negace toho tvého výroku by byla takováto:
Existuje (xϵℝ) (yϵℝ) : (x>y)a(xy<=0)

Jo a ta dvojtečka znamená většinou něco ve smyslu: pro které platí, nebo pro které, nebo takové, že... atd.
Co si o tom myslíte vy?
Názory mohou psát jen přihlášení uživatelé. Pokud chcete napsat svůj názor, tak se prosím přihlašte z hlavní strany webu.

Mathematicator 2018 | Provozuje Marek Valášek | Technicky zajišťuje Jan Barášek | Obchodní podmínky | Ochrana soukromí