TÉCNICA DE PRUEBAS

-

TÉCNICAS DE PRUEBAS


Prueba por contradicción

    Es una demostración de que cierta proposición debe ser verdadera ya que, si fuera falsa, se llegaría a un absurdo o contradicción de hechos o datos. Para llevar a cabo esta prueba hay un orden:

a) Cuando se nos presente una proposición tenemos que recordar que hay dos opciones: la proposición puede ser verdadera o falsa.

b) Imaginamos el caso en que la proposición sea falsa y veamos qué pasaría.

c) Ahora veremos el resultado cuando la proposición es falsa. Este resultado debería contradecir algún hecho o dato.

d) Aclararemos que, ya que se crea una contradicción de hechos o datos cuando la proposición es falsa, ésta, debe ser verdadera, por lo cual, se excluye la opción de que la proposición sea falta.

e) Luego de excluir la opción de que la proposición sea falsa, nos queda solo la otra opción, que sea verdadera.

    La prueba por contradicción es una demostración que se hace de forma indirecta. No demostramos por qué es verdadera, sino, por qué no puede ser falsa, esto es la prueba de contradicción.


  Método Directo

    La prueba directa, se basa en la forma natural que poseemos para analizar una situación que por sus características es obvio su resultado y no tenemos que complicar el análisis con pruebas mas intensivas para "demostrar la verdad", también se puede decir que es una tautología y además como otra característica utiliza una regla de inferencia llamada "Modus ponendo ponens" esto se utiliza para afirmar lo ya afirmado. 

    El método de demostración directa es utilizada en matemáticas principalmente para comprobar teoremas, y en la lógica proposicional para afirmar una verdad "absoluta" frente a una situación que amerite dicha comprobación.

    En efecto los teoremas matemáticos cumplen con la estructura de lo que demuestra o explica que cual sea el caso de P, Q siempre sera verdadero por que P es verdadero. 




Método por reducción de lo Absurdo

     La demostración por reducción al absurdo es un tipo de argumento muy empleado en demostraciones matemáticas. Consiste en demostrar que una proposición es verdadera, probando que si no lo fuera conduciría a una contradicción, por lo cual sería verdadera. Para demostrar la invalidez de una proposición, se supone como punto de partida que la proposición es cierta. Si la derivación final es una contradicción, se concluye que la proposición original sea falsa y el argumento es inválido.




Método Suponiendo el Antecedente

    Las demostraciones por este método son muy similares a las demostraciones por el método abreviado debilitamiento. Suponer que las premisas son true permite reducir el tamaño de la expresión a manipular, al poder introducir las hipótesis sólo en el momento en que sean necesarias. 


Método Abreviado Debilitante

  Por lo general lo general éste método se usa con la condicional material operacionalmente y evita elaborar la tabla de la verdad, consiste en suponer que todas las premisas son falsas y el consecuente verdadero donde resulta como única posibilidad para la condición de ser falsa.



Por Daniel Jiménez y Juan Arocha






   

    


    

Comentarios

Publicar un comentario

Entradas populares de este blog

12 LEYES BOOLEANAS Y SU SIMPLIFICACIÓN

-
Imagen
LAS 12 LEYES BOOLEANAS      Al formular expresiones matemáticas para circuitos lógicos es importante tener conocimiento del álgebra booleana, que define las reglas para expresar y simplificar enunciados lógicos binarios. Una barra sobre un símbolo indica la operación booleana NOT , que corresponde a la inversión de una señal. Leyes Conmutativas A + B = B + A A * B = B * A Leyes Asociativas (A + B) + C = A + (B + C) (A * B) * C = A * (B * C) Leyes Distributivas A * (B + C) = (A * B) + (A * C) A + (B * C) = (A + B) * (A + C) Otras Identidades Útiles A + (A * B) = A A * (A + B) = A A + (A * B) = A + B (A + B) * (A + B) = A (A + B) * (A + C) = A + (B * C) A + B + (A * B) = A + B (A * B) + (B * C) + (B * C) = (A * B) + C (A * B) + (A * C) + (B * C) = (A * B) + (B * C) Ley de Identidad A + A = A A * A = A Teorema de Negación __ A = A negado es igual a A negado. = A = A negada dos veces es como si no estuviera negada, cuando hay doble negación su resultado es únicamente A. Ley ...
Leer más

TEOREMA DE COMPLETITUD DE GÖDEL

-
Imagen
Teorema de Completitud de Gödel      El teorema de completitud de Gödel  es un teorema fundamental en lógica matemática que establece una correspondencia entre la verdad semántica y la demostrabilidad sintáctica en lógica de primer orden.      El teorema de completitud se aplica a cualquier teoría de primer orden: si   T  es una teoría de este tipo y φ es una oración (en el mismo idioma) y cada modelo de   T   es un modelo de φ, entonces hay una prueba (de primer orden) de φ usando las declaraciones de   T   como axiomas . A veces se dice esto como "cualquier cosa universalmente cierta es comprobable". Esto no contradice el teorema de incompletitud de Gödel, que muestra que alguna fórmula φ u   es indemostrable, aunque cierta en los números naturales, que son un modelo particular de una teoría de primer orden que los describe: φ  u   es simplemente falso en algún otro modelo de la teoría de primer or...
Leer más

METATEOREMA DE SOLIDEZ Y COMPLETITUD

-
Imagen
  METATEOREMA DE SOLIDEZ Y COMPLETITUD     La solidez es la propiedad que tienen los argumentos cuando son válidos y sus premisas son todas verdaderas. Si un argumento es deductivamente válido, entonces si es sólido, su conclusión será necesariamente verdadera. Algunos ejemplos pueden ser: 1. Todos los hombres son mortales 2. Todas las tortugas son animales. 3. Luego, todos los animales son mortales.      Este argumento no es sólido, porque aunque las premisas son todas verdaderas, el argumento no es válido. En nada cambia que la conclusión sea también verdadera. 1. Todos los hombres son mortales. 2. Todos los griegos son hombres. 3. Luego, todos los griegos son mortales          Este argumento es sólido, porque por un lado es válido, y por otro lado las premisas son todas verdaderas.     En la Metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando to...
Leer más