Es un predicado que tiene dos argumentos: Hermano(Juan, Pedro) o Juan es hermano de Pedro.
Ver también:
Lógica de predicados Es un predicado que tiene dos argumentos: Hermano(Juan, Pedro) o Juan es hermano de Pedro.