![Logo Matematická biologie](images/logo-matbiol.png)
Převod z přirozeného jazyka do symbolického jazyka predikátové logiky
Jedná se o analýzu výrazů přirozeného jazyka v rámci predikátové logiky. Volba predikátových (a funkčních) konstant je libovolná potud, že nesmí dojít ke ”kolizi vlastností, funkcí či vztahů”. Výrazy jako ”všichni”, ”každý”, ”nikdo”, apod. ”překládáme” všeobecným kvantifikátorem , výrazy jako ”někdo”, ”někteří”, apod. ”překládáme” existenčním kvantifikátorem
. Dále budeme předpokládat, že jde o jazyk nad homogenním univerzem, proto v následujících příkladech považujeme za univerzum množinu všech individuí.
Příklad: Analyzujte a zapište v jazyce predikátové logiky následující výroky:
1 |
Nikdo, kdo není zapracován |
2 | Ne každý talentovaný |
3 | Pouze zaměstnanci |
4 | Ne každý člověk |
5 |
Někdo je spokojen |
6 | Někteří chytří lidé |
7 | Všichni zaměstnanci |
Pozn.: Jako pomůcka k řešení může sloužit tato zásada: Po všeobecném kvantifikátoru
následuje formule ve tvaru implikace (
), kdežto po existenčním kvantifikátoru formule ve tvaru konjunkce (
).
1 2 3 4 5 6 7