logika Szymon : Proszę pomóżcie Język arytmetyki L zawiera symbole predykatywne: =, ¬, symbole funkcyjne +,· oraz stałe 0 i 1. Roważamy interpretację tego języka w zbiorze liczb naturalnych z naturalnym rozumieniem tych symboli. Wyrazić w języku L następujące treści: (a) Iloczyn liczb dwa i jeden jest równy ich sumie. (b) Równanie 2x−1 = 0 nie ma rozwiązania. (c) Liczba x jest nieparzysta. (d) Istnieją dwie różne liczby, które są równe swoim kwadratom.