Zapisać sformułowanie logiczne zdania Tomek: jak takie zdanie rozpisać logicznie "Niektórzy studenci nie lubią żadnego wykładowcy"

Jerzy: Istnieje taki student, ktory.....

Tomek: mozesz to napisać?

Jerzy: ...nie lubi każdego wykładowcę.

Tomek: ale tymi różnymi znakami logicznymi

Saizou : w rachunku zdań czy predykatów ?

Tomek: najlepiej tak i tak

Tomek: Zrobiłem to tak, prosze o weryfikacje http://i.imgur.com/ruzLGUH.png

Saizou : w predykatów predykatów S(x) s jest studentem L(x,y) x lubi y W(x) x jest wykładowcą ∃_x { S(x)∧(∀_y[ W(y)→¬L(x,y)] ) } ja tak bym napisał

Tomek: co to "w predykatów predykatów " ?

Saizou : w języku predykatów