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

Proposiciones y operadores lógicos
1. Características y estructuras
  1. Una preposición puede ser verdadera o falsa, pero no ambas
2. Clasificación de las proporciones
  1. Proposiciones simples o atómicas
  2. Proposiciones compuestas o moleculares
3. Traducción del lenguaje natural al simbólico y del lenguaje simbólico al natural
  1. Lenguaje natural
  2. Lenguaje simbolico
  3. Traducir
4. Operadores lógicos
  1. Símbolos de verdad de una proposición.
    1. Negación P: El acusado es inocente. -p: el acusado no es inocente, es culpable
    2. Doble negación -(-p): el acusado no es culpable
Proposiciones condicionales
1. Condicional o implicación=>
  1. Si p entonces q es verdadesra, cada vez que la condicion p es verdadera obliga a que la condicion q tambien sea verdadera.
    1. El cumplimiento de p, se promete el cumplimiento de q
  2. La implicacion es falsa solo cuando el antecedente es verdadero y el consecuente falso.
2. Bicondicional o equivalencia <=>
Tablas de verdad
1. Muestra el valor de verdad de una proposición compuesta
Los argumentos: premisas y conclusiones
1. Aplicacion de principios generales a ejemplos especificos

Resource summary

	Created by Carmen Rosa Saenz Sanchez about 6 years ago