od Greg » 4. 6. 2007 08:37
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....
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[quote]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.
[/quote]
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....