Dan kan ik concluderen dat de volgende stellingen waar zijn:
∃x(VIND_AANTREKKELIJK(x, Mij))
∃x∃y(INTERESSE_VAN(Mij, x) ∨ INTERESSE_VAN(y, x) ∨ VIND_AANTREKKELIJK(Mij, y))
Het probleem is dat volgende stelling dan alleen te bewijsen is met behulp van "proof by exhaustion":
∃x∃y(INTERESSE_VAN(Mij, x) ∨ INTERESSE_VAN(y, x) ∨ VIND_AANTREKKELIJK(Mij, y) ∨ VIND_AANTREKKELIJK(y, Mij))
En gezien het makkelijker is mensen te filteren op het feit dat INTERESSE_VAN(Mij, x) (die hangen bijvoorbeeld hier rond) dan het is te filteren op VIND_AANTREKKELIJK(x, Mij). Vandaar dat er vrij veel jongens hier rond hangen :p
(Die predicatenlogica is ongetwijfeld niet geheel correct, maar ter verdediging van mij ik heb hem in 2 minuten uit mijn mouw geschud.)
]]>