Prawo de Morgana Poprzez kilkakrotne zastosowanie praw de Moprgana dla kwantyfik
tom: Prawo de Morgana Poprzez kilkakrotne zastosowanie praw de Moprgana dla kwantyfikatorow pokazać
że
~[∧x∧y (x+y)2=x2+2xy+y2]⇔∨x∨y (x+y)2≠x2+2xy+y2
~{∧ε>0 ∨Ω>0 ∧x [|x|<Ω⇒|sinX≥ε]}⇔∨ε>0 ∧Ω>0∨x[|x|<Ω|sinx|<ε]
Są różne oznaczenia w literaturze węc podaję oznaczenia symboli
∧ dla każdego
∨ istnieje
15 paź 18:51