Negace výroku

Tak to x≥0 atd. není výrok, který bychom měli negovat, ale obor, v nemž ty výroky zkoumáme. Takže za prvé ano negací velkého kvantifikátoru je existenční a naopak, ale výrok k negacu bude to za středníkem. Tedy v prvním příkladu ∃x≥0 ∀y≤0; x+y≠0(přičemž pravdivý je ten první výrok, ten negovaný je false). V tom druhém příkladu tedy zústává y∈R, jen obecný kvantifikátor nahradíte existenčním. A negace implikace je trochu jinak, než jak naznačujete; negací je, že první výrok je pravdivý ( tedy |y|>1) a zárověň druhý, tedy y2>1, je nepravdivý (i když si myslím, že vás zradil editor a ten druhý výrok má být y²>1).A na okraj, nedací tvrzení x≥0 by nebylo x≤0, ale x