Discusión:Cálculo lógico

Dividir

Tengo la impresión de que puede resultar demasiado largo el artículo. ¿Sería aconsejable dividir el artículo en dos, uno como cálculo lógico, y otro como reglas del cálculo?--MONIMINO 13:40 8 nov 2006 (CET)

Pienso que hay repeticion con el articulo "cálculo" que incluye un apartado como calculo lógico. Pienso que este articulo es más completo y mejor y debe insertarse en el de Cálculo que es más general. Y suprimir lo que en cálculo se refiere al calculo logico que es mas pobre y menos documentado.

Lo de dividir el articulo no lo veo, creo que está bien.

Fusionar

Creo que este articulo es muy distinto al de calculo a secas, partiendo por ver los operadores que ocupa, aqui son signos de condicion, conjunción, etc, mientras calculo ocupa operadores matematicos. Lo que quiero decir es que son temas muy distintos y que merecen ambos un articulo completos.

Añado negadores

En la sección dedicada al cálculo de predicados, subsección "clases de proposiciones": añado unos negadores que faltaban en la explicación de las proposiciones generales, en concreto los siguientes:

/\x (Px → ¬Mx) Para todo x si Px entonces ¬Mx ↔ Ningún hombre es mortal

\/x (Px /\ ¬Mx) Existe algún x tal que Px /\ ¬Mx ↔ Algún hombre no es mortal