Rachunek kwantyfikatorów a zdania w języku naturalnym

[aleksandra1313]

Przedstawione treści zagadek należy zapisać w języku logiki, z użyciem kwantyfikatorów ogólnego i egzystencjalnego, a następnie udzielić odpowiedzi. Zapewne dla starych wyjadaczy logiki będzie banalne, ale ja bardzo proszę o pomoc.

1. Bóg jest większy od wszystkiego i tylko Bóg jest większy od wszystkiego. To co istnieje jest większe od tego co nie istnieje. Jeżeli pierwsze jest większe od drugiego, to drugie nie jest większe od pierwszego. Smerfetka istnieje. Bóg kocha każdego, kto kocha Boga.

Sygnatura: stałe: Bóg, Smerfetka; symbole relacyjne: większy-od(x,y), kocha(x,y), istnieje(x)

Które z następujących zdań jest prawdziwe?
- Smerfetka kocha Boga
- Bóg kocha smerfetkę
- Bóg istnieje

2. Bóg jest większy od wszystkiego i nic nie jest większe od Boga. To co istnieje jest większe od tego co nie istnieje. Jeżeli pierwsze jest większe od drugiego, to drugie nie jest większe od pierwszego. Smerfetka istnieje. Bóg kocha każdego, kto kocha Boga.

Sygnatura: stałe: Bóg, Smerfetka; symbole relacyjne: większy-od(x,y), kocha(x,y), istnieje(x)

Które z następujących zdań jest prawdziwe?
- Smerfetka kocha Boga
- Bóg kocha smerfetkę
- Bóg istnieje