Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 244 vistas

    Que Son Los Métodos de Pruebas

    Cargado por

    luis rodriguez
    Este documento describe diferentes métodos de prueba en lógica proposicional, incluyendo tablas de la verdad, negación, conjunción, disyunción, implicación, equivalencia y derivaciones. Explica que las derivaciones son un método de demostración de validez de argumentos mediante la aplicación de reglas lógicas como la introducción y eliminación de conjunción, implicación y disyunción. Concluye que la lógica es fundamental para el pensamiento humano y se utiliza ampliamente en campos como la informática.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Que Son Los Métodos de Pruebas

    Cargado por

    luis rodriguez
    244 vistas5 páginas
    Este documento describe diferentes métodos de prueba en lógica proposicional, incluyendo tablas de la verdad, negación, conjunción, disyunción, implicación, equivalencia y derivaciones. Explica que las derivaciones son un método de demostración de validez de argumentos mediante la aplicación de reglas lógicas como la introducción y eliminación de conjunción, implicación y disyunción. Concluye que la lógica es fundamental para el pensamiento humano y se utiliza ampliamente en campos como la informática.

    Título original

    Que son los métodos de pruebas.docx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe diferentes métodos de prueba en lógica proposicional, incluyendo tablas de la verdad, negación, conjunción, disyunción, implicación, equivalencia y derivaciones. Explica que las derivaciones son un método de demostración de validez de argumentos mediante la aplicación de reglas lógicas como la introducción y eliminación de conjunción, implicación y disyunción. Concluye que la lógica es fundamental para el pensamiento humano y se utiliza ampliamente en campos como la informática.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    244 vistas5 páginas

    Que Son Los Métodos de Pruebas

    Cargado por

    luis rodriguez
    Este documento describe diferentes métodos de prueba en lógica proposicional, incluyendo tablas de la verdad, negación, conjunción, disyunción, implicación, equivalencia y derivaciones. Explica que las derivaciones son un método de demostración de validez de argumentos mediante la aplicación de reglas lógicas como la introducción y eliminación de conjunción, implicación y disyunción. Concluye que la lógica es fundamental para el pensamiento humano y se utiliza ampliamente en campos como la informática.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 5

    Métodos de pruebas en la lógica proposicional.

    Primer semestre.
    Sección 3 informática
    Luis Rodríguez 2853415
    ¿Que son los métodos de pruebas?
    Son procedimiento definitivo que produce un resultado de prueba. Una prueba
    puede ser considerada como operación técnica que consiste en la determinación
    de una o más características de un determinado producto.

    Los tipos de métodos son:

    Tabla de la verdad
    Es una tabla que muestra el valor de verdad de una proposición compuesta, para
    cada combinación de verdad que se pueda asignar.1

    Negación:
    La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo
    el valor contradictorio de la proposición considerada.
    Conjunción:
    Actúa sobre dos valores de verdad, típicamente los valores de verdad de dos
    proposiciones, devolviendo el valor de verdad verdadero cuando ambas
    proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es
    verdadera cuando ambas son verdaderas.
    En términos más simples, será verdadera cuando las dos proposiciones son
    verdaderas.

    Disyunción:
    La disyunción es un operador lógico que actúa sobre dos valores de verdad,
    típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
    verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas
    lo son, y falso cuando ambas son falsas.
    En términos más simples, será verdadera cuando por lo menos una de las
    proposiciones es verdadera de lo contrario será falsa.

    Implicación:
    El condicional material es un operador que actúa sobre dos valores de verdad,
    típicamente los valores de verdad de dos proposiciones, devolviendo el valor
    de falso sólo cuando la primera proposición es verdadera y la segunda falsa,
    y verdadero en cualquier otro caso.

    Equivalencia:
    El bicondicional o doble implicación es un operador que funciona dando el valor de
    verdad cuando ambos valores son iguales y dando el valor de falsedad cuando
    ambos valores son diferentes.

    Derivaciones
    Es un método de demostración de validez de una argumentación. Este método es
    un procedimiento sintáctico, porque consiste en transformar las fórmulas que
    componen las premisas, mediante la aplicación de reglas o leyes lógicas, hasta
    llegar a la conclusión. El método de las derivaciones es un método decisorio, que
    consiste en pasar de un conjunto de fórmulas (premisas), en una secuencia finita
    de pasos donde cada paso está justificado por una regla lógica del sistema en el
    que se trabaja, hasta obtener la fórmula que aparecen la conclusión del problema.

    Reglas de inferencia
    Son:
    Modus ponendus pones (M.P)
    Modus tollendus toles (M.T)
    Silogismo hipotético (S.H)
    Silogismo disyuntivo (S.D)
    Dilema constructivo (D.C)
    Dilema destructivo (D.D)
    Simplificación o eliminación de la conjunción (E.C)
    Conjunción o introducción a la conjunción (I.C)
    Adicción o introducción a la disyunción (I.D)

    Reglas básicas:
    Introducción a la conjunción (I.C)
    Eliminación de la conjunción (E.C)
    Introducción a la implicación (I.I)
    Eliminación de la implicación (E.I)
    Introducción a la disyunción (I.D)
    Eliminación de la disyunción (E.D)

    Conclusión
    Desde principios de la lógica clásica pasando por la lógica Aristotélica hasta
    llegar a nuestros días con la lógica moderna, nos da la pauta al pensar que
    siempre hemos dependido y dependeremos de la lógica.
    Con nuestra convivencia diaria utilizamos esta disciplina, en nuestros
    pensamientos como tipo de deducción, hoy en día se utiliza también en la
    gran mayoría de los campos de aplicación, en la fabricación de
    computadoras entre otros equipos.

    Referencias bibliográficas
    Métodos de prueba (Wiki) Wikipedia. Métodos de ensayo o prueba
    (2018)
    Derivaciones lógicas (Slideshare ). Derivaciones lógicas
    (2014)
    Tabla de la verdad (wiki) Wikipedia. Tabla de la verdad
    (2019)

    También podría gustarte