Primeros pasos en algoritmia

Vista ya la parte sobre lógica, podemos dar unos primeros pasos en Algoritmia. Y para empezar, ¿qué es la Algoritmia? Pues primero, creo que debemos saber que es un algoritmo. Y según Wikipedia, un algoritmo es: En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus y…… Continúa leyendo Primeros pasos en algoritmia

Lógica de predicados

Y seguimos aprendiendo más sobre Lógica. En la lógica de predicados se emplean las mismas reglas de inferencia y equivalencias que en la lógica proposicional, ya que un predicado Px es una proposición. Se aplican nuevas reglas para el tratamiento de cuantificadores: Negación de cuantificadores ∀x(Px):: ¬∃(¬Px) ¬∀x(Px):: ∃(¬Px) ∃x(Px)::¬∀(¬Px) ¬∃x(Px)::∀(¬Px) Distribución de cuantificadores ∀x(Px∧Qx)::∀x(Px)∧∀x(Qx) ∃x(Px∨Qx)::∃x(Px)∨∃x(Qx)…… Continúa leyendo Lógica de predicados

Reglas de inferencia

Y seguimos ampliando nuestros conocimientos de Lógica (muy útiles en Algoritmia, ya lo veréis). Ahora veamos las reglas de inferencia. Modus ponens p⇒q, p:q Modus tollens p⇒q, ¬q:¬p Conjunción p,q: p∨q Simplificación p∧q: p, p∧q: q Adición p:p∨q Silogismo disyuntivo p∨q, ¬p: q p∨q, ¬q: p Silogismo hipotético p⇒q, q⇒r: p⇒r Dilema constructivo p∨q, p⇒r, q⇒s: r∨s Una…… Continúa leyendo Reglas de inferencia

Lógica proposicional y equivalencias lógicas

Antes de pasar a explicar con detalle y ejemplos la Algoritmia, voy a recordar algunas fórmulas lógicas, las equivalencias lógicas,  las reglas de inferencia y la lógica de predicados. La Lógica ES MUY IMPORTANTE EN PROGRAMACIÓN, y para ciertos niveles, es muy recomendable saber expresar sentencias de forma lógica. Sobre todo en Algoritmia Empecemos. Recuerda…… Continúa leyendo Lógica proposicional y equivalencias lógicas