Matematické Fórum

Veevee · 23. 01. 2018 21:49

Zdravím, touto cestou bych vás chtěla požádat, jestli byste mi neporadili s formalizaci vety. Veta zni nasledovne :

“Nehledě na to, že návrh putuje k Ústavnímu soudu v době, kdy je neúplný a na konečné rozhodnutí může mít vliv i menšina, která by v úplné sestavě byla přehlasována.”

Můj úkol byl vyhledat víceznačnost - v této větě se nachází amfibolie - je nejasné, zda-li je neúplný návrh či Ústavní soud. A tuto problematiku bych potřebovala zformalizovat.
Abych víceznačnost napravila, přeformulovala jsem větu takto: „Nehledě na to, že k Ústavnímu soudu putuje neúplný návrh a konečné rozhodnutí…”

Moc děkuji za pomoc!

Wotton · 23. 01. 2018 22:05

Ahoj,

s nalezením výceznačnosti souhlasím. S jejím odstraněním už ne. Podle toho konce mi přijde celkem jasné, že neúplný byl v tomhle případě soud;-)

k formalizaci:
Predikáty:
x je návrh $N(x)$
X je Ustavní soud $US(x)$
x je neúplné $NE(x)$
X putuje k y $PUT(x,y)$

konec věty se vymyká možnostem prdikátové logiky, a navíc je pochybné zda je to výrok, takže tím se nebudu zabývat. Tedy jen větu: "Návrh putuje k Ústavnímu soudu v době, kdy je neúplný."

Obě fomalizace jsou tedy: