Es un predicado que tiene dos argumentos: Hermano(Juan, Pedro) o Juan es hermano de Pedro.

Es un predicado que tiene dos argumentos: Hermano(Juan, Pedro) o Juan es hermano de Pedro.
Enlaces:
[1] https://www.matetam.com/glosario/definicion/logica-predicados