Matematické Fórum

OrangeTree · 06. 01. 2012 15:35

Jak můžu postupovat při sestavování sémantického stromu v PL?
Zadání: $(\forall y)(\exists x)r(x,y)\Rightarrow (\exists x)(\forall y)r(x,y)$

To jsem si převedla na disjunkci: $(\exists y)(\forall x) \cdot r(x,y)\vee (\exists x)(\forall y)r(x,y)$
- Tečka je ve významu negace.

Jak takový strom sestavit? Jakou roli při sestavování hrají kvantifikátory?

Wotton · 09. 01. 2012 21:34

Zdravím

postup je vlastně obdobný sestavívání stromu ve VL. Najdeš si hlaví spojku, to je kořen. A pak postupuješ po větvých pořát dál až se dostaneš k promitivním výrokům. No a kvantifikátory můžeš z pohledu stromů chápat jako jednoargumentovou spojku (podobně jako je negace). Samozřejmě že kvantifikátor je spolu s promněnnou která je u něj napsaná nedělitelná součást.

Výhoda tohohle zápisu (zakresnení) je v tom, že je hned vidět které proměnné jsou příslušným kvantifikátorem vázány (ty co jsou ve stromu pod ním).

Matematické Fórum

#1 06. 01. 2012 15:35

Predikátová logika - sémantický strom

#2 09. 01. 2012 21:34

Re: Predikátová logika - sémantický strom

Zápatí