La lógica de primer orden incorpora además las conectivas de la lógica proposicional.