Conținutul este disponibil doar pentru utilizatorii cu subscripție.

Demonstrații în logica predicatelor (II): contraexemplul și reducerea la absurd