Mam problem z zadaniem, o które pytał Prakosza w tym poście 395424.htm . Samo zadanie można znaleźć tu: Zad 1.3 na 18 str.
Otóż, nie miałem pojęć, których w odpowiedzi użył SlotaWoj (np. predykat, język ekstensjonalny), jedynie te, które są w skrypcie. Problem jest tym większy, iż nie ma przedstawiono żadnego rozwiązania.
Zadanie z pozoru wydaje się banalne i proste, jednak nie potrafię tego zapisać formalnie.
