Pure first-order logic is a foundational system in logic, characterized by its exclusion of function symbols and identity. It relies…