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

#1 19. 01. 2015 19:28

gechitka
Zelenáč
Příspěvky: 4
Reputace:   
 

Formalizace vět z přirozeného jazyka do logiky 1. řádu

Dobrý den,

předem děkuji za jakoukoli pomoc, protože tomu absolutně nerozumím.

Dostali jsme za úkol vysvětlit, proč následující výroky je těžké přeformulovat do predikátové logiky 1. řádu. Vysvětlit problémový sémantický jev + zjednat nápravu a odstranit problém.


1. Jak Peake nahradila Kočí.               
2. Achileus padl v Trojské válce.
3. Postupuji pomalu, ale jistě.
4. Vokno je nespisovně.
5. Staří mládenci jsou roztržití.

Něco k tomu mám, ale myslím si, že je to blbě.

Mockrát děkuji za přečtení.

Gechitka

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson