La lógica proposicional como la lógica de primer orden satisfacen el teorema de compacidad.