Los conceptos en los que más nos vamos a centrar son la validez y la satisfacibilidad, mientras que los objetos de entrada van a constituir la notación de la lógica de primer orden.