https://profilpelajar.com/en/First-order_logic