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)

Kája2
Příspěvky: 349
Reputace:   
 

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: 1128
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

Kája2
Příspěvky: 349
Reputace:   
 

Re: Kvantifikovaný výrok

↑ Richard Tuček:
Moc Vám děkuji ;-)

Offline

 

#4 30. 09. 2024 18:03 — Editoval check_drummer (30. 09. 2024 18:04)

check_drummer
Příspěvky: 4776
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

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson