Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#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