Matematické Fórum

guri · 03. 01. 2012 20:19

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

Jookyn · 03. 01. 2012 23:12

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))$

Matematické Fórum

#1 03. 01. 2012 20:19

formalizacia predikatovej logiky

#2 03. 01. 2012 23:12

Re: formalizacia predikatovej logiky

Zápatí