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 01. 07. 2011 10:13 — Editoval Wotton (01. 07. 2011 15:46)
Re: predikátová logika
EDIT: po upozornění tohle není úplně přesný. Lepší řešení nabídl Rumburak níže..:)
No a ta jednička je úplně špatně. To co jsi napsal je pravdivý vždy, protože to plyne z
. Správně by to mělo být tak, že si vezmeš napřed výrok "Existují nejvýše dva kandidáti na krále Persie." a pak výrok "Xerxes je kandidát na krále Persie." Zformalizuješ každý zvlášť a spojíš konjunkcí:
No a ta jednička je úplně špatně. To co jsi napsal je pravdivý vždy, protože to plyne z
. Správně by to mělo být tak, že si vezmeš napřed výrok "Existují nejvýše dva kandidáti na krále Persie." a pak výrok "Xerxes je kandidát na krále Persie." Zformalizuješ každý zvlášť a spojíš konjunkcí: Dva jsou tisíckrát jeden.
Offline
![$\forall x\, \forall y\, \{ \neg (x=y)\rightarrow\exists z \, \forall u\, \left[u\! \cdot\! \left((x\!\cdot\! x)+(y\!\cdot\! y) - (z + z)\right) = u \right] \,\}$](/mathtex/49/493771d5f984f620e72b0db79370b1c5.gif "kopírovat do textarea")
.#4 01. 07. 2011 15:40
Re: predikátová logika
↑ Rumburak:
nádherný, ... a já jsem se marně snažil přijít na to jak nadefinovat jedničku. Nula, to je jasný, ale tohle mně fakt nenapadlo
Dva jsou tisíckrát jeden.
Offline