¿Cómo enfocar una prueba por lógica simbólica y resolverla paso a paso?

Answer 1

Supongo que está preguntando cómo verificar una prueba formal. Eso requiere que descubras si cada declaración presentada en la prueba es válida. Una declaración válida es un hecho (una declaración que se supone verdadera), una instancia de un axioma (una declaración definida como verdadera dentro de la lógica), un teorema (una declaración para la cual se ha dado una prueba formal de su verdad en otra parte ), o el resultado de aplicar una regla de inferencia a declaraciones anteriores en la prueba.

Parece extraño que le den una prueba sin también algún comentario paralelo que justifique cada afirmación. Si no tiene esos comentarios, solo tendrá que buscar para ver si puede completar la justificación usted mismo.

Ahora, si está preguntando cómo desarrollar una prueba formal, ese es un asunto diferente. Solo tiene que abordarlo como un rompecabezas para ver si puede encontrar el camino desde las premisas hasta la conclusión deseada utilizando los axiomas y las reglas de inferencia. La intuición desarrollada por haber hecho muchas pruebas previas ayudará.

Answer 2

El primer paso para analizar (o construir) una prueba lógica es usar términos y símbolos estándar. Aquí se pueden encontrar algunas fuentes de los símbolos lógicos básicos:
http://www.philosophypages.com/l …
http://en.wikipedia.org/wiki/Lis …
Open Office “Math” también tiene una colección.

Entonces, puede ser útil definir términos si son algo menos que completamente claros.

Luego, junte la prueba en el siguiente formato:
-Definiciones
-Supuestos
-Flujo lógico / prueba / silogismo (esta es la explicación paso a paso de cómo su prueba es lógicamente válida)
-Conclusión

Para analizar las pruebas lógicas, es mejor tener una comprensión firme de los principios lógicos, o al menos una referencia decente. Recomiendo tomar un curso de lógica en su universidad local. No puedo recomendar un estudio en bruto sin tarea y exámenes, ya que los principios de la lógica pueden confundirse fácilmente en la mente del estudiante. Es importante que esté seguro de la precisión de sus herramientas lógicas, y la única forma de hacerlo es hacer que otros lógicos analicen sus argumentos.

Answer 3

1. Elija el tipo de inferencia para probar: análogo, inducción completa, inducción de apoyo, deducción integarial, abstracción sobresaliente. 2. Elija el método de prueba: à posteriori, à priori. 3. ¿Sigue la lógica? ¿Se dirige su objetivo de pensamiento?