algoritmos: demostracion de la implicacion logica

arreglos – pseudocodigo (demostrar la implicación logica)

El problema planteado se trata en demostrar la siguiente implicacion lógica: si (Q -> R) es cierto, entonces ((P ó Q) -> (P ó R)) es cierto.

El siguiente algoritmo hace uso del ciclo para y de arreglos (matrices)

La lógica que utiliza este algoritmo es simple. Hace uso de las expresiones lógicas.

User

¿Y cómo funciona el programa?

La ejecución paso a paso del programa la puede ver en la

Simulación

ESCUCHANDO


Suscribete a nuestro canal

AMPLIAR ESCUCHANDO

algoritmos: demostracion de la implicacion logica
Figura. programa en pseudocodigo: demostracion de la implicacion logica

EVALUAR APLICANDO
BUENAS PRÁCTICAS

La comparación entre variables booleanas arroja un resultado booleano por lo cual se puede omitir, es decir, IF(variable = true) se puede reemplazar por IF(variable) ó tambien IF(variable = false) por IF not(variable). Igualmente hay que recordar que estructuras repetitivas anidadas generan un mayor orden de magnitud y se deberia buscar una manera en lo posible de corregir esto.




Tutorias relacionadas:


¡Comparte ya lo que estudias!

Tweet about this on Twitter0Share on Facebook0Share on Google+2Pin on Pinterest0Share on Tumblr0

Deja un comentario

Tu dirección de correo electrónico no será publicada.