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)