Ja mam zadani
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....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.