Me han dado un enunciado que tengo que demostrar lógicamente. La pregunta es #6 en esta página . He resuelto los otros 3 por mi cuenta, pero estoy atascado en esta parte de la pregunta:
Definir el predicado $B(x, y)$ para significar que $x$ vencer $y$ en la carrera. Da la expresión lógica equivalente a "Sam ganó exactamente a dos personas".
Sé que lo más probable es que aquí se requiera el uso de un cuantificador universal o existencial, pero no estoy seguro de cómo escribir la expresión "igual a dos" junto con ellos.
Cualquier ayuda será muy apreciada.
