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)

✓   Téma bylo vyřešeno.
Michaela V.

Michaela V.

01. 10. 2018   16:18

1 odpověď

Marek V.
Marek V.
01.10.2018 16:18:31

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.

Pro napsání komentáře se musíte přihlásit.