- Stahuj zápisky z přednášek a ostatní studijní materiály
- Zapisuj si jen kvalitní vyučující (obsáhlá databáze referencí)
- Nastav si své předměty a buď stále v obraze
- Zapoj se svojí aktivitou do soutěže o ceny
- Založ si svůj profil, aby tě tví spolužáci mohli najít
- Najdi své přátele podle místa kde bydlíš nebo školy kterou studuješ
- Diskutuj ve skupinách o tématech, které tě zajímají
Studijní materiály
Pisemka_04_06_2008
Zjednodušená ukázka:
Stáhnout celý tento materiálx,f(y)) and R(a)) => P(x))
(All)x(All)y ((R(x) or not Q(x,y)) and (R(x) => P(x)))
R(f(b))
(All)x(All)y (Q(x,y) or not P(y))
phi = (Exists)x(Exists)y(Exists)z(P(x) and Q(y,z))
20 points
--------------------------------------------------------------------------------------------------------------
3) Describe the atomic tableaux that are specific for modal logic. Explain when (Square)alpha => alpha holds.
Build a tableau proof for that formula.
20 points
----------------------------------------------------------------
Vloženo: 25.04.2009
Velikost: 1,59 kB
Komentáře
Tento materiál neobsahuje žádné komentáře.
Copyright 2025 unium.cz
