C.

Można zastąpić symbol symbolem w tym zdaniu, ponieważ obie implikacje są równoważne.

Implikacja w lewo jest prosta:

jeśli , to .

Sprawdzamy:

Implikacja w