algoritmos: demostracion de la implicacion logica

arreglos – pseudocodigo (demostrar la implicación logica)

El problema planteado se trata en demostrar la siguiente implicación 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.

Reto

Quiero hacer este programa… Pero ¿Cómo funciona?

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.

[Tweet «»Soy booleano, no me compares conmigo mismo» #Tutorias ☺»]

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.