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 03. 01. 2012 20:19

guri
Zelenáč
Příspěvky: 18
Reputace:   0 
 

formalizacia predikatovej logiky

Prosim vas
Ako sformalizujem v predikatovej logike vetu:
Existuju prave dve riesenia rovnice.
Vdaka

Offline

 

#2 03. 01. 2012 23:12

Jookyn
Místo: Mar. Lázně / Praha
Příspěvky: 143
Reputace:   11 
 

Re: formalizacia predikatovej logiky

Pokud je to jazyk s rovností a R(x) by byl predikát znamenající, že x je řešením rovnice, pak bych to asi napsal nějak takhle:

$\exists x \exists y \forall z:  R(x) \wedge R(y) \wedge x \neq y \wedge  ( R(z) \Rightarrow (z = x \vee  z = y))$

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson