Reglas lógicas de inferencia. Son estructuras lógicas válidas que sirven de criterio para establecer la validez de otras estructuras.  Si el Modus Ponendo Ponens es una estructura tautológica, entonces cualquier argumento con estructura semejante será válido. Las reglas lógicas de inferencia o...

Disyuntos.  Son cada una de las fórmulas [v. fórmulas bien formadas] que intervienen en una disyunción [v] o (alternación). Ejemplo: en `p v q' `p' y `q' son disyuntos (o alternativos).

Adición, regla de la. Regla de inferencia [v] que establece que a cualquier fórmula es posible adicionarla con otra cualquier sin modificar su valor de verdad sea el disyunto[v] que se agrega, falso o verdadero, proque siendo verdadero el primer disyunto, garantiza la verdad de la fórmula entera....

Abelardo, Pedro. (Abailard, Pierre) (1079-1142) Nació en Pallet, En el Condado de Nantes, Francia. Estudió el análisis lógico de la predicación, advirtiendo que predicar algo de una multiplicidad, es función que ejercen los vocablos, los cuales convienen con varias entidades.  Consideró que la...