uz se to tu lehce nakouslo v jednom threadu - proc muze byt MP pouzit misto axiomu pri dokazovani? Ve skriptech takto zacina treba dukaz vety 6.
Kód: Vybrat vše
1) A, A->B |- B MP
2) A |- (A->B) -> B (1) VD
.....
Mozna jde pred tim udelat nejaky krok, ktery tam neni uveden a ktery zaruci, ze ta implikace plati a ja to v tom jen nevidim, ale zacina me to stvat, pze uz nad tim premyslim 2 dny a na nic kloudneho jsem zatim neprisel Muzete mi to nekdo pls zkusit nejak polopaticky vysvetlit?
Dekuji