Pregunta: Considere los siguientes axiomas:a. Cualquiera que conduzca una Harley es un personaje rudo.b. Cada motociclista monta [algo que es] una Harley o un BMW.c. Cualquiera que conduzca un BMW es un yuppie.d. Todo yuppie es abogado.e. Ninguna chica agradable sale con un personaje rudo.f. Mary es una chica agradable y John es un motociclista.g. (Conclusión)

Considere los siguientes axiomas:

a$.$ Cualquiera que conduzca una Harley es un personaje rudo.

b$.$ Cada motociclista monta $[$algo que es$]$ una Harley o un BMW$.$

c$.$ Cualquiera que conduzca un BMW es un yuppie.

d$.$ Todo yuppie es abogado.

e$.$ Ninguna chica agradable sale con un personaje rudo.

f$.$ Mary es una chica agradable y John es un motociclista.

g$.($Conclusi$ó$n$)$ Si John no es abogado, entonces Mary no sale con John.

Usando los siguientes predicados:

HARLEY$(x)-x$ es una Harley.

$BMW(x)-x$ es un BMW$.$

MONTA$(x,y-x$ monta a $y.$

MOTOCICLISTA$(x)-x$ es un motociclista.

RUDO$(x)-x$ es un personaje rudo.

YUPPIE$(x)-x$ es un yuppie.

ABOGADO$(x)-x$ es abogado.

AGRADABLE $(x)-x$ es agradable.

SALE$(x,y)-x$ sale con $y.$

$Y$ con constantes Mary y John.

$(1)$ Represente estos axiomas en oraciones de l$ó$gica de predicados de primer orden $($LPO$).$

$(2)$ Utilice reglas de inferencia para intentar probar la conclusi$ó$n$.$