Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Proposicional
Lógica Proposicional
LÓGICA
PROPOSICIONAL
Integrantes:
Yency Ávila
Angela Castillo
Nayomi Chau
Diego Flores
María Fernanda López
LÓGICA
La lógica estudia la forma del razonamiento, es una disciplina que por medio
de reglas y técnicas determina si un argumento es válido.
PROPOSICIONES Y OPERACIONES LÓGICAS
Una proposición o enunciado es una oración que puede ser falsa o
verdadera pero no ambas a la vez. La proposición es un elemento
fundamental de la lógica matemática.
CONJUNCIÓN
La conjunción es la unión de dos o más proposiciones mediante la partícula “y”.
A
CONDICIONAL
Condicional: Condicional o Implicación Una proposición condicional es la combinación de dos
proposiciones mediante las palabras “si….. entonces”…. La proposición que aparece entre “si” y
“entonces” se llama antecedente, y la proposición que sigue a la palabra “entonces” se llama
consecuente.
Tabla de Verdad
Ejercicio: Charlie tiene un puesto de ropa en Gamarra, él siempre suele producir vestimenta de buena
calidad a buen precio, pero últimamente ha estado subiendo el precio de la tela. Mencione cuáles serían
las consecuencias de este suceso.
BICONDICIONAL
Es la unión de dos proposiciones por los términos “si y sólo si”
Una empresa de fabricación de electrodomésticos quiere hallar su costo total del mes.
Para eso se sabe que paga el alquiler del local y el salario de sus trabajadores. Y
además paga por la compra de insumos,
NEGACIÓN
Actúa independientemente de la proposición. En palabras lo podemos expresar por “no es el caso que”, y de
manera breve por “no”.
Marcelo tiene una empresa que vende pollos y está situada en el Perú. Él está evaluando si le conviene
convertirse en un monopolio o seguir siendo un oligopolio ya que no hay mucha competencia.
TAUTOLOGÍA
Cuando el resultado de la evaluación de su operador principal (matriz principal), son todos verdaderos
CONTRADICCIÓN
Cuando el resultado de la evaluación de su operador principal (matriz principal), son todos falsos
Tabla
CONTINGENCIA
Cuando en el resultado de la evaluación de su operador principal (matriz principal), hay por lo menos una
verdad y una falsedad
Tabla:
A
EJERCICIO DE TABLAS DE VERDAD
Contingencia: Cuando en el resultado de la evaluación de su operador
principal (matriz principal), hay por lo menos una verdad y una falsedad
Ejercicio:
∽(p v ∽q) Ʌ (∽p v r)
LEYES DEL ÁLGEBRA PROPOSICIONAL
1. Idempotencia 2. Conmutativa
p v p≡p p ∧ q≡q ∧p
p ∧ p≡p p v q≡qv p
p ↔ q≡q↔p
A
LEYES DEL ÁLGEBRA PROPOSICIONAL
3. Asociativa 4. Distributiva
p∧ (q∧r)≡(p∧q)∧r
p v (q v r)≡(pvq)vr
p↔(q ↔ r)≡(p↔q)↔r
LEYES DEL ÁLGEBRA PROPOSICIONAL
5. De De-Morgan 6. Absorción
~(p∧q)≡~pv~q p∧(pvq)≡p
~(pvq)≡~p∧~q pv(p∧q)≡p
LEYES DEL ÁLGEBRA PROPOSICIONAL