Pisemka Gregor 20.10.2011

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Pisemka Gregor 20.10.2011

Příspěvekod mathemage » 22. 10. 2011 19:22

1) Vysvetlete, co znamena T\models \varphi, kazdy novy pojem, jenz pouzijete, vysvetlete taky.
2) Bud T teorie linearniho usporadani, jeho jazyk L(T) = <{\bf\leq}> s rovnosti. Urcete formuli \varphi takovou, ze T \cup \{\varphi\} je linearni usporadani, kde kazdy prvek ma bezprostredniho naslednika.
3) Mejme strukturu \mathcal{A} = <A, P^\mathcal{A}, R^\mathcal{A}> Urcete prave ty struktury, v nichz plati prave tyto formule:
a) P(x) \& (\forall x)R(x)
b) P(x) \& 
<br />eg(\forall x)R(x)
Carpe Diem!
mathemage
Matfyz(ák|ačka) level III
 
Příspěvky: 130
Registrován: 14. 1. 2011 10:03
Typ studia: Informatika Ph.D.
Login do SIS: had

Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník