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
#1 28. 09. 2024 16:59 — Editoval Kája2 (28. 09. 2024 16:59)
Kvantifikovaný výrok
Dobrý den,
mám otázku ohledně úlohy na kvantifikované výroky. Mám symbolicky zapsat výrok: Součin libovolných dvou za sebou následujících sudých čísel [mathjax]x,y[/mathjax] je dělitelný osmi. Dle výsledků jde o výrok [mathjax]\forall x\in \mathbb{Z}_{s}\forall y\in \mathbb{Z}_{s}\exists m\in \mathbb{Z}:xy=8m[/mathjax], kde [mathjax]\mathbb{Z}_{s}[/mathjax] je množina všech sudých čísel. Ovšem neměla tam být nějak vyjádřena skutečnost, že jde o dvě po sobě jdoucí sudá čísla?
Offline
- (téma jako vyřešené označil(a) Kája2)
#2 28. 09. 2024 17:20
- Richard Tuček
- Místo: Liberec
- Příspěvky: 1150
- Reputace: 19
- Web
Re: Kvantifikovaný výrok
↑ Kája2:
Čísla musí být po sobě jsoucí, jinak to neplatí. Např. 6*10=60, což není dělitelné 8
Označme Zs množinu celých sudých čísel. Zapsal bych to takto: Pro každé x z Zs, ex. m z Z tak, že platí: x*(x+2)=8m
2k*(2k+2)=4*(k^2) + 4*k = 4*k*(k+1)
Offline
#3 28. 09. 2024 17:21
#4 30. 09. 2024 18:03 — Editoval check_drummer (30. 09. 2024 18:04)
- check_drummer
- Příspěvky: 4891
- Reputace: 105
Re: Kvantifikovaný výrok
↑ Kája2:
Ahoj, a tvůj výrok změnit na "y=x+2 => x.y=8m".
"Máte úhel beta." "No to nemám."
Offline