Introducción a la lógica Computacional

Qué es lógica?
Del Griego Logos = razón, tratado, ciencia, pensamiento. Ica= pertenenciente a.
Es la ciencia que tiene por objeto determinar entre las operaciones intelectuales que tienden l conocimiento de la verdad, cuáles son válidas y cuales no.
Es el estudio de los pensamientos (juicios o razonamientos), solo desde el punto de vista de la esctructura.
SILOGISMO HIPOTÉTICO:
  • Los métodos derivados de la lógica, nos permiten aplicarlos a una ciencia: La computacional o Lógica Informática (CUENA).
  • Esta lógica estudia aspectos que solo se representan en situaciones computacionales. Por ejemplo: la especificación de programas, demostracion de teoremos, programación automática etc.

    PROPOSICIONES Y VARIABLES LÓGICAS.
    Proposición: Es un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Se presentan mediante variables proposicionales simbolizadas mediante letras (P,Q,R,S,)
    Simples o Atómicas: No pueden ser divididas en otras proposiciones y sólo aceptan uno de los dos valores de verdad posibles V(Verdadero) ó F (Falso)

    Operadores o Conectivos Lógicos.
    Las proposiciones simples o atómicas pueden ser combinadas para formar nuevas proposiciones llamdas proposiciones compuestas o moleculares. Para ello utilizamos conectivos u operadores lógicos. Ver Mapa Conceptual.