PRESENTACIÓN DEL CD-ROM
El Mundo de la Lógica


Este Cd-rom, sobre El Mundo de la lógica, consiste en una adaptación en  formato html  a diversa bibliografía consultada en relación con la lógica. Su contenido es el siguiente:

  1. TABLAS DE VERDAD: En esta sección se presentan una serie de argumentos y ejercicios lógicos para ser resueltos mediante la aplicación de las tablas de verdad. Tanto los argumentos como los ejercicios aparecen formalizados y resueltos. La simbolización que se usa en las tablas de verdad es la siguiente:
    Conjuntor: & - and (aunque no aparece en estas tablas, pero sí en el cálculo lógico, tambien se usa, en relación con el conjuntor, el símbolo siguiente: Ù )
    Disyuntor: Ú
    Implicador: ®
    Negador: ~ not Ø
    Coimplicador: <-->
    Verdadero: 1
    Falso: 0
  2. CALCULO LÓGICO: Breve introducción teórica al cálculo lógico. Consiste en una adaptación en formato html a la bibliográfía consultada.
  3. REGLAS BASICAS: Descripción teórica del significado de las reglas básicas. Presentación de una serie de ejercicios resueltos.
  4. REGLAS DERIVADAS:Descripción téorica del significado de algunas de las reglas derivadas. Presentanción de una serie de ejercicios resueltos.
  5. LENGUAJE NATURAL:Presentación, en lenguaje natural,  para su  simbolización, formalización y derivación, de una serie de argumentos lógicos. Aparecen resueltos tanto en la aplicación de reglas básicas como derivadas.
  6. LÓGICA DE CLASES: En esta sección presentamos un recorrido por la Silogística tradicional y por los Diagramas de Venn. Además de la teoría existen ejercicios y cuestionarios.
  7. Para comenzar unicamente tiene que pinchar en el archivo logica.html. A partir de ahí podrá iniciar un recorrido por el Mundo de la lógica. ¡Qué lo disfrute!

Francisco Conde Núñez
Ferrol. 6 de septiembre de 1999

NOTA: Aconsejo que la visualización de este Cd-Rom se realize con el Internet Explorer. No es  mi intención hacer propaganda de Microsoft pero he comprobado que, en algunos casos, Netscape tenía problemas a la hora de traducir el código relacionado con la formalización de los argumentos. En el repaso que he realizado de los mismos lo cierto es que con Internet Explorer no he tenido ningún problema a la hora de interpretar el código y llevar a cabo su visualización. Por lo tanto...... 
La presentación y contenido de este CD-ROM, en su página principal, es el siguiente: 

EL MUNDO DE LA LÓGICA

Tablas de verdad

TIENDA