Proszę Zbiciu: Podać i uzasadnić wartość logiczną zdania oraz napisać jego negację (nie używając znaku negacji): ⋀ (dla każdego) x←R (x≥0⇒cosx≥0) Nie mogę się w tym połapać, bo przecież pierwszy człon logicznie może być prawdziwy, drugi też chyba...Pytanie czy to osobno najpierw uznajemy te człony że najpierw sprawdzamy czy dla każdego x←R ten pierwszy jest prawdziwy i tak samo potem drugi i potem implikację, czy jak? Może ktoś mi to rozwiązać i wytłumaczyć?

Zbiciu: Proszę pomóżcie, pilnie mi jest to potrzebne..

Zbiciu: Ponawiam prośbę

kachamacha: ⋁ (istnieje takie x∊R) że x≥0⋀cos<0

kachamacha: zaprzeczenie implikacji

Zbiciu: A podać wartość logiczną tego zdania?

Zbiciu: pomożecie?

Zbiciu: Jak podać wartość logiczną tego zdania?

Zbiciu: nie pomożecie mi?

xXx: to nie jest zdanie, dopoki nie podasz wartosci x

Zbiciu: pisze, dla każdego x... Bo jeśli weźmiemy osobno, to oba są prawdziwe więc zdanie powinno być prawdziwe, ale nie dla każdego x...wytłumaczy mi ktoś jak to odczytywać?

xXx: może od początku: ∀_x∊R x≥0 ⇒ cosx ≥0 , jest ewidentnie fałszywe ponieważ ∃_x∊R x<0 ⇒ cosx<0 tym x−em jest np π

xXx: tam miało być x ≥ 0 przy kwan. szczegolowym

Aga: ∼(p⇒q)⇔(p∧∼q) Istnieje takie x∊R,że x≥0i cos<0. Zdanie prawdziwe , bo istnieje x np. x=π>0i cosπ=−1<0

Aga: Czyli pierwsze zdanie fałszywe, bo zaprzeczeniem zdania fałszywego jest zdanie prawdziwe i na odwrót.

Zbiciu: ale chodzi mi o to jak oceniać poszczególne człony? Czy od razu całość się ocenia? Chodzi mi o tabelkę konkretnie..

Aga: tabelką sprawdzamy,gdy są zdania p, q r .. , (gdy nie ma x i kwantyfikatorów.)

Zbiciu: aha, dziękuję