Grupo 4

¿ Qué es la formalización proposicional ?

• Es el procedimiento mediante el cual se identifican

  proposiciones simples y estructuras

  lógicas proposicionales,

  asignándole a cada uno un determinado símbolo del lenguaje de lógica proposicional organizándolos con signos de agrupación.

• Es el proceso que se encarga de unir símbolos matemáticos

• Es una implicación, no una conjunción. Se formaliza como:
  p→q

Resuelva el ejercicio: Si un número es impar y mayor que 20, entonces no es divisible por 2.

• ¬p∨q

• (p∧q)→¬r

• (q∧p)

Resuelva el ejercicio: Un número es mayor que 5 y menor que 10.

• (p∧q)→¬r

• ¬p

• p∧q

¿Qué permiten las leyes del álgebra proposicional?

• Te permitirán hacer una negación

• Te permitirán unir ejercicios complejos de preposiciones

• Te permitirán simplificar de manera práctica las proposiciones complejas.

Resuelve el ejercicio: Simplifica la proposición

p∧(q∨r)

• (p∧q)∨(p∧r)

• ¬p∨¬q

• p∧¬p

Resuelva el ejercicio: Simplifica la proposición:

p∧F

• F

• P

• p∨

¿Qué son las tablas de verdad?

• Son herramientas básicas que nos proporcionan el valor de verdad o el valor lógico de polinomios

• Son elementos que no tienen un respuesta

• Herramientas que ayudan a saber si es mentira algo.

Resuelva el ejercicio: Conjunción: p∧q

• La conjunción es verdadera solo si ambas proposiciones son verdaderas.

• La conjunción es verdadera solo si ambas proposiciones son falsas.

• La conjunción es verdadera solo si ambas proposiciones son iguales.

Resuelve el ejercicio: Disyunción: p∨q

• La disyunción es verdadera si al menos una proposición es igual.

• La disyunción es verdadera si al menos una proposición es falsa.

• La disyunción es verdadera si al menos una proposición es verdadera.

¿Qué es la simplificación de proposiciones?

• Forma de ordenar las proposiciones de menor a mayor.

• Se refiere a una forma de argumento o regla de inferencia que permite deducir una proposición simple a partir de una conjunción

• Forma de ordenar las proposiciones de mayor a menor.