わかりやすく記号でも書いておこう

M(x):= ∀(m∈S). D_x(m) ⇒ A_m(x, M)

where

M(x) ... x はMaleである

D_x(m) ... mはxの性別が何であるかを判定する
　i.e. D_x(m) := A_m(x, M) ∨ A_m(x, F)

A_m(x, M) ... mはxをMaleであると判定する