Veta o dedukci

pišta
Matfyz(ák|ačka) level I
Příspěvky: 2
Registrován: 19. 1. 2005 22:59
Typ studia: Informatika Bc.
Bydliště: Pardubice
Kontaktovat uživatele:

Veta o dedukci

Příspěvek od pišta »

Ahoj, nevite nekdo, jak je to s vetou o dedukci v PL? Nesmi se pouzivat vubec, nebo to nekdy jde?
Ve slidech je neco jako, ze to ne vzdy jde. Vite nekdo jak to je presne?
Uživatelský avatar
Dolda
Matfyz(ák|ačka) level I
Příspěvky: 37
Registrován: 2. 2. 2006 14:22
Typ studia: Informatika Mgr.
Bydliště: Bohnice

Příspěvek od Dolda »

Možná lamácká odpověď, slajdy nemam, ale v PL má VD (T, A|- B iff T |- A-> B) předpoklad, že A musí být uzavřená formule (nemá volnou proměnnou)
Born 2 die in Enemy Territory
Uživatelský avatar
Lada
Donátor
Donátor
Příspěvky: 165
Registrován: 9. 1. 2005 10:17
Typ studia: Informatika Bc.
Bydliště: Slaný / zácpa na Evropské

Příspěvek od Lada »

jj, jak rikal Dolda - jinak se to da obejit pomoci vety o konstantach... (sice si nepamatuju jak, ale asi pred hodkou jsem to cet ve slidech a pamatuju si ze jsem to chapal :lol: ) tak tam zkus mrknout a treba budes mit lepsi pamet nez ja ;)
Hail to you, champion:o)
Odpovědět

Zpět na „2005“