Formalizace - predikátová logika

Ahoj, mohl by mi někdo pomoct s formalizací následujících přísloví?
S poctivostí nejdál dojdeš
Mluviti stříbro, mlčeti zlato
Kdo chce psa bít, hůl si vždycky najde
Na hrubý pytel, hrubá záplata

2 odpovědí
avatar
Zrušený účet
S poctivostí nejdál dojdeš - jednáním dosáhneš více, morální jednání se v životě vyplatí.
Mluviti stříbro, mlčeti zlato - někdy je lepší nevyslovit slova, která by mohla ublížit a už nejdou vzít zpět.
Kdo chce psa bít, hůl si vždy najde - kdo chce někomu ublížit, vždy si důvod (záminku) najde.
Na hrubý pytel, hrubá záplata - na hrubost, drzost je třeba reagovat stejně hrubě.
Komentáře:
Dagmar P.
Moc děkuju za odpověď a čas. Já jsem potřebovala právě poradit, jak se tahle prislovi přepisují z přirozeného jazyka do jazyka logiky - tedy na kvantifikátory, subjekty, predikáty. Ale i tak děkuju za věnovaný čas. 🙂
Mozna slo spise o logickou formalizaci. Moznosti je vice, nejake moznosti viz priloha.
Přílohy:
Answer image
Komentáře:
Dagmar P.
Ahoj, moc děkuji za odpověď.