FUNDAMENTOS DE LA LÓGICA MATEMÁTICA Y CÁLCULO PROPOSICIONAL

FUNDAMENTOS DE LA LÓGICA MATEMÁTICA Y CÁLCULO PROPOSICIONAL

1. Proposiciones y operadores lógicos

   • Características y estructuras
     • Una preposición puede ser verdadera o falsa, pero no ambas
   • Clasificación de las proporciones
     • Proposiciones simples o atómicas
     • Proposiciones compuestas o moleculares
   • Traducción del lenguaje natural al simbólico y del lenguaje simbólico al natural
     • Lenguaje natural
     • Lenguaje simbolico
     • Traducir
   • Operadores lógicos
     • Símbolos de verdad de una proposición.
       • Negación P: El acusado es inocente. -p: el acusado no es inocente, es culpable
       • Doble negación -(-p): el acusado no es culpable

2. Proposiciones condicionales

   • Condicional o implicación=>
     • Si p entonces q es verdadesra, cada vez que la condicion p es verdadera obliga a que la condicion q tambien sea verdadera.
       • El cumplimiento de p, se promete el cumplimiento de q
     • La implicacion es falsa solo cuando el antecedente es verdadero y el consecuente falso.
   • Bicondicional o equivalencia <=>

3. Tablas de verdad

   • Muestra el valor de verdad de una proposición compuesta

4. Los argumentos: premisas y conclusiones

   • Aplicacion de principios generales a ejemplos especificos

Imagens e arquivos do mapa