Cytat:
|
Napisany przez Macio.Men
To w końcu jak będzie? W obu przypadkach, kiedy p jest prawdziwe lub fałszywe.
|
To co napisalem od slow 'dowod nieformalny' do slow 'dowod formalny' to modelowy nieformalny (bo formalny to nie w LO) dowod rozwiazania tego zadania (obu punktow). Polecam wkleic go w jakies miejsce i przyswoic bo to jest standardowy system dowodzenia niefomalnego.