Condicionales

¿Qué es un condicional?

Un condicional en la programación es una sentencia o grupo de sentencias que puede ejecutarse o no en función del valor de una condición.

Los tipos más conocidos de condicionales son el SI ENTONCES (if then), el SI - SI NO (if then- else) y el SEGÚN (case o switch), aunque también podríamos mencionar al lanzamiento de errores como una alternativa más moderna para evitar el "anidamiento" de condicionales.

Los condicionales constituyen junto con los bucles los pilares de la programación estructurada, y su uso es una evolución de una sentencia de lenguaje ensamblador que ejecutaba la siguiente línea o no en función del valor de una condición.

Condicional simple

Condicional simple.

Cuando se presenta la elección tenemos la opción de realizar una actividad o no realizar ninguna.

Representación gráfica:

Podemos observar: El rombo representa la condición. Hay dos opciones que se pueden tomar. Si la condición da verdadera se sigue el camino del verdadero, o sea el de la derecha, si la condición da falsa se sigue el camino de la izquierda.

Se trata de una estructura CONDICIONAL SIMPLE porque por el camino del verdadero hay actividades y por el camino del falso no hay actividades.

Por el camino del verdadero pueden existir varias operaciones, entradas y salidas, inclusive ya veremos que puede haber otras estructuras condicionales.

Biodiccional

En matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado como ssi, sii, o syss), es una proposición de la forma "P si y solo si Q" y afirma que la proposición P será verdadera cuando y exclusivamente Q también lo sea, así como también P será falsa cuando Q lo sea. Otra forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P.

El valor de verdad de un bicondicional «p si y solo si q» es verdadero cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es decir, ambas son verdaderas o falsas simultáneamente; de lo contrario, es falso.

Se tiene así que la afirmación «p si y solo si q» es lógicamente equivalente al par de afirmaciones «Si p, entonces q», y «si q, entonces p». Escrito con símbolos lógicos:

.

De manera más precisa, el operador bicondicional está definido mediante la siguiente tabla de verdad:

si y sólo si

p q p ↔ q

V V V

V F F

F V F

F F V

Representación y lectura

Normalmente se usan los símbolo ⇔ o ↔ para denotar el bicondicional, quedando así:

o .

En español se usan las abreviaturas sii, ssi y syss, de modo que es equivalente p ↔ q a “p sii q”. En inglés se abrevia iff (If and only if).

Dos enunciados se dicen equivalentes cuando tienen el mismo valor de verdad, y se simboliza con ≡.3 Este símbolo también puede leerse "es equivalente a". Cuando dos proposiciones son lógicamente equivalentes su conexión con un bicondicional una tautología. Adicionalmente, el bicondicional es equivalente a la puerta lógica XNOR, y

...