Matematické Fórum
Archiv diskusního fóra o matematice, 2006–2026
Toto je archiv Matematického Fóra.
Fórum je dostupné jen ke čtení.
Můžete se ale zaregistrovat na náš Discord server.
#1 28. 02. 2008 18:09 — Editoval JiMi (28. 02. 2008 18:11)
- JiMi
- Zelenáč
- Příspěvky: 17
- Reputace: 0
Matematická logika
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)) 6= ∅
4. (N − S) ⊆ (L ∪ N)
Budu vdecny za kazdou radu, dekuji.
Offline
