#2 29. 10. 2021 22:02
Re: negace kvantifikátorů
↑ janička:
Dobrý den,
správně to nemáte. Je špatně znegovaná implikace.
Offline
#3 30. 10. 2021 08:09
Re: negace kvantifikátorů
↑ Pomeranc:
Děkuji.
Asi jsem to tak trochu tušila, právě tou implikací jsem si nebyla jistá.
Ještě řeším tuto možnost, mohla bych ještě jednou poprosit o kontrolu?
Moc děkuji.
∃a ∈ R ∃ b ∈ (0, ∞) ∀c ∈ R : [(b + c) ≤ a] ∧ a "nepatří" (0, 2)
Offline
#4 30. 10. 2021 09:07
Re: negace kvantifikátorů
↑ janička:
Hezký den.
[mathjax2]\overline{A\rightarrow B}\equiv\overline{\overline{A} \vee B}\equiv A \wedge \overline{B}[/mathjax2]
takže bych řekl, že negaci implikace máte dobře.
Pokud se tedy nemýlím.
Offline