Lógica de predicados

Sin embargo, hay argumentos cuya validez no sólo dependen de las conexiones entre sus enunciados, sino que también depende de la estructura interna de las mismas, en concreto de la presencia de partículas lógicas (como “todos” y “algunos”). Estas partículas lógicas constituyen las constantes en torno a las cuales se articula la llamada lógica de predicados o lógica cuantificacional.