Proporciona reglas y técnicas para
determinar si algo es valido o no.
Proposiciones
Enunciado que expresa algo que puede
decirse si es verdadero o no.
Se expresa como una
afirmación declarativa
Propiedades
Permiten dotarles de cierta estructura
Leyes del álgebra de proposiciones
Idempotencia
Conmutativa
Asociativa
Absorción
Distributiva
Negación
Identidad
Leyes de Morgan
Conectivos lógicos
Negación
La negación de una proposición p es otra
proposición que afirma lo que se niega en la
primera y viceversa
Conjución
Dos enunciados cualesquiera se pueden combinar
con la palabra “y” para formar un enunciado
compuesto
La conjunción de dos proposiciones es una
proposición compuesta que resulta verdadera cuando
lo son las dos proposiciones simples que la
constituyen, y falsa en caso contrario
Disyunción exclusiva
La palabra “o” se usa comúnmente de dos
maneras. Algunas veces se usa en el sentido
de “p o q o ambos”
Disyunción inclusiva
La conjunción de dos proposiciones es una
proposición compuesta que resulta verdadera
cuando lo son las dos proposiciones simples
que la constituyen, y falsa en caso contrario
Condicional
Se representa por (p → q) y se lee “si p, entonces q”. A la
proposición p se le llama antecedente, y a q,
consecuente
Bicondicional
Se representa por (p ↔ q) y se lee “p si y
sólo si q
La bicondicional de dos proposiciones es
una proposición compuesta que resulta
verdadera cuando ambas son verdaderas
o ambas son falsas, y en caso contrario es
falsa
proposiciones compuestas
Combinación por medio de conectivos
lógicos
Cuando nos refiramos a proposiciones
compuestas usaremos las letras
mayúsculas
Tabla de verdad.
Da valores de verdad de una proposición
compuesta en función de sus partes
componentes
Tautología
Todos los valores de su tabla de
verdad son verdaderos
Implicación lógica
Equivalencia lógica
Bicondiconal
Contradicción
Cuando todos los valores de su tabla de
verdad son falsos
Indeterminada
Cuando en su tabla de verdad hay
valores verdaderos y falsos