Zaopcet u Vyskocila

Greg

Zaopcet u Vyskocila

Příspěvek od Greg »

Jelikoz mi prijde ze mame vsichni podobne zadani, mohli bysme trochu zapracovat na spolecnem reseni abychom nemuseli na zkousku az v zari.
Ja mam zadani
Spocitejte nasledujici zapoctovy priklad:

Uvažujte následující formální systém pro výrokovou logiku s jednou binární logickou spojkou d:
schéma axiomu

L: d(d(P,d(Q,R)),d(d(P,d(R,P)),d(d(S,Q),d(d(P,S),d(P,S)))))

odvozovaci pravidlo N:

Pokud platí d(P,d(Q,R)) a P, pak platí R.

V tomto systému formálně dokažte následující formuli
(jako řešení chci kompletní formální důkaz dle definice):

d(d(d(d(d(A, A), d(A, A)), d(A, A)), d(d(d(A, A), d(A, A)), d(A, A))),
d(d(d(d(A, A), d(A, A)), d(A, A)), d(d(d(A, A), d(A, A)), d(A, A))))

(je to jedna formule-na dvou radcich)

P.S. Pokud k vypoctu pouzijete pocitac, prilozte k vysledku jeste zdrojovy
kod programu.
Ma nekdo podobne jako ja? je jeste druhy typ.... s tim i\2 a n\1 , ten je asi delany na prevod do normalni axiomatiky....
keff
Matfyz(ák|ačka) level I
Příspěvky: 28
Registrován: 24. 1. 2006 19:17

Příspěvek od keff »

Čau, mám stejné zadání a o svých 'pokrocích' jsem psal tady, jak jsi na tom ty?
Odpovědět

Zpět na „2006“