46852

15.    [vx Vy R(x. y)l« [ Vy Vx R(x, y))

16.    [vx Ay R(x, y» = [Ay Vx R(x, y)]

Przykłady formalizacji zdań z języka potocznego

Poniżej podatny kilka przykładów przekształcania zdań jeżyka potocznego w formuły rachunku kwantyfikatorów.

Przykład I:

„Istnieją białe gęsi.”

Zamiast ..ges” wstawiamy „G”, a zamiast „biała” - ,3”.

Vx [G(x) a B(x» (ishtieją takie X, że x jest białe i x jest gęsią).

Przykład II:

„Wszyscy logicy są palaczami fajek.”

Zamiast „logik” wstawiamy „L”, a zamiast „palacz fajki” ,3".

Ax [P(x) -> F(x)] (dla każdego X, jeżeli x jest logikiem, to x jest palaczem fajki).

Przy kład III:

„Niektóre grzyby nie są trujące ”

Zamiast „gizyb” wstawiamy „G”, a zamiast „trujące” - „T”

Vx [G(x) a ~T(x)] (isbueją takie x, że x jest grzybem i x nie jest trujące).

To samo zdanie możemy wyrazić również za pomocą schematu:

~Ax [G(x) -> T(x)] (nieprawda, że dla każdego X, jeżeli x jest grzybem, to x jest

tmjące).