Formalizace do predikatové logiky
Mohl by mi prosím někdo pomoct s přepisem vět z přirozeného jazyka do predikatové logiky? Mělo by jít o co nejjpodrobnější zápis.
Jedná se o tyto věty :
Co na srdci, to na jazyku.
Není všechno zlato, co se třpytí.
Chudoba cti netratí.
Sůl nad zlato.
Bez peněz do hospody nelez.
Nové koště dobře mete.
Předem mockrát děkuji.
Andrea R.
01. 05. 2025 12:41
1 odpověď
Občas je to asi trochu přitažené za vlasy, ale zhruba bych to viděl takto:
\(x \in \text{ Srdce} \Leftrightarrow x \in \text{ Jazyk} \)
\(\exists x: x \in \text{ Třpytí} \land x \notin \text{ Zlato} \)
\( \exists x: x \in \text{ Chudoba} \land x \in \text{ Čest} \)
\( \text{ Sůl} > \text{ Zlato} \)
\( \forall x: x \in \text{ Hospoda} \Rightarrow x \in \text{ Peníze} \)
\(\forall x \in \text{ Koště} : x \in \text{ Nové} \Rightarrow x \in \text{ Dobře mete} \)