Reducción Lógica Proposicional
Es posible reducir la inferencia de primer orden a la inferencia proposicional una vez que se establecen las reglas para inferir oraciones no cuantificadas a partir de oraciones cuantificadas. El primer concepto es que, así como una instanciación puede reemplazar un enunciado existencialmente cuantificado, el conjunto de todas las instanciaciones potenciales puede reemplazar una oración … Continue reading «Reducción Lógica Proposicional»