Anonymous (napisa): |
Ok, ja sam prošla i ne moram na usmeni, no čisto ak nekog zanima...
prema pravilima, što ne bi trebalo dijeliti samo broj bodova s kolokvija s 3 i tome pribrojit sve bodove iz šk zadaća? Ugl, osim ako su ovo neka nova pravila, ono nije baš dobro izračunato... |
Anonymous (napisa): |
Da li mi netko može reći kako glasi jaki teorem potpunosti za sistem PD?
To je bilo pitanje sad na popravnom, a ja ne vidim gdje se to nalazi u skripti, tj. nema ga kod dedukcije.. bila sam na pred kad se radila dedukcija i nemam to zapisano. |
Citat: |
Ako je A valjana formula tada je A teorem sistema PD. |
fireball (napisa): | ||||
ako se ne varam to je teorem potpunosti za PD u skripti:
ako nije to, onda nemam pojma sta je, jer ja ni u skripti ni u biljeskama nemam taj pojam. ako jos sta saznam javim |
Anonymous (napisa): |
Da li mi netko može reći kako glasi jaki teorem potpunosti za sistem PD?
|
Anonymous (napisa): | ||
Neka je S skup, F formula. Tada vrijedi S |= F akko S |- F. To sam napisala i dobila bodove.. |
output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.