Matematické Fórum

miwey · 13. 04. 2012 21:40

Zdravim, mohl by mi prosim někdo pomoc zformalizovat větu: "Přišel jsem, viděl jsem, zvítězil jsem" ?
Předem děkuji za odpověď.

liak · 26. 04. 2012 00:06

Věta "Přišel jsem, viděl jsem, zvítězil jsem" má stejnou logickou formu jako věta: "Přišel jsem a pravě tehdy když jsem přišel tak jsem viděl a právě tehdy jsem zvítězil"
Tedy :
$p\Leftrightarrow q\Leftrightarrow r$

miwey · 26. 04. 2012 09:48

↑ liak:
Díky moc za odpověď, ale už jsem se dozvěděla, jak to má být...a je to trochu jinak: $\exists x (p(x)\wedge q(x)\wedge r(x))$

gechitka · 19. 01. 2015 19:36

Ne, máte to všechno. Žádný existenční kvantifikátor tam být nemusí, když je podmět známý, jsem to přeci já!

Takže výsledek je jednoduše takto:

Přišel jsem, viděl jsem, zvítězil jsem.

$P (x) \wedge V(x) \wedge Z (x)$

x= já

Matematické Fórum

#1 13. 04. 2012 21:40

Formalizace přirozeného jazyka

#2 26. 04. 2012 00:06

Re: Formalizace přirozeného jazyka

#3 26. 04. 2012 09:48

Re: Formalizace přirozeného jazyka

#4 19. 01. 2015 19:36

Re: Formalizace přirozeného jazyka

Zápatí