es un sistema lógico encargado de estudiar el
razonamiento conforme a proposiciones.
objetivo
Familiarizarse con los conceptos y
métodos de la lógica
proposicional para realizar
demostraciones.
rama de la lógica matematica
caracteristica
Considera únicamente frases declarativas
A los que es posible asignar un valor de
verdad o falsedad y ningún otro
todas las conectivas lógicas que ocupan a la lógica
proposicional, incluyendo ejemplos de su uso en el
lenguaje natural y los símbolos que se utilizan para
representarlas en lenguaje formal.