La lista de reglas del cálculo proposicional y cuantificacional posibilitan tratar todos los argumentos relacionales, si bien la reducción de las proposiciones a unidades proposicionales a las que se puedan aplicar las reglas es realmente complicado.