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)
Michaela V.
01. 10. 2018 16:18
1 odpověď
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.