Esta forma de prueba proviene más de la lógica simbólica que de la teoría de conjuntos, pero podría escribir todas las declaraciones cuantificadas, más la negación de la conclusión -P (x, y), luego descomponer el conjunto de declaraciones usando árboles de verdad y demostrar que todo las ramas terminan debido a la contradicción (presencia de una declaración y su negación en la misma rama), lo que implica que no es posible que las premisas sean verdaderas y que la conclusión sea falsa, lo que demuestra la implicación. Aquí es donde puede ver cómo descomponer las declaraciones de la lógica de predicados de primer orden utilizando árboles de verdad:
Método de cuadros analíticos.
El texto
Richard Jeffrey, 1990 (1967). Lógica formal: su alcance y límites , 3ª ed. McGraw Hill
es una buena fuente para aprender sobre esto, al igual que “The Logic Book” de Bergmann, Moor and Nelson.
Aquí hay un probador en línea:
- ¿Cuál es el tipo de datos de optimización de memoria más apropiado en Matlab para importar un archivo de audio que tiene un valor máximo de 0.495971679687500 y el valor mínimo es -0.488983154296875?
- ¿Será difícil ingresar a una escuela de posgrado en astronomía de un entorno no tradicional (especializaciones diferentes a astronomía, física, matemáticas, CS, etc.)?
- ¿Qué conceptos matemáticos son cruciales para un informático?
- ¿Puedo ser un gran programador si no soy bueno en matemáticas? ¿Cómo puedo mejorar mis habilidades matemáticas?
- ¿A las personas apasionadas por las matemáticas también les encanta la codificación?
GabLem.com