Matematické Fórum

JiMi · 28. 02. 2008 18:16 — Editoval JiMi (28. 02. 2008 21:17)

Zdravím , chtěl bych se zeptat zda tady nekdo nevi neco o logké formuli PL1 pro matemaitku ... mam v tom zadany projekt a vubec nevim O CO JDE !!! Nemohl by mi tady nekdo pls poradit ??

Dam tu sem zadani:

Pomocí formulí PL1 specifikujte následující množiny. Nalezněte jejich interpretace, které budou modelem.
1. D = (S ∩ P)
2. (S ∪ L) ⊆ Z
3. (N ∩ (S ∩ P)) ≠ ∅ - opravena chyba v zadani
4. (N − S) ⊆ (L ∪ N)

Budu vdecny za kazdou radu, dekuji.

Kondr · 28. 02. 2008 20:55

Zkus si pro začátek přečíst toto:
http://cs.wikipedia.org/wiki/Predik%C3% … 99%C3%A1du

Co se týče těch formulí, ty by mohly být například takovéto
1. $\forall x: x\in D \Leftrightarrow (x \in S \wedge x \in P)$
2. $\forall x: (x\in S \vee x\in L) \Rightarrow x \in Z$
3. Má tam vážně být ta 6ka?
4. $\forall x: (x\in N \wedge \neg x\in S) \Rightarrow (x \in L \vee x \in N)$

JiMi · 28. 02. 2008 21:14 — Editoval JiMi (28. 02. 2008 21:15)

Jo moc diky kouknu se na to ... ...

Jo toho jsem si nevsiml ... zadani 3. má byt

3. (N ∩ (S ∩ P)) ≠ ∅

Kondr · 28. 02. 2008 22:05

V tom případě u 3. $\exists x: x \in N \wedge x\in S \wedge x\in P$

JiMi · 06. 03. 2008 13:00

4. $\forall x: (x\in N \wedge \neg x\in S) \Rightarrow (x \in L \vee x \in N)$

Uz jsem se do toho trosku dostal , ale nejak nechpu u te 4. proc tam je negace x ?

JiMi · 08. 03. 2008 15:40

↑ JiMi:
Tak nic uz vim ;-)

JiMi · 12. 03. 2008 23:12 — Editoval JiMi (13. 03. 2008 00:19)

Pls, vubec nevim jakou k tomu mam najit slovni interpretaci. Poradte pls.

Potrebuju , aby vsecky 4 tvrzeni platily vzdy , muzu to napsat takto ? :

1) Universum = prirozna cisla : P jsou kladná , S celá , D přirozená

2) Universum = prirozna cisla : S jsou sudé , L liché , Z celé cislo

3) Universum = prirozna cisla : P jsou kladná , S celá , N prvocislo

4) Universum = prirozna cisla : L jsou prvocisla , S sudé , N liché

Matematické Fórum

#1 28. 02. 2008 18:16 — Editoval JiMi (28. 02. 2008 21:17)

Matematická logika

#2 28. 02. 2008 20:55

Re: Matematická logika

#3 28. 02. 2008 21:14 — Editoval JiMi (28. 02. 2008 21:15)

Re: Matematická logika

#4 28. 02. 2008 22:05

Re: Matematická logika

#5 06. 03. 2008 13:00

Re: Matematická logika

#6 08. 03. 2008 15:40

Re: Matematická logika

#7 12. 03. 2008 23:12 — Editoval JiMi (13. 03. 2008 00:19)

Re: Matematická logika

Zápatí