Mapa Mental Lógica y calculo Proposicional
UNAD 2018
Objetivos
Identificar clases de Proposiciones
Analizar tablas de verdad
Traducir Proposiciones
Principios de operaciones
¿Que es la
lógica?
Ciencia que permite comprobar que una
afrimación pueda ser considerada válida.
Metodología
Examina validez de afirmaciones de argumentos por un análisis lógico, sin tener en cuenta el
contenido argumentado si considera el lenguaje utilizado.
Aplicación
En ingeniería electrónica para diseño de circuitos de compuertas lógicas y programación.
Proposiciones y operadores lógicos
Enunciado que tiene un valor de verdad, puede ser verdadera o falsa pero no ambas. Si la oración es
una pregunta, una orden, carece de sentido y precisión no se puede clasificar falsa o verdadera, no es
proposición.
Clasificacipon de Proposiciones
Simples o Atómicas: Aquellas estructuradas por una única oración.
Compuestas o Moleculares: Estructuradas por dos o más proposiciones simples unidad por operadores
lógicos. Ejemplo: Pitágoras era griego y geómetra.
Operadores Lógicos
Símbolos que permiten decidir que valor de verdad tiene una proposición.
Negación (~) Será Falsa cuando se niegue una proposición verdadera y verdadera cuando se niegue una
falsa
Conjunción ^ Las proposiciones p^q será verdadera cuando las dos proposiciones lo sean. La conjunción
es Conmutativa.
Disyunción Inclusiva: Solo será falsa cuando las dos proposiciones lo sean.
Disyunción Exclusiva ʘ: Solo será falsa cuando las dos proposiciones tuvieren el mismo valor de
verdad.
Condicional o implicación: Solo será Falsa cuando p llamado antecedente o hipótesis sea verdadero y q
llamado consecuente o conclusión sea falso.
Bicondicional o Equivalencia: Solo será Verdadera cuando ambas proposiciones tengan el mismo valor
de verdad.