¿Cómo crear tablas de verdad usando Excel 2019? - Mar 2020 -

Lógica y Conjuntos


Un sistema deductivo

La construcción de la matemática nos lleva siempre a preguntar por la razon de ser de las afirmaciones que hacemos, sobre la cadena de conocimientos y los engranajes que posee en su desarrollo y sobre el primer escalón que es necesario subir hasta llegar a comprender los aspectos fundamentales de esta ciencia.  (Tomado de Matemática práctica, Edit VOLUNTAD 1987-1989).

0. Apartir de las proposiciones cuyo caracter de verdad ya es conocido por axiomas o teoremas demostrados, es necesario seguir la cadena de razonamientos combinando estas proposiciones con un procedimiento lógico para encontrar nuevas verdades.  Las operaciones que permiten combinar las proposiciones son: negaciópn, conjunción, disyunción, implicación (condiconal) y equivanlencia (bicondicional).  El resultado que se obtiene es una nueva proposición cuyo carácter de verdad se analizará a continuación.

1. Conceptos

Negación:Si una proposición dada es verdadera, su negación necesariamente debe ser falsa.

Conjunción:La conjunción de dos proposiciones únicamente es verdadera, cuando las dos proposiciones son verdaderas.

Disyunción:La disyunción de dos proposiciones únicamente es falsa, cuando las dos proposiciones son falsas.

Implicación (Condicional):Una implicación es falsa únicamente cuando la condición suficiente es verdadera y la condición necesaria es falsa.

Equivalencia (Bicondicional):Dos proposiciones son equivalentes cuando cada una de ellas es con ralación a la otra condición necesaria y suficiente a la vez.



2. FÓRMULAS UTILIZADAS EN EXCEL 2019



Enlace del Archivo para Descargar