Matematické Fórum

zajcev · 10. 04. 2012 17:02

Zdravim, mame zadania :

Nemohol by mi niekto vysvelit jak sa pride k spravnym vysledkom (vyrokova logika mi problem nerobi ale toto je nejake ine). Tiez mi nejak nieje jasne syntax G |=, znamena to ze z G vypliva ? Nejak som sa snazil hladat info na nete o predikatovej logike prveho radu ale nepomohlo. Dakujem za pripadnu pomoc .

Wotton · 11. 04. 2012 13:16

Zdravím,

znak $\models$ se používá v několika významech. Ten co je použit tady, tak opravdu znamená "z množiny formulí ... vyplývá formule ...".

A k jednotlivým příkladům?
Ten první se mi nezdá. Je to vlastně teoretická otázka, ale podle mně jsou správně odpovědi dvě. Ta co máš uvedeno, ale i ta první ekvivalence. (případně rozepíšu které věty se použijí)

Druhý je vlastně o tom si danou formuli přepsat do "srozumitelnějšího" jazyka (podle dané interpretace). To znamená, že dostaneš:
$\forall x((x>1)\rightarrow\exists y(x=y+1))\\ \forall x((x\geq 0)\rightarrow\exists y(x=y+1))\\ \forall x((x\leq 0)\rightarrow\exists y(x=y+(-1)))$
Tady už bys měl vidět jednoduše (předpokládám matematické zaměření) který z výroků v dané doméně platí.

U třetího je asi nejjednodušší vytvořit si model ve kterém je daná formule splněna, a jiný kde splněna není. K tomu stačí například Vennovi diagramy.

řešení.............. Zobrazit/skrýt!

Matematické Fórum

#1 10. 04. 2012 17:02

Predikatova logika

#2 11. 04. 2012 13:16

Re: Predikatova logika

Zápatí