#1 01. 03. 2016 14:35
odvodzovanie formul vyrokovej logiky
caute mam na vas prosbu. bol by niekto ochotny mi vysvetlit ako sa nasledujuca vec robi? nechapem s toho vobec nic takze co najjednoduchsie vysvetlenie tym lepsie :)
mam axiomy:
A1: A->(B->A)
A2: (A->(B->C))->((A->B)->(A->C))
A3: ('A->'B)->(('A->B)->A)
dalej mam este pravidlo modus ponens MP
a vetu o dedukci VD
A priklad je nasledujuci vid. obrazok
Dakujem
Offline