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

Stránky: 1

 

#1 18. 12. 2015 00:00

Sars
Zelenáč
Příspěvky: 2
Reputace:   0 
 

logika

Zdar , riesim matematicku  logiku a neviem prijst na to ako zapisat

Ziadne cislo delitelne tromi nie je sude , , problem mi robi " Ziadne" , ako to zapisat ? ako negaciu vseobecneho kvantifikatoru = pacnut tam existencny? alebo to napisat normalne a to
$\forall(x)\exists  (y)(x=y+y +y   )\Rightarrow \forall(z)'(x=z+z)$ alebo ako by sa to dalo napisat?

Offline

 

#2 18. 12. 2015 07:40

zdenek1
Administrátor
Místo: Poděbrady
Příspěvky: 12436
Reputace:   897 
Web
 

Re: logika

↑ Sars:
Já bych zkusil něco jako:
$\forall x\in\mathbb R:(x=3k)\Rightarrow (x\ne2n);\ n,k\in\mathbb N$

Pořádek je pro blbce, inteligent zvládá chaos!

Offline

 

#3 18. 12. 2015 20:24

Wotton
Logik
Místo: Plzeň
Příspěvky: 826
Reputace:   25 
 

Re: logika

↑ zdenek1:
toto není formule logiky

↑ Sars:
tady jde o jistou "nestandardnost" češtiny (potažmo slovenštiny), kterou je vyjadřování jednoho záporu dvěma záporkami. Když říkáš "Žádné není ..." tak to fakticky znamená "Všechna nejsou ... "

Takže tvůj nástřel má dobrý základ, jen to chce trochu cviku. Mělo by to být
$\forall x(\exists y(x=y+y+y)\rightarrow\neg\exists z(x=z+z))$

a hlavně nezapomínej na závorky, ať je jasný kam který tvantifikátor patří a co znamená.

Dva jsou tisíckrát jeden.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson