Predikatski račun
Poslato: Utorak, 14. Novembar 2017, 14:13
Mučim se sa prevođenjem formula predikatskog računa [inlmath]I[/inlmath] reda na prirodan jezik, a rečenice treba da zvuče što prirodnije, bez upotreba promenljivih [inlmath]x[/inlmath] i [inlmath]y[/inlmath].
Zapravo nemam rešenja za ove zadatke, zato sam ovde pa bi mi koristilo da bar proverim sa još nekim...
Elem, izvinjavam se što postavljam u slici ali mi je hitno, a inače znam da pišem u LaTeX-u.
Predikati:
[inlmath]Bx=[/inlmath] „[inlmath]x[/inlmath] je broj“
[inlmath]Vxy=[/inlmath] „[inlmath]x[/inlmath] je veći od [inlmath]y[/inlmath]“
[inlmath]Zx=[/inlmath] „[inlmath]x[/inlmath] je ceo broj“
[inlmath]Jxy=[/inlmath] „[inlmath]x[/inlmath] je jednak [inlmath]y[/inlmath]“
Konstante:
[inlmath]1,2,3,\ldots[/inlmath]
[inlmath]a)\;\lnot(\forall x)(Bx\;\Longrightarrow\;Zx);\\
b)\;(\forall x)(Zx\;\Longrightarrow\;Bx);\\
c)\;(\forall x)\bigl((Bx\land V5x)\;\Longrightarrow\;V6x\bigr);\\
d)\;(\forall x)\bigl((Bx\land Vx3\land V4x)\;\Longrightarrow\;\lnot Zx\bigr);\\
e)\;\lnot(\exists x)\bigl((Bx\land (\forall)(By\;\Longrightarrow\;Vyx)\bigr);\\
f)\;(\forall x)(\forall y)(Jxy\iff Jyx).[/inlmath]
https://imgur.com/tLngq7B
Dodavaću svoja rešenja, i nadati se blagoj kritici svog lupetanja...
Zapravo nemam rešenja za ove zadatke, zato sam ovde pa bi mi koristilo da bar proverim sa još nekim...
Elem, izvinjavam se što postavljam u slici ali mi je hitno, a inače znam da pišem u LaTeX-u.
Predikati:
[inlmath]Bx=[/inlmath] „[inlmath]x[/inlmath] je broj“
[inlmath]Vxy=[/inlmath] „[inlmath]x[/inlmath] je veći od [inlmath]y[/inlmath]“
[inlmath]Zx=[/inlmath] „[inlmath]x[/inlmath] je ceo broj“
[inlmath]Jxy=[/inlmath] „[inlmath]x[/inlmath] je jednak [inlmath]y[/inlmath]“
Konstante:
[inlmath]1,2,3,\ldots[/inlmath]
[inlmath]a)\;\lnot(\forall x)(Bx\;\Longrightarrow\;Zx);\\
b)\;(\forall x)(Zx\;\Longrightarrow\;Bx);\\
c)\;(\forall x)\bigl((Bx\land V5x)\;\Longrightarrow\;V6x\bigr);\\
d)\;(\forall x)\bigl((Bx\land Vx3\land V4x)\;\Longrightarrow\;\lnot Zx\bigr);\\
e)\;\lnot(\exists x)\bigl((Bx\land (\forall)(By\;\Longrightarrow\;Vyx)\bigr);\\
f)\;(\forall x)(\forall y)(Jxy\iff Jyx).[/inlmath]
https://imgur.com/tLngq7B
Dodavaću svoja rešenja, i nadati se blagoj kritici svog lupetanja...